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://doi.ieeecomputersociety.org/10.1109/EURMIC.1998.711836 db/conf/euromicro/euromicro1998.html#FreyS98