-
Symbolic Testing Approach of Composite Web Services
Web services are gaining industry-wide acceptance and usage by fostering the developmentof distributed applications out of the composition of simpler entities... -
How to reduce the cost of passive testing
International audience -
Semantics-Based Testing for Circus
The work presented in this thesis is a contribution to formal specification and verification methods. Formal specifications are used to describe a software, or more... -
Two Complementary Tools for the Formal Testing of Distributed Systems with Ti...
International audience
