Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft.

Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan

Browse the full ISSTA paper archive.