@inproceedings{
    ASE/KahSaaHel12,
    author = {K{\"a}hk{\"o}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{\"a}hk{\"o}nen, Olli Saarikivi, Keijo Heljanko},
    eventlocation = "Essen, Germany",
    flags = "DC StMcDes",
    il = "no",
    year = "2012",
    unitcode = "T306-100",
    impactfactor = "A4",
    pages = "150-159"
}