Using Unfoldings in Automated Testing of Multithreaded Programs (2012)
AUTHORS:
Kähkönen Kari
,
Saarikivi Olli
,
Heljanko Keijo
BOOKTITLE:
Proceedings of the 27th IEEE/ACM International Conference Automated Software Engineering 2012 (ASE 2012)
PAGES:
150-159
URL:
http://dx.doi.org/10.1145/2351676.2351698
@inproceedings{ ASE/KahSaaHel12, author = "Kähkönen, Kari and Saarikivi, Olli and Heljanko, Keijo", juforank = "1", eventtime = "September 3-7", isbn = "978-1-4503-1204-2", language = "eng", title = "Using Unfoldings in Automated Testing of Multithreaded Programs", url = "http://dx.doi.org/10.1145/2351676.2351698", country = "USA", booktitle = "Proceedings of the 27th IEEE/ACM International Conference Automated Software Engineering 2012 (ASE 2012)", corerank = "A", responsibleauthor = "Kari Kähkönen, Olli Saarikivi, Keijo Heljanko", ee = "http://dx.doi.org/10.1145/2351676.2351698", flags = "DC copy", il = "no", year = "2012", unitcode = "T306-100", impactfactor = "A4", pages = "150-159", eventlocation = "Essen, Germany" }