make test-zesti: A symbolic execution solution for improving regression testing.

Paul Dan Marinescu, Cristian Cadar

Browse the full ICSE paper archive.