Charles Edwin Killian, James W. Anderson, Ranjit Jhala, Amin Vahdat. Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code (Awarded Best Paper). In 4th Symposium on Networked Systems Design and Implementation (NSDI 2007), April 11-13, 2007, Cambridge, Massachusetts, USA, Proceedings. USENIX, 2007. [doi]
@inproceedings{KillianAJV07,
title = {Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code (Awarded Best Paper)},
author = {Charles Edwin Killian and James W. Anderson and Ranjit Jhala and Amin Vahdat},
year = {2007},
url = {http://www.usenix.org/events/nsdi07/tech/killian.html},
researchr = {https://researchr.org/publication/KillianAJV07},
cites = {0},
citedby = {0},
booktitle = {4th Symposium on Networked Systems Design and Implementation (NSDI 2007), April 11-13, 2007, Cambridge, Massachusetts, USA, Proceedings},
publisher = {USENIX},
}