Unfolding based automated testing of multithreaded programs

Kari Kahkonen, Olli Saarikivi, Keijo Heljanko

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

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

Access to Document

@article{c0621e98eaa54917bd4ea586a154c03e,

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

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

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 NEW YORK LLC",

number = "4",

}