Experiments with Test Case Generation and Runtime Analysis
- 14 March 2003
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Synthesizing Monitors for Safety PropertiesLecture Notes in Computer Science, 2002
- A Temporal Logic Based Theory of Test Coverage and GenerationLecture Notes in Computer Science, 2002
- KoratACM SIGSOFT Software Engineering Notes, 2002
- Generating finite state machines from abstract state machinesACM SIGSOFT Software Engineering Notes, 2002
- Monitoring Java Programs with Java PathExplorerElectronic Notes in Theoretical Computer Science, 2001
- The Temporal Rover and the ATG RoverLecture Notes in Computer Science, 2000
- The Maude SystemLecture Notes in Computer Science, 1999
- EraserACM Transactions on Computer Systems, 1997
- Automated software test data generationIEEE Transactions on Software Engineering, 1990
- Symbolic execution and program testingCommunications of the ACM, 1976