Test Case Generation for Concurrent Systems Using Event Structures

Konstantinos Athanasiou, Hernán Ponce de León, Stefan Schwoon

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

2 Citations (Scopus)
Original languageEnglish
Title of host publicationInternational Conference on Tests & Proofs, L'Aquila, 2224 July 2015
EditorsJasmin Christian Blanchette, Nikolai Kosmatov
Place of PublicationL'Aquila, Italy
ISBN (Electronic)978-3-319-21215-9
Publication statusPublished - 2015
MoE publication typeA4 Article in a conference publication

Publication series

ISSN (Print)0302-9743

Cite this