Software model checking in practice: an industrial case study.

Satish Chandra, Patrice Godefroid, Christopher Palm

Browse the full ICSE paper archive.