KIT | KIT-Bibliothek | Impressum
Originalveröffentlichung
DOI: 10.1007/s10009-012-0227-0

Model generation for quantified formulas with application to test data generation

Gladisch, Christoph David



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Jahr 2012
Sprache Englisch
Identifikator ISSN: 1433-2779, 1433-2787
KITopen ID: 1000069671
HGF-Programm 46.12.03; LK 01
Erschienen in International journal on software tools for technology transfer
Band 14
Heft 4
Seiten 439-459
Projektinformation KASTEL I (BMBF, 01BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page