Using Unfoldings in Automated Testing of Multithreaded Programs

Reference:

Kari Kähkönen, Olli Saarikivi, and Keijo Heljanko. Using unfoldings in automated testing of multithreaded programs. In Proceedings of the 27th IEEE/ACM International Conference Automated Software Engineering 2012 (ASE 2012), pages 150–159, 2012.

Suggested BibTeX entry:

@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},
}