-
How to reduce the cost of passive testing
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 -
Passive testing on performance requirements of network protocols
International audience -
DataMonitor : a formal approach for passively testing a MANET routing protocol
International audience -
Passive interoperability testing for communication protocols
In the field of networking, testing of communication protocols is an important activity to validate protocol applications before commercialisation. Generally, the... -
Two complementary approaches to detecting vulnerabilities in C programs
In general, computer software vulnerabilities are defined as special cases where an unexpected behavior of the system leads to the degradation of security properties... -
A symbolic approach for the verification and the test of service choreographies
Service-oriented engineering is an emerging software development paradigm for distributed collaborative applications. Such an application is made up of several... -
A trust framework for multi-organization environments
The widespread of inexpensive communication technologies, distributed data storage and web services mechanisms currently urge the collaboration among organizations.... -
An Approach to Automated Runtime Verification for Timed Systems: Applications...
International audience -
An automated passive testing approach of real-time systems: Application to We...
International audience
