Concurrency Debugging with MaxSMT

Published in AAAI, 2019

Recommended citation: M. Terra-Neves, N. Machado, I. Lynce, V. Manquinho. "Concurrency Debugging with MaxSMT." AAAI. 2019. /files/aaai19-neves.pdf