Dynamic symbolic verification of MPI programs
scientific article; zbMATH DE number 7343228