Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures | IEEE Conference Publication | IEEE Xplore