Jialin Yang, W. K. Chan. Dynamic Testing Against Hidden Concurrency Bugs through Abstraction and Projection. In 40th IEEE Annual Computer Software and Applications Conference, COMPSAC Workshops 2016, Atlanta, GA, USA, June 10-14, 2016. pages 600-601, IEEE, 2016. [doi]
Abstract is missing.