Locking discipline inference and checking. - Michael D. Ernst; Alberto Lovato; Damiano Macedonio; Fausto Spoto; Javier Thaine (ICSE, 2016)