Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures.

Jing Xu, Yu Lei, Richard H. Carver

Browse the full ICST paper archive.