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

by X Deng, M Dwyer, J Hatcliff, M Mizuno
Venue:In ICSE 02: International Conference on Software Engineering