We propose an approach to test whether a system conforms to its specification given in
terms of an Input/Output Symbolic Transition System (IOSTS). IOSTSs use data types to …

Abstract Model-based conformance testing of reactive systems consists in taking benefit
from the model for mechanizing both test data generation and verdicts computation. On-line …

The rapid development of the Internet of Things (IoT) has brought great changes for non-
contact and non-destructive sensing and diagnosis. For every inanimate object can tell us …

In a component oriented approach, components are designed, developed and validated in
order to be widely used. However one cannot always foresee which specific uses will be …

In this paper, we present a temporal logic called/spl Fscr/whose interpretation is over input
output symbolic transition systems (IOSTS). IOSTS extend transition systems to …

Model-based testing is a well known technique that allows one to validate the correctness of
software with respect to its model. If a lot of data is involved, symbolic techniques usually …

Hybrid systems are specified in a heterogeneous form, with discrete and continuous parts.
Simulating such systems requires precise data and synchronization of continuous changes …

We describe fundamental aspects of a method we have developed in order to check linear
temporal logic formulas over Input Output Symbolic Transition Systems (IOSTSs). IOSTSs …

Modern industrial systems are often large and distributed. Consequently, building the test
harness for them can be technically challenging. A compositional approach attempts to …

When component-based systems are large and complex, one faces systems of systems,
where interactions are mostly data-information flows. Examples include transport systems. A …