Checking system rules using system-speci c, programmer-written compiler extensions (0)

by D Engler, B Chelf, A Chou, S Hallem
Venue:In OSDI'00