A knowledge-based debugger for real-time software systems based on a noninterference testing architecture.

Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen

Browse the full COMPSAC paper archive.