NavabpourBF11'

@inproceedings{DBLP:conf/lctrts/NavabpourBF11,
  author    = {Samaneh Navabpour and
               Borzoo Bonakdarpour and
               Sebastian Fischmeister},
  title     = {Software debugging and testing using the abstract diagnosis
               theory},
  booktitle = {LCTES},
  year      = {2011},
  pages     = {111-120},
  ee        = {http://doi.acm.org/10.1145/1967677.1967693},
  crossref  = {DBLP:conf/lctrts/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/lctrts/2011,
  editor    = {Jan Vitek and
               Bjorn De Sutter},
  title     = {Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on
               Languages, compilers, and tools for embedded systems, LCTES
               2011, Chicago, IL, USA, April 11-14, 2011},
  booktitle = {LCTES},
  publisher = {ACM},
  year      = {2011},
  isbn      = {978-1-4503-0555-6},
  ee        = {http://dl.acm.org/citation.cfm?id=1967677},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}