the critical transition: Finding liveness bugs in systems code (0)

by C E Killian, J W Anderson, R Jhala, A Vahdat
Venue:In NSDI. USENIX