CMC: A Pragmatic Approach to Model Checking Real Code. (2002)

by M Musuvathi, D Park, A Chou, D Engler, D Dill
Venue:In 5th Symposium on Operating Systems Design and Implementation,