Statically-directed dynamic automated test generation
@inproceedings{Babic2011StaticallydirectedDA, title={Statically-directed dynamic automated test generation}, author={D. Babic and L. Martignoni and Stephen McCamant and D. Song}, booktitle={ISSTA '11}, year={2011} }
We present a new technique for exploiting static analysis to guide dynamic automated test generation for binary programs, prioritizing the paths to be explored. Our technique is a three-stage process, which alternates dynamic and static analysis. In the first stage, we run dynamic analysis with a small number of seed tests to resolve indirect jumps in the binary code and build a visibly pushdown automaton (VPA) reflecting the global control-flow of the program. Further, we augment the computed… CONTINUE READING
Figures, Tables, and Topics from this paper
106 Citations
A Systematic Review of Search Strategies in Dynamic Symbolic Execution
- Computer Science
- Comput. Stand. Interfaces
- 2020
Transparently improving regression testing using symbolic execution
- Computer Science
- 2014
- 1
- Highly Influenced
- PDF
Regular Property Guided Dynamic Symbolic Execution
- Computer Science
- 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
- 2015
- 33
- PDF
Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries
- Computer Science
- CASCON
- 2016
- 13
- Highly Influenced
make test-zesti: A symbolic execution solution for improving regression testing
- Computer Science
- 2012 34th International Conference on Software Engineering (ICSE)
- 2012
- 83
- PDF
Java Ranger: statically summarizing regions for efficient symbolic execution of Java
- Computer Science
- ESEC/SIGSOFT FSE
- 2020
Chopped Symbolic Execution
- Computer Science
- 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE)
- 2018
- 36
- PDF
DASE: Document-Assisted Symbolic Execution for Improving Automated Test Generation
- Computer Science
- 2014
- 1
- Highly Influenced
References
SHOWING 1-8 OF 8 REFERENCES
Heuristics for Scalable Dynamic Test Generation
- Computer Science
- 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
- 2008
- 389
- Highly Influential
- PDF
Pin: building customized program analysis tools with dynamic instrumentation
- Computer Science
- PLDI '05
- 2005
- 3,846
- Highly Influential
- PDF
Validation with guided search of the state space
- Computer Science
- Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175)
- 1998
- 180
- Highly Influential
- PDF
Exploring very large state spaces using genetic algorithms
- Computer Science
- International Journal on Software Tools for Technology Transfer
- 2004
- 156
- Highly Influential
- PDF
Intermediate-representation recovery from low-level code
- Computer Science
- PEPM '06
- 2006
- 60
- Highly Influential
- PDF