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}, }