Automatic Test Case Generation Using Interval Arithmetic (Q4577106)
From MaRDI portal
scientific article; zbMATH DE number 6904376
Language | Label | Description | Also known as |
---|---|---|---|
English | Automatic Test Case Generation Using Interval Arithmetic |
scientific article; zbMATH DE number 6904376 |
Statements
Automatic Test Case Generation Using Interval Arithmetic (English)
0 references
16 July 2018
0 references
control software
0 references
code coverage
0 references
test case generation
0 references
interval arithmetic
0 references
branch-and-bound technique
0 references