Hernán Ponce de Leon, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza. Unfolding Based Minimal Test Suites for Testing Multithreaded Programs. In 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015. pages 40-49, IEEE Computer Society, 2015. [doi]
@inproceedings{LeonSKHE15,
title = {Unfolding Based Minimal Test Suites for Testing Multithreaded Programs},
author = {Hernán Ponce de Leon and Olli Saarikivi and Kari Kähkönen and Keijo Heljanko and Javier Esparza},
year = {2015},
doi = {10.1109/ACSD.2015.12},
url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2015.12},
researchr = {https://researchr.org/publication/LeonSKHE15},
cites = {0},
citedby = {0},
pages = {40-49},
booktitle = {15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015},
publisher = {IEEE Computer Society},
isbn = {978-1-4673-7882-6},
}