Mark B. Trakhtenbrot. Use of Verification for Testing and Debugging of Complex Reactive Systems. In Bernhard K. Aichernig, Bernhard Beckert, editors, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. pages 13-22, IEEE Computer Society, 2005. [doi]
Abstract is missing.