Unfolding based Minimal Test Suites for Testing Multithreaded Programs

Hernán Ponce-de-León, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza

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

3 Citations (Scopus)
Original languageEnglish
Title of host publicationInternational Conference on Application of Concurrency to System Design, Brussels, June 2426, 2015
EditorsRoland Meyer Stefan Haar
Place of PublicationBrussels
PublisherIEEE
Pages40-49
DOIs
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Publication series

Name
PublisherIEEE
ISSN (Print)1550-4808

Cite this