Checking system rules using system-speci programmerwritten compiler extensions (2000)

by D Engler, B Chelf, A Chou, S Hallem
Venue:In Proceedings of 4th Symposium on Operating System Design and Implementation. Usenix Association