Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen. A knowledge-based debugger for real-time software systems based on a noninterference testing architecture. In Proceedings of the 13th Annual International Computer Software and Applications Conference, COMPSAC 1989, Orlando, FL, USA, 20-22 September, 1989. pages 642-649, IEEE, 1989. [doi]
Abstract is missing.