Invariant-based Specification, Synthesis, and Verification of Synchronization (2002)

by X Deng, M B Dwyer, J Hatcliff, M Mizuno
Venue:in Concurrent Programs”, in Proc. of the 24th Int. Conf. on Software Engineering (ICSE 2002), ACM Press