A Model-based Software Reasoning Approach to Software Debugging

RF Abreu, P Zoeteweij, AJC van Gemund

Research output: Chapter in Book/Conference proceedings/Edited volume › Chapter › Scientific

Original language	Undefined/Unknown
Title of host publication	Opportunities and Challenges for Next-Generation Applied Intelligence
Editors	B-C Chien, T-P Hong
Place of Publication	Berlin
Publisher	Springer
Pages	233-239
Number of pages	341
ISBN (Print)	978-3-540-92813-3
DOIs	https://doi.org/10.1007/978-3-540-92814-0_36
Publication status	Published - 2009

Keywords

@inbook{e043d1abbbf54a7ab1ecf250f4023875,

title = "A Model-based Software Reasoning Approach to Software Debugging",

keywords = "Boekdeel internat.wet",

author = "RF Abreu and P Zoeteweij and {van Gemund}, AJC",

year = "2009",

doi = "10.1007/978-3-540-92814-0_36",

language = "Undefined/Unknown",

isbn = "978-3-540-92813-3",

pages = "233--239",

editor = "B-C Chien and T-P Hong",

booktitle = "Opportunities and Challenges for Next-Generation Applied Intelligence",

publisher = "Springer",

}

TY - CHAP

T1 - A Model-based Software Reasoning Approach to Software Debugging

AU - Abreu, RF

AU - Zoeteweij, P

AU - van Gemund, AJC

PY - 2009

Y1 - 2009

KW - Boekdeel internat.wet

U2 - 10.1007/978-3-540-92814-0_36

DO - 10.1007/978-3-540-92814-0_36

M3 - Chapter

SN - 978-3-540-92813-3

SP - 233

EP - 239

BT - Opportunities and Challenges for Next-Generation Applied Intelligence

A2 - Chien, B-C

A2 - Hong, T-P

PB - Springer

CY - Berlin

ER -