Unfolding based automated testing of multithreaded programs

Kari Kahkonen, Olli Saarikivi, Keijo Heljanko

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
JournalAutomated Software Engineering
Volume22
Issue number4
Pages (from-to)475-515
ISSN0928-8910
DOIs
Publication statusPublished - 2015
Externally publishedYes
MoE publication typeA1 Journal article-refereed

Cite this