-
A systematic approach to integrate common timed security rules within a TEFSM...
International audience -
Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE
7 pages - Session 11: Testing - http://icssea.enst.fr/icssea12/ -
System Design of a CC-NUMA Multiprocessor Architecture Using Formal Specifica...
The application of formal methods to system-level design of hardware components is still an open issue for which concrete case-studies are needed. We present here an... -
On Equivalence between Timed State Machines and Time Petri Nets
In this article, we identify a subclass of Timed Automata (Alur and Dill \citeAlurDill: [1], called Timed State Machines as weakly equivalent w.r.t. strongly timed... -
Modelisation & Functional Testing of Web Services Orchestration
Last years have seen the emergence of the service oriented architecture (SOA) designed to facilitate the creation, the publication, the networking and the reuse of... -
OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and ...
This dataset has no description
-
An Experiment in Automatic Generation of Test Suites for Protocols with Verif...
In this report we describe an experiment in automatic generation of test suites for protocol testing. We report the results gained with generation of test suites based... -
Applying formal methods to PCEP: an industrial case study from modeling to te...
International audience -
Modeling and testing secure web-based systems : application to an industrial ...
International audience -
Automated test scenario generation from termporal properties and behavioural ...
In the work presented in this thesis, supported by the ANR TASCCC project, we propose a test generation technique using behavioral models in UML/OCL and temporal... -
Online Testing Framework for Web services
International audience -
WSOFT : an automatic testing tool for web services composition
International audience
