Program debugging using constraints – Is it feasible?

Franz Wotawa, Mihai Nica

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

Original languageEnglish
Title of host publicationProceedings of the 11th International Conference on Quality Software (QSIC)
PublisherInstitute of Electrical and Electronics Engineers
Pages236-243
Publication statusPublished - 2011
Event1st Workshop on Formal Methods in the Development of Software (WS-FMDS 2011) - Madrid, Spain
Duration: 13 Jul 2011 → 14 Jul 2011

Conference

Conference1st Workshop on Formal Methods in the Development of Software (WS-FMDS 2011)
CountrySpain
CityMadrid
Period13/07/11 → 14/07/11

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Experimental

Cite this

Wotawa, F., & Nica, M. (2011). Program debugging using constraints – Is it feasible? In Proceedings of the 11th International Conference on Quality Software (QSIC) (pp. 236-243). Institute of Electrical and Electronics Engineers.

Program debugging using constraints – Is it feasible? / Wotawa, Franz; Nica, Mihai.

Proceedings of the 11th International Conference on Quality Software (QSIC). Institute of Electrical and Electronics Engineers, 2011. p. 236-243.

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

Wotawa, F & Nica, M 2011, Program debugging using constraints – Is it feasible? in Proceedings of the 11th International Conference on Quality Software (QSIC). Institute of Electrical and Electronics Engineers, pp. 236-243, 1st Workshop on Formal Methods in the Development of Software (WS-FMDS 2011), Madrid, Spain, 13/07/11.
Wotawa F, Nica M. Program debugging using constraints – Is it feasible? In Proceedings of the 11th International Conference on Quality Software (QSIC). Institute of Electrical and Electronics Engineers. 2011. p. 236-243
Wotawa, Franz ; Nica, Mihai. / Program debugging using constraints – Is it feasible?. Proceedings of the 11th International Conference on Quality Software (QSIC). Institute of Electrical and Electronics Engineers, 2011. pp. 236-243
@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",

}

TY - GEN

T1 - Program debugging using constraints – Is it feasible?

AU - Wotawa, Franz

AU - Nica, Mihai

PY - 2011

Y1 - 2011

M3 - Conference contribution

SP - 236

EP - 243

BT - Proceedings of the 11th International Conference on Quality Software (QSIC)

PB - Institute of Electrical and Electronics Engineers

ER -