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

by Xianghua Deng, Matthew B Dwyer, John Hatcliff, Masaaki Mizuno
Venue:In Proceedings of the IEEE International Conference on Software Engineering (ICSE