Media type: E-Book; Thesis Title: Verallgemeinertes Rahmenwerk zur constraintbasierten Testdatenerzeugung aus Programmflussgraphen Contributor: Gerlich, Ralf [Author] Extent: Online-Ressource Language: German Identifier: Keywords: Formale Semantik ; CHR <Programmiersprache> ; Constraint-Programmierung ; Testen ; Testdaten ; Überdeckungstest ; Java <Programmiersprache> ; PROLOG <Programmiersprache> ; Hochschulschrift Origination: University thesis: Ulm, Univ., Diss., 2009 Footnote: Access State: Open Access