Locking discipline inference and checking.

Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Fausto Spoto, Javier Thaine

Browse the full ICSE paper archive.