Program debugging using constraints – Is it feasible?

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Proceedings of the 11th International Conference on Quality Software (QSIC)
Herausgeber (Verlag)	IEEE
Seiten	236-243
Publikationsstatus	Veröffentlicht - 2011
Veranstaltung	1st Workshop on Formal Methods in the Development of Software (WS-FMDS 2011) - Madrid, Spanien Dauer: 13 Juli 2011 → 14 Juli 2011

Konferenz	1st Workshop on Formal Methods in the Development of Software (WS-FMDS 2011)
Land/Gebiet	Spanien
Ort	Madrid
Zeitraum	13/07/11 → 14/07/11

Fields of Expertise

@inproceedings{46c713b35972465abfd3e6bda55b63b9,

title = "Program debugging using constraints – Is it feasible?",

author = "Franz Wotawa and Mihai Nica",

year = "2011",

language = "English",

pages = "236--243",

booktitle = "Proceedings of the 11th International Conference on Quality Software (QSIC)",

publisher = "IEEE",

address = "United States",

note = "1st Workshop on Formal Methods in the Development of Software (WS-FMDS 2011) ; Conference date: 13-07-2011 Through 14-07-2011",