Efficient concolic testing of MPI applications

H Li, Z Chen, R Gupta - … of the 28th International Conference on …, 2019 - dl.acm.org
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 …

[PDF][PDF] Efficient Concolic Testing of MPI Applications

H Li, Z Chen, R Gupta - 2019 - cs.ucr.edu
Software testing is widely used to improve software quality—a program is executed on range
of inputs that collectively exercise the program thoroughly. The efficacy of testing for a …

[PDF][PDF] Efficient Concolic Testing of MPI Applications

H Li, Z Chen, R Gupta - 2019 - cs.ucr.edu
Software testing is widely used to improve software quality—a program is executed on range
of inputs that collectively exercise the program thoroughly. The efficacy of testing for a …