Original language | English |
---|---|
Journal | Automated Software Engineering |
Volume | 22 |
Issue number | 4 |
Pages (from-to) | 475-515 |
ISSN | 0928-8910 |
DOIs | |
Publication status | Published - 2015 |
Externally published | Yes |
MoE publication type | A1 Journal article-refereed |
Unfolding based automated testing of multithreaded programs
Kari Kahkonen, Olli Saarikivi, Keijo Heljanko
Research output: Contribution to journal › Article › Scientific › peer-review