Steering symbolic execution to less traveled paths
- 29 October 2013
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 48 (10), 19-32
- https://doi.org/10.1145/2544173.2509553
Abstract
No abstract availableThis publication has 22 references indexed in Scilit:
- eXpressPublished by Association for Computing Machinery (ACM) ,2011
- EXEACM Transactions on Information and System Security, 2008
- Compositional dynamic test generationPublished by Association for Computing Machinery (ACM) ,2007
- Test input generation for java containers using state matchingPublished by Association for Computing Machinery (ACM) ,2006
- Verification of Java Programs Using Symbolic Execution and Invariant GenerationLecture Notes in Computer Science, 2004
- Software profiling for hot path predictionPublished by Association for Computing Machinery (ACM) ,2000
- DynamoPublished by Association for Computing Machinery (ACM) ,2000
- The chaining approach for software test data generationACM Transactions on Software Engineering and Methodology, 1996
- Partition testing does not inspire confidence (program testing)IEEE Transactions on Software Engineering, 1990
- Symbolic execution and program testingCommunications of the ACM, 1976