Unfolding based automated testing of multithreaded programs

Research output: Contribution to journalArticleScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Pages (from-to)475-515
JournalAUTOMATED SOFTWARE ENGINEERING
Volume22
Issue number4
Publication statusPublished - 2015
MoE publication typeA1 Journal article-refereed

ID: 2003715