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}
}
  • D. Babic, L. Martignoni, +1 author D. Song
  • Published in ISSTA '11 2011
  • Computer Science
  • 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
    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
    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

    References

    SHOWING 1-8 OF 8 REFERENCES
    Heuristics for Scalable Dynamic Test Generation
    • Jacob Burnim, K. Sen
    • Computer Science
    • 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
    • 2008
    • 389
    • Highly Influential
    • PDF
    DART: directed automated random testing
    • 1,537
    • Highly Influential
    • PDF
    Pin: building customized program analysis tools with dynamic instrumentation
    • 3,846
    • 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
    • 192
    • Highly Influential
    • PDF
    Exploring very large state spaces using genetic algorithms
    • 156
    • Highly Influential
    • PDF
    Analyzing Memory Accesses in x86 Executables
    • 380
    • Highly Influential
    • PDF
    Intermediate-representation recovery from low-level code
    • 60
    • Highly Influential
    • PDF