Combined static and dynamic automated test generation
Sai Zhang, David Saff, Yingyi Bu, Michael D. Ernst · 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.