A Model-based Software Reasoning Approach to Software Debugging

RF Abreu, P Zoeteweij, AJC van Gemund

Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientific

Original languageUndefined/Unknown
Title of host publicationOpportunities and Challenges for Next-Generation Applied Intelligence
EditorsB-C Chien, T-P Hong
Place of PublicationBerlin
PublisherSpringer
Pages233-239
Number of pages341
ISBN (Print)978-3-540-92813-3
DOIs
Publication statusPublished - 2009

Keywords

  • Boekdeel internat.wet

Cite this

Abreu, RF., Zoeteweij, P., & van Gemund, AJC. (2009). A Model-based Software Reasoning Approach to Software Debugging. In B-C. Chien, & T-P. Hong (Eds.), Opportunities and Challenges for Next-Generation Applied Intelligence (pp. 233-239). Springer. https://doi.org/10.1007/978-3-540-92814-0_36