Checking system rules using system-specific, programmer-written compiler extensions. (2000)

by D Engler, B Chelf, A Chou, S Hallem
Venue:In Proc. of OSDI.