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]
@inproceedings{XuLC17-0,
title = {Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures},
author = {Jing Xu and Yu Lei and Richard H. Carver},
year = {2017},
doi = {10.1109/ICST.2017.11},
url = {https://doi.org/10.1109/ICST.2017.11},
researchr = {https://researchr.org/publication/XuLC17-0},
cites = {0},
citedby = {0},
pages = {35-46},
booktitle = {2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017},
publisher = {IEEE Computer Society},
isbn = {978-1-5090-6031-3},
}