Combined static and dynamic automated test generation

@inproceedings{Zhang2011CombinedSA,
  title={Combined static and dynamic automated test generation},
  author={Sai Zhang and David Saff and Yingyi Bu and Michael D. Ernst},
  booktitle={ISSTA},
  year={2011}
}

• Sai Zhang, David Saff, +1 author Michael D. Ernst
• Published 2011 in ISSTA
• DOI:10.1145/2001420.2001463

In an object-oriented program, a unit test often consists of a sequence of method calls that create and mutate objects, then use them as arguments to a method under test. It is challenging to automatically generate sequences that are legal and behaviorally-diverse, that is, reaching as many different program states as possible. This paper proposes a… CONTINUE READING

Save

Watch Paper

Cite

View on ACM