Maximilian Frey, Bernd-Holger Schlingloff. On-the-Fly Model Checking of Program Runs for Automated Debugging. In 24th EUROMICRO 98 Conference, Engineering Systems and Software for the Next Decade, 25-27 August 1998, Vesteras, Sweden. pages 10426, IEEE Computer Society, 1998. [doi]
Abstract is missing.