Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators.

Leon Wu, Gail E. Kaiser

Browse the full SEKE paper archive.