DETERMIN: inferring likely deterministic specifications of multithreaded programs (2010)

by J Burnim, K Sen
Venue:In 32nd ACM/IEEE International Conference on Software Engineering (ICSE