CMC: A Pragmatic Approach to Model Checking Real Code.

Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill

Browse the full OSDI paper archive.