Rajesh Venkatasubramanian, John P. Hayes, Brian T. Murray. Low-Cost On-Line Fault Detection Using Control Flow Assertions. In 9th IEEE International On-Line Testing Symposium (IOLTS 2003), 7-9 July 2003, Kos Island, Greece. pages 137-143, IEEE Computer Society, 2003. [doi]
Abstract is missing.