AutomaDeD: Automata-Based Debugging for Dissimilar Parallel Tasks