@inproceedings{ASEKahSaaHel12,
author = {Kari K{\"a}hk{\"o}nen and Olli Saarikivi and Keijo Heljanko},
booktitle = {Proceedings of the 27th IEEE/ACM International Conference Automated Software Engineering 2012 (ASE 2012)},
language = {eng},
pages = {150-159},
title = {Using Unfoldings in Automated Testing of Multithreaded Programs},
year = {2012},
}