Julian Wolf, Bernhard Fechner, Theo Ungerer. Fault coverage of a timing and control flow checker for hard real-time systems. In 18th IEEE International On-Line Testing Symposium, IOLTS 2012, Sitges, Spain, June 27-29, 2012. pages 127-129, IEEE Computer Society, 2012. [doi]
Abstract is missing.