SAMC: a fast model checker for finding heisenbugs in distributed systems (demo).

Tanakorn Leesatapornwongsa, Haryadi S. Gunawi

Browse the full ISSTA paper archive.