Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution

This publication has 21 references indexed in Scilit:

• Generating tests from counterexamples
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• JCrasher: an automatic robustness tester for Java
  Software: Practice and Experience, 2004
• CVC Lite: A New Implementation of the Cooperating Validity Checker
  Published by Springer Nature ,2004
• Zing: A Model Checker for Concurrent Software
  Published by Springer Nature ,2004
• Korat
  Published by Association for Computing Machinery (ACM) ,2002
• Generating finite state machines from abstract state machines
  Published by Association for Computing Machinery (ACM) ,2002
• A Simple and Practical Approach to Unit Testing: The JML and JUnit Way
  Published by Springer Nature ,2002
• Automatic predicate abstraction of C programs
  Published by Association for Computing Machinery (ACM) ,2001
• Using paths to measure, explain, and enhance program behavior
  Computer, 2000
• A static analyzer for finding dynamic programming errors
  Software: Practice and Experience, 2000