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… Expand
106 Citations
A Systematic Review of Search Strategies in Dynamic Symbolic Execution
Transparently improving regression testing using symbolic execution
  • 1
  • Highly Influenced
  • PDF
Regular Property Guided Dynamic Symbolic Execution
  • 33
  • PDF
Combining static analysis and targeted symbolic execution for scalable bug-finding in application binaries
  • 13
  • Highly Influenced
make test-zesti: A symbolic execution solution for improving regression testing
  • 83
  • PDF
Targeted Test Generation for Actor Systems
  • 5
  • PDF
Java Ranger: statically summarizing regions for efficient symbolic execution of Java
  • 1
adapting software testing techniques to enhance software security
  • PDF
Chopped Symbolic Execution
  • 36
  • PDF
DASE: Document-Assisted Symbolic Execution for Improving Automated Test Generation
  • 1
  • Highly Influenced
...
1
2
3
4
5
...

References

SHOWING 1-8 OF 8 REFERENCES
Heuristics for Scalable Dynamic Test Generation
  • Jacob Burnim, Koushik Sen
  • Computer Science
  • 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
  • 2008
  • 391
  • Highly Influential
  • PDF
DART: directed automated random testing
  • 1,547
  • Highly Influential
  • PDF
Pin: building customized program analysis tools with dynamic instrumentation
  • 3,869
  • Highly Influential
  • PDF
Validation with guided search of the state space
  • C. Yang, D. Dill
  • Computer Science
  • Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175)
  • 1998
  • 180
  • Highly Influential
  • PDF
WYSINWYX: What you see is not what you eXecute
  • 196
  • Highly Influential
  • PDF
Exploring very large state spaces using genetic algorithms
  • 156
  • Highly Influential
  • PDF
Analyzing Memory Accesses in x86 Executables
  • 382
  • Highly Influential
  • PDF
Intermediate-representation recovery from low-level code
  • 61
  • Highly Influential
  • PDF