Luis Gabriel Murillo, Simon Wawroschek, Jerónimo Castrillón, Rainer Leupers, Gerd Ascheid
Automatic detection of concurrency bugs through event ordering constraints
DATE, 2014.
@inproceedings{DATE-2014-MurilloWCLA,
author = "Luis Gabriel Murillo and Simon Wawroschek and Jerónimo Castrillón and Rainer Leupers and Gerd Ascheid",
booktitle = "{Proceedings of the 18th Conference and Exhibition on Design, Automation and Test in Europe}",
doi = "10.7873/DATE.2014.295",
pages = "1--6",
publisher = "{IEEE}",
title = "{Automatic detection of concurrency bugs through event ordering constraints}",
year = 2014,
}