Program debugging using constraints – Is it feasible?

Franz Wotawa, Mihai Nica

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 201114 Jul 2011

Conference

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

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Experimental

Cite this