Model-based testing for concurrent systems with labelled event structures


We propose a theoretical testing framework and a test generation algorithm for concurrent systems specified with true concurrency models, such as Petri nets or networks of automata. The semantic model of computation of such formalisms are labeled event structures, which allow to represent concurrency explicitly. We introduce the notions of strong and weak… (More)
DOI: 10.1002/stvr.1543

18 Figures and Tables


  • Presentations referencing similar topics