Statistical Fault Detection and Debugging AutomaDeD: Automata-Based Debugging for Dissimilar Parallel Tasks Greg Bronevetsky, Bronis R. de Supinski, Dong H. Ahn, Martin Schulz…
