Combined static and dynamic automated test generation (2011)

by S Zhang, D Saff, Y Bu, M D Ernst
Venue:In ISSTA