Selective mutation testing for concurrent code.

Milos Gligoric, Lingming Zhang, Cristiano Pereira, Gilles Pokam

Browse the full ISSTA paper archive.