Program debugging using constraints – Is it feasible?

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings of the 11th International Conference on Quality Software (QSIC)
Publisher	Institute of Electrical and Electronics Engineers
Pages	236-243
Publication status	Published - 2011
Event	1st Workshop on Formal Methods in the Development of Software (WS-FMDS 2011) - Madrid, Spain Duration: 13 Jul 2011 → 14 Jul 2011

Conference	1st Workshop on Formal Methods in the Development of Software (WS-FMDS 2011)
Country/Territory	Spain
City	Madrid
Period	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 = "Institute of Electrical and Electronics Engineers",

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",