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