Program debugging using constraints – Is it feasible?

Franz Wotawa, Mihai Nica

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Originalspracheenglisch
TitelProceedings of the 11th International Conference on Quality Software (QSIC)
Herausgeber (Verlag)Institute of Electrical and Electronics Engineers
Seiten236-243
PublikationsstatusVeröffentlicht - 2011
Veranstaltung1st Workshop on Formal Methods in the Development of Software (WS-FMDS 2011) - Madrid, Spanien
Dauer: 13 Jul 201114 Jul 2011

Konferenz

Konferenz1st Workshop on Formal Methods in the Development of Software (WS-FMDS 2011)
Land/GebietSpanien
OrtMadrid
Zeitraum13/07/1114/07/11

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Experimental

Dieses zitieren