Weitere Werkzeuge zur Testfallgenerierung

Haskell (typgesteuert, statisch)

• Smallcheck (Objekte der Größe nach)
• Lazy-Smallcheck (bedarfsweise)
• Quickcheck (zufällige Objekte)

OO-Sprachen (typgesteuert, dynamisch--runtime reflection)

• JCheck http://www.jcheck.org/tutorial/

  @RunWith(org.jcheck.runners.JCheckRunner.class)
     class SimpleTest {
       @Test public void m(int i, int j) { ...
  

• ähnlich für weitere Sprachen, https://github.com/rickynils/scalacheck