Run-Time Checking Multi-threaded Java Programs.

Frank S. de Boer, Stijn de Gouw

Browse the full SOFSEM paper archive.