CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications | IEEE Conference Publication | IEEE Xplore