Decision in medical diagnosis is mostly taken by expert's experiences. In many cases, not all
the expert's experiences contribute towards effective diagnosis of a disease. Researchers …

Search-based testing techniques using meta-heuristics, like evolutionary algorithms, has
been largely used for test data generation, but most approaches were proposed for white …

An approach to the test and diagnosis of fully differential analogue circuits is described in
this paper. The test approach is based on o-line monitoring via an analogue BIST observer …

This paper describes the TestGen-IF tool, that allows the automatic generation of test cases
based on model based active testing techniques. This paper describes the overall …

The efforts and findings of the last decades of research on the formalization and the
verification of Web services have given a certain level of assurance on Web services …

Software-based systems are nowadays complex and highly distributed. In contrast, existing
intrusion detection mechanisms are not always suitable for protecting these systems against …

This paper presents the experimental results in applying formal methods to an industrial
protocol for constraint‐based path computation, called Path Computation Element …

In Mixed-Criticality Systems (MCS), high-critical real-time and low-critical real-time
applications share the same hardware platform. Today MCS must also be implementable on …

The interaction between business communities becomes a crucial requirement due to the
need of exchanging and sharing resources and services. In general, each system defines its …

Web services allow the communication of heterogeneous systems and are particularly
suitable for building cloud applications. Furthermore, such applications must verify some …