An automated model-based debugging approach

Cemal Yilmaz, Clay Williams. An automated model-based debugging approach. In R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer, editors, 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA. pages 174-183, ACM, 2007. [doi]

@inproceedings{YilmazW07,
  title = {An automated model-based debugging approach},
  author = {Cemal Yilmaz and Clay Williams},
  year = {2007},
  doi = {10.1145/1321631.1321659},
  url = {http://doi.acm.org/10.1145/1321631.1321659},
  tags = {rule-based, debugging, systematic-approach},
  researchr = {https://researchr.org/publication/YilmazW07},
  cites = {0},
  citedby = {0},
  pages = {174-183},
  booktitle = {22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA},
  editor = {R. E. Kurt Stirewalt and Alexander  Egyed and Bernd  Fischer},
  publisher = {ACM},
  isbn = {978-1-59593-882-4 },
}