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 …

Achieving high code coverage is essential in testing, which gives us confidence in code
quality. Testing floating-point code usually requires painstaking efforts in handling floating …

Software testing is the primary way to ensure software quality, but occupies more than 50%
the cost of software development [1]. It was estimated that software failures cost the US …

Software testing is widely used in industry, but its application in the High Performance
Computing area has been scarce. Concolic testing, that automates testing via generation of …

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 …

Abstract Black-box testing [1, 13, 11] can be easily automated and involves less processing
than white box testing because it does not use information about the program structure …

Too often, programmers are under pressure to maximize their confidence in the correctness
of their code with a tight testing budget. Should they spend some of that budget on finding …

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 …

We present a new symbolic execution tool, KLEE, capable of automatically generating tests
that achieve high coverage on a diverse set of complex and environmentally-intensive …

Property-based testing uses randomly generated inputs to validate high-level program
specifications. It can be shockingly effective at finding bugs, but it often requires generating a …