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]
Abstract is missing.