Daniele Rossi, Martin Omaña, Cecilia Metra, Andrea Pagni. Checker No-Harm Alarm Robustness. In 12th IEEE International On-Line Testing Symposium (IOLTS 2006), 10-12 July 2006, Como, Italy. pages 275-280, IEEE Computer Society, 2006. [doi]
Abstract is missing.