International journal
-Concurrency Debugging with Differential Schedule ProjectionsNuno Machado and Daniel Quinta and Brandon Lucia and Luis Rodrigues article in ACM Transactions on Software Engineering and Methodology, Apr. 2016, ACM, [bibTex]