Model-Based Debugging with High-Level Observations

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]

@inproceedings{MayerS04:0,
  title = {Model-Based Debugging with High-Level Observations},
  author = {Wolfgang Mayer and Markus Stumptner},
  year = {2004},
  doi = {10.1007/0-387-23152-8_40},
  url = {http://dx.doi.org/10.1007/0-387-23152-8_40},
  tags = {rule-based, debugging},
  researchr = {https://researchr.org/publication/MayerS04%3A0},
  cites = {0},
  citedby = {0},
  pages = {299-309},
  booktitle = {Intelligent Information Processing II, IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP 2004), October 21-23, 2004, Beijing, China},
  editor = {Zhongzhi Shi and Qing He},
  publisher = {Springer},
  isbn = {0-387-23151-X},
}