In this paper, we discuss a testing method for integration testing of complex and concurrent
systems. Integration testing is considered the least well understood and hence is the most …

Petri nets have been extensively used in the modelling and analysis of concurrent and
distributed systems. The verification and validation of Petri nets are of particular importance …

High level Petri nets have been extensively used for modeling concurrent systems; however,
their strong expressive power reduces their ability to be easily analyzed. Currently there are …

Abstract Model-based testing has mainly focused on models where concurrency is
interpreted as interleaving (like the ioco theory for labeled transition systems), which may be …

Petri nets have been widely studied as tool for specification, modeling and analysis of
concurrent systems. However, surprisingly little research has been done for testing systems …

A high-level Petri net can be viewed as an abstract concurrent program and thus can be
tested. In this paper, we present a theory of testing high-level Petri nets by adapting some of …

Abstract Model-based testing has mainly focused on models where currency is interpreted
as interleaving (like the ioco theory for labeled transition systems), which may be too coarse …

Automated software testing has gained much attention because it is expected to improve
testing productivity and reduce testing cost. Automated generation and execution of tests …

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 …

In our experience, exploratory testing has reached a level of maturity that makes it a practical
and often the most cost-effective approach to testing. Notably, previous work has …