Selective mutation testing for concurrent code
Milos Gligoric, Lingming Zhang, Cristiano L. Pereira, Gilles Pokam · 2013
Concurrent code is becoming increasingly important with the advent of multi-cores, but testing concurrent code is challenging. Researchers are developing new testing techniques and test suites for concurrent code, but evaluating these techniques and test suites often uses a small number of real or manually seeded bugs.