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}
}
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

12 Figures & Tables

Topics

Statistics

0102020112012201320142015201620172018
Citations per Year

87 Citations

Semantic Scholar estimates that this publication has 87 citations based on the available data.

See our FAQ for additional information.