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