-
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
