Automatic test case generation using interval arithmetic

DOI10.1007/978-1-4757-6484-0_7MaRDI QIDQ4577106zbMATH OpenOpenAlexFDO

Authors Günter Schumacher, Armin Bantle

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

branch-and-bound techniquecode coveragecontrol softwareinterval arithmetictest case generation

Mathematics Subject Classification ID

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

Recommendations

• Towards a framework for constraint-based test case generation
• A domain based new code coverage metric and a related automated test data generation method
• Automatic test data generation for data flow testing using particle swarm optimization
• Automatic Generation of Combinatorial Test Data
• Automated Technology for Verification and Analysis

Cites work

• Computation of rational interval functions
• scientific article; zbMATH DE number 3880009 (Why is no real title available?)
• scientific article; zbMATH DE number 3936378 (Why is no real title available?)
• scientific article; zbMATH DE number 1440913 (Why is no real title available?)
• scientific article; zbMATH DE number 3281219 (Why is no real title available?)

Cited in

(11)

• Quantification of software code coverage using artificial bee colony optimization based on Markov approach
• MC/DC test cases generation based on BDDs
• scientific article; zbMATH DE number 1693444 (Why is no real title available?)
• A domain based new code coverage metric and a related automated test data generation method
• JMLUnit: the next generation
• Test cases generation using a mathematical representation for the dynamic behavior of PIM
• Towards a framework for constraint-based test case generation
• Graph Transformations
• ON THE USE OF INTELLIGENT AGENTS TO GUIDE TEST SEQUENCE SELECTION AND OPTIMIZATION
• Formal Methods for Components and Objects
• Test-data generation for control coverage by proof

This page was built for publication: Automatic test case generation using interval arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4577106)