A Reversible Debugger for MPI Applications. - Mihkel Tiks; Ott-Kaarel Martens; Eero Vainikko; Stefan Kuhn 001 (DEBT@ISSTA, 2024)