Detecting atomic-set serializability violations in multithreaded programs through active randomized testing (2010)

by Z Lai, S C Cheung, W K Chan
Venue:In International Conference on Software Engineering