Using Unfoldings in Automated Testing of Multithreaded Programs

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Title of host publicationASE 27th IEEE/ACM International Conference Automated Software Engineering 2012 (ASE 2012) ASE, Essen, Germany, September 3-7, 2012
Publication statusPublished - 2012
MoE publication typeA4 Article in a conference publication

ID: 694475