KIT | KIT-Bibliothek | Impressum | Datenschutz

Automatic test case generation using interval arithmetic

Bantle, Armin; Schumacher, Günter


Zugehörige Institution(en) am KIT Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
FZI Forschungszentrum Informatik (FZI)
Publikationstyp Buchaufsatz
Publikationsjahr 2000
Sprache Deutsch
Identifikator KITopen-ID: 30702000
Erscheinungsvermerk In: Refereed proceedings of the SCAN2000/INTERVAL2000, Karlsruhe, Germany 2000.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page