Unfolding based Minimal Test Suites for Testing Multithreaded Programs

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

Researchers

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

  • Javier Esparza

Research units

Details

Original languageEnglish
Title of host publicationInternational Conference on Application of Concurrency to System Design, Brussels, June 2426, 2015
EditorsRoland Meyer Stefan Haar
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Publication series

Name
PublisherIEEE
ISSN (Print)1550-4808

ID: 1968224