Automatic detection of concurrency bugs through event ordering constraints.

Luis Gabriel Murillo, Simon Wawroschek, Jernimo Castrilln, Rainer Leupers, Gerd Ascheid

Browse the full DATE paper archive.