KIT | KIT-Bibliothek | Impressum

Automatic test case generation using interval arithmetic

Schumacher, Günter; Bantle, Armin



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (FZI)
Publikationstyp Buchaufsatz
Jahr 2001
Sprache Deutsch
Identifikator KITopen ID: 33102001
Erscheinungsvermerk In: Scientific computing, validated numerics, interval methods. Proceedings of SCAN 2000. Ed.: W. Krämer. New York 2001. S. 81-88.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page