Efficient concolic testing of MPI applications.

Hongbo Li, Zizhong Chen, Rajiv Gupta

Browse the full CC paper archive.