Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
Top Cited Papers
- 1 January 2005
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Generating tests from counterexamplesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- JCrasher: an automatic robustness tester for JavaSoftware: Practice and Experience, 2004
- CVC Lite: A New Implementation of the Cooperating Validity CheckerLecture Notes in Computer Science, 2004
- Zing: A Model Checker for Concurrent SoftwareLecture Notes in Computer Science, 2004
- KoratACM SIGSOFT Software Engineering Notes, 2002
- Generating finite state machines from abstract state machinesACM SIGSOFT Software Engineering Notes, 2002
- A Simple and Practical Approach to Unit Testing: The JML and JUnit WayLecture Notes in Computer Science, 2002
- Automatic predicate abstraction of C programsPublished by Association for Computing Machinery (ACM) ,2001
- Using paths to measure, explain, and enhance program behaviorComputer, 2000
- A static analyzer for finding dynamic programming errorsSoftware: Practice and Experience, 2000