On-the-Fly Model Checking of Program Runs for Automated Debugging.

Maximilian Frey Bernd-Holger Schlingloff On-the-Fly Model Checking of Program Runs for Automated Debugging. 10426- 1998 conf/euromicro/1998 EUROMICRO http://csdl.computer.org/comp/proceedings/euromicro/1998/8646/01/864610426abs.htm db/conf/euromicro/euromicro1998.html#FreyS98