• JWalk

• Referenced in 2 articles [sw06857]
• JWalk: a tool for lazy, systematic testing of java classes by design introspection and user ... seriously incomplete. A unit-testing tool called JWalk has therefore been developed to address ... confirmed by the tester. Without human intervention, $JWalk$ performs bounded exhaustive exploration of the class ... tested class. With some human interaction, JWalk performs up to the equivalent of fully automated...

• Symstra

• Referenced in 19 articles [sw01296]
• Symstra: A framework for generating object-oriented unit...

• Daikon

• Referenced in 44 articles [sw04319]
• The Daikon system for dynamic detection of likely...

• OBJ3

• Referenced in 140 articles [sw05370]
• OBJ3 is a program specification and proof system...

• TestEra

• Referenced in 22 articles [sw07258]
• TestEra: A novel framework for automated testing of...

• Korat

• Referenced in 33 articles [sw07259]
• Korat: Automated testing based on Java predicates. This...

• JUnit

• Referenced in 33 articles [sw07262]
• A simple and practical approach to unit testing...

• Rostra

• Referenced in 10 articles [sw07268]
• Rostra: A Framework for Detecting Redundant Object-Oriented...

• Eclat

• Referenced in 7 articles [sw07273]
• Eclat: Automatic Generation and Classification of Test Inputs...

• JCrasher

• Referenced in 12 articles [sw12796]
• JCrasher: an Automatic Robustness Tester for Java. JCrasher...

• NanoXML

• Referenced in 2 articles [sw23634]
• NanoXML is a small non-validating parser for...