Using Static Analysis to Improve Automatic Test Generation.

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu

Browse the full TACAS paper archive.