Invariant-based specification, synthesis, and verification of synchronization in concurrent programs (2002)

by Xianghua Deng, Matthew B Dwyer, John Hatcliff, Masaaki Mizuno
Venue:In Proc. of ICSE