Weeratunge, et al.. Analyzing Concurrency Bugs Using Dual Slicing. ACM Press, 2010, doi:10.1145/1831708.1831740.