Formal Verification of Developer Tests: A Research Agenda Inspired by Mutation Testing.

Serge Demeyer, Ali Parsai, Sten Vercammen, Brent van Bladel, Mehrdad Abdi

Browse the full ISoLA paper archive.