Wolfgang Mayer, Markus Stumptner. Model-Based Debugging with High-Level Observations. In Zhongzhi Shi, Qing He, editors, Intelligent Information Processing II, IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP 2004), October 21-23, 2004, Beijing, China. pages 299-309, Springer, 2004. [doi]
Abstract is missing.