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ähkö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},
}
|