Concurrency Debugging with Differential Schedule Projections

Published in ACM TOSEM Vol. 25, No. 2, Article 14, 2016

Recommended citation: N. Machado, D. Quinta, B. Lucia, L. Rodrigues. "Concurrency Debugging with Differential Schedule Projections." ACM TOSEM Vol. 25, No. 2, Article 14. 2016. /files/tosem16-nmachado.pdf