• DOI:10.1145/2001420.2001423
Corpus ID: 17344927

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… Expand

View on ACM

cs.berkeley.edu

Save to Library

Create Alert

Cite

Launch Research Feed