SyncGen: An Aspect-Oriented Framework for Synchronization.

Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno

Browse the full TACAS paper archive.