Testing for Race Conditions in Distributed Systems via SMT Solving.

Joo Carlos Pereira, Nuno Machado, Jorge Sousa Pinto

Browse the full TAP paper archive.