Dynamic Testing Against Hidden Concurrency Bugs through Abstraction and Projection

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]

Authors

Jialin Yang

This author has not been identified. Look up 'Jialin Yang' in Google

W. K. Chan

This author has not been identified. Look up 'W. K. Chan' in Google