Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad. Verification-aided regression testing. In Corina S. Pasareanu, Darko Marinov, editors, International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014. pages 37-48, ACM, 2014. [doi]
Abstract is missing.