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 …

MPI is widely used as the bedrock of HPC applications, but there are no effective systematic
software testing techniques for MPI programs. In this paper we develop COMPI, the first …

Concolic testing has been very successful in automatically generating test inputs for
programs. However one of its major limitations is path-explosion that limits the generation of …

Concolic testing is a well-known unit test generation technique. However, bottlenecks such
as constraint solving prevents concolic testers to be used in large projects. We propose a …

Automatic testing, in particular test input generation, has become increasingly popular in the
research community over the past ten years. In this paper, we conduct a survey on existing …

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 …

Concolic testing is a test generation technique which works effectively by integrating random
testing generation and symbolic execution. Existing concolic testing engines focus on …

Abstract PCAST (PGI Compiler-Assisted Software Testing) is a feature being developed in
the PGI compilers and runtime to help users automate testing high performance numerical …

Concolic testing is a powerful technique for vulnerability detection. Current concolic testing
tools usually randomly select one well-formed concrete input to start their workflow, then …

Recently, MPI has become widely used in many scientific applications, including different
non-computer science fields, for parallelizing their applications. An MPI programming model …