CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications
Hints on Test Data Selection: Help for the Practicing Programmer