• 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 13 articles [sw12796]
  • JCrasher: an Automatic Robustness Tester for Java. JCrasher...
  • NanoXML

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