Low-Cost On-Line Fault Detection Using Control Flow Assertions.

Rajesh Venkatasubramanian, John P. Hayes, Brian T. Murray

Browse the full IOLTS paper archive.