A natural and often used strategy when testing software is to use input values at boundaries,
ie where behavior is expected to change the most, an approach often called boundary value …

Software systems typically have an input domain that can be subdivided into sub-domains,
each of which generates similar or related outputs. Testing it on the boundaries between …

For software to be reliable and resilient, it is widely accepted that tests must be created and
maintained alongside the software itself. One safeguard from vulnerabilities and failures in …

Boundary value analysis is a typical conventional testing technique. However, manually
identifying input regions and writing test cases are labor-intensive and time-consuming. In …

We present a new approach to program testing which enables the programmer to specify
test suites in terms of a versatile query language. Our query language subsumes standard …

In this paper, a function tree method is introduced to design testing cases for input
parameters with constraints. With three input parameters X, Y and Z, it is generally assumed …

This paper presents Mathematical Execution (ME), a new, unified approach for testing
numerical code. The key idea is to (1) capture the desired testing objective via a …

As software systems grow more complex, automated testing has become essential to
ensuring reliability and performance. Traditional methods for boundary value test input …

In software testing, a protective measure to prevent faults in the code is to ensure that the
behavior on the boundary between the sub-domains of the input space is correct. Therefore …

The practice of testing software has become one of the most important aspects of the
process of software creation. When we are testing software the first and potentially most …