An annotation assistant for interactive debugging of programs with common synchronization idioms.

Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer

Browse the full ISSTA paper archive.