Inferring likely deterministic specifications of multithreaded programs (2010)

by “DETERMIN
Venue:in ICSE