Xiaozhen Xue, Sima Siami-Namini, Akbar Siami Namin. Testing Multi-Threaded Applications Using Answer Set Programming. International Journal of Software Engineering and Knowledge Engineering, 28(8):1151-1175, 2018. [doi]
@article{XueSN18a,
title = {Testing Multi-Threaded Applications Using Answer Set Programming},
author = {Xiaozhen Xue and Sima Siami-Namini and Akbar Siami Namin},
year = {2018},
doi = {10.1142/S021819401850033X},
url = {https://doi.org/10.1142/S021819401850033X},
researchr = {https://researchr.org/publication/XueSN18a},
cites = {0},
citedby = {0},
journal = {International Journal of Software Engineering and Knowledge Engineering},
volume = {28},
number = {8},
pages = {1151-1175},
}