Automatic Test Case Generation Using Interval Arithmetic

DOI10.1007/978-1-4757-6484-0_7zbMath1394.65180OpenAlexW2098711815MaRDI QIDQ4577106

Armin Bantle, Günter Schumacher

Publication date: 16 July 2018

Published in: Scientific Computing, Validated Numerics, Interval Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4757-6484-0_7

zbMATH Keywords

interval arithmetictest case generationbranch-and-bound techniquecontrol softwarecode coverage

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30) Numerical algorithms for computer arithmetic, etc. (65Y04)

Cites Work

• Computation of rational interval functions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automatic Test Case Generation Using Interval Arithmetic