Over the past decades, coordination languages have emerged for the specification and
implementation of interaction protocols for communicating software components. This class …

A challenging problem in path-oriented test data generation is the presence of infeasible
paths. Timely detecting these infeasible paths cannot only save test resources but also …

The large complexity of today's software systems is caused not only by their sheer size in
terms of lines of code. In the age of service-oriented and cloud computing, applications use …

Reo is a coordination language that can be used to model different systems. We propose a
technique for symbolic execution of Reo circuits using the symbolic representation of data …

Reo is a graphic-based coordination modelling language which aims to capture and model
the interaction between pieces of software, using structures known as channels. The fact that …

Detecting infeasible paths is a key and difficult point in path testing. First, this paper surveys
some related works; and then we compare and analyze these techniques in detail. Finally …

Reo is a coordination-based language with the proposal of connecting different systems and
interfaces. It aims to develop communication between different systems with a high level of …

Critical systems require high reliability and are present in many domains. They are systems
in which failure may result in financial damage or even loss of lives. Standard techniques of …

Reo is an exogenous coordination language for synthesizing components participating in a
component-based system. The notion of Büchi automaton over streams of records (BAR for …