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

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 (POF II, LK 01)
Erschienen in International journal on software tools for technology transfer
Band 14
Heft 4
Seiten 439-459
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page