KIT | KIT-Bibliothek | Impressum

Automatic test case generation using interval arithmetic

Bantle, Armin; Schumacher, Günter



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buchaufsatz
Jahr 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