Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan. Analyzing concurrency bugs using dual slicing. In Paolo Tonella, Alessandro Orso, editors, Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010. pages 253-264, ACM, 2010. [doi]
Abstract is missing.