Testing for Race Conditions in Distributed Systems via SMT Solving

Published in TAP, 2020

Recommended citation: J. Pereira, N. Machado, J. S. Pinto. "Testing for Race Conditions in Distributed Systems via SMT Solving." TAP. 2020. /files/tap20-jpereira.pdf