Concurrency Debugging with Differential Schedule Projections. - Nuno Machado; Daniel Quinta; Brandon Lucia; Luís E. T. Rodrigues (ACM Trans. Softw. Eng. Methodol., 2016)