-
Verification and Symbolic Test Generation for Safety Properties
This paper presents a combination of verification and conformance testing techniques for the formal validation of reactive systems. A formal specification of a system... -
A passive conformance testing approach for a MANET routing protocol
International audience -
A formal abstract framework for modelling and testing complex software systems
International audience -
Testing of component-based systems
International audience -
Testing of Abstract Components
International audience -
Modeling and methodologies for the test of IMS services
Conformance testing is the process of checking that a system possesses a set of desired properties and behaves in accordance with some predefined requirements. In this... -
A formal data-centric approach for passive testing of communication protocols
International audience -
Home Automation Systems Testing : A Coverage Measure for Hybrid Automata
8 pages - Short papers session (http://ictss2011.lri.fr/) -
The Circus Testing Theory Revisited in Isabelle/HOL
International audience -
Méthodes formelles de test de conformité des protocoles
Article dans revue scientifique avec comité de lecture. -
Online Testing Framework for Web services
International audience -
WSOFT : an automatic testing tool for web services composition
International audience
