Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures

Jing Xu, Yu Lei, Richard H. Carver. Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures. In 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017. pages 35-46, IEEE Computer Society, 2017. [doi]

Authors

Jing Xu

This author has not been identified. Look up 'Jing Xu' in Google

Yu Lei

This author has not been identified. Look up 'Yu Lei' in Google

Richard H. Carver

This author has not been identified. Look up 'Richard H. Carver' in Google