Combined static and dynamic automated test generation.

Sai Zhang, David Saff, Yingyi Bu, Michael D. Ernst

Browse the full ISSTA paper archive.