SWAT: Assertion-based debugging of concurrency issues at system level.

Luis Gabriel Murillo, Robert Lajos Bcs, Daniel Hincapie, Rainer Leupers, Gerd Ascheid

Browse the full ASPDAC paper archive.