Unfolding based automated testing of multithreaded programs

Kari Kahkonen, Olli Saarikivi, Keijo Heljanko

Research output: Contribution to journal › Article › Scientific › peer-review

10 Citations (Scopus)

Original language	English
Pages (from-to)	475-515
Journal	Automated Software Engineering
Volume	22
Issue number	4
DOIs	https://doi.org/10.1007/s10515-014-0150-6
Publication status	Published - 2015
MoE publication type	A1 Journal article-refereed

Access to Document

@article{6a0c6aa396aa4280bdb2f89a95d6894a,

title = "Unfolding based automated testing of multithreaded programs",

author = "Kari Kahkonen and Olli Saarikivi and Keijo Heljanko",

note = "VK: Heljanko, K.",

year = "2015",

doi = "10.1007/s10515-014-0150-6",

language = "English",

volume = "22",

pages = "475--515",

journal = " Automated Software Engineering",

issn = "0928-8910",

publisher = "Springer",

number = "4",

}

TY - JOUR

T1 - Unfolding based automated testing of multithreaded programs

AU - Kahkonen, Kari

AU - Saarikivi, Olli

AU - Heljanko, Keijo

N1 - VK: Heljanko, K.

PY - 2015

Y1 - 2015

U2 - 10.1007/s10515-014-0150-6

DO - 10.1007/s10515-014-0150-6

M3 - Article

SN - 0928-8910

VL - 22

SP - 475

EP - 515

JO - Automated Software Engineering

JF - Automated Software Engineering

IS - 4

ER -