Verification-aided regression testing.

Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvrinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad

Browse the full ISSTA paper archive.