-
Applying formal methods to PCEP: an industrial case study from modeling to te...
International audience -
Uniform Random Sampling of Traces in Very Large Models
This paper presents some first results on how to perform uniform random walks (where every trace has the same probability to occur) in very large models. The models... -
Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets
International audience -
Security Vulnerabilities Detection Using Model Inference for Applications and...
International audience -
Test Generation from UML/OCL Model for involving critical system
This thesis is focused on methods and approaches taking into account the evolution in case of UML/OCL model-based test generation. In this framework I am studying... -
Qualifying Input Test Data for Model Transformations
International audience -
Security Vulnerabilities Test Generation from SysML and Event-B models for EM...
International audience -
APSET, an Android aPplication SEcurity Testing tool for detecting intent-base...
International audience
