Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu. Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. In 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 7-10 March 2005, San Francisco, CA, USA. pages 519-528, IEEE Computer Society, 2005. [doi]
Abstract is missing.