-
Formal Domain Engineering: From Specification to Validation
The main theme of this research is to study and develop techniques for modeling of software-controlled safety-critical systems. The area we focus in this thesis is the... -
A practical model-based statistical approach for generating functional test c...
International audience -
Design of a validation test process of an automotive software
International audience -
Analysis and optimization of software model inference algorithms
Components-Off-The-Shelf (COTS) are used for rapid and cost effective developmentof software systems. It is important to test the correct functioning of COTS in new... -
Towards a Formal Approach for the Regeneration of PILOT Control System
International audience -
Adoption of Software Testing in Open Source Projects A Preliminary Study on 5...
International audience -
An Empirical Study of Adoption of Software Testing in Open Source Projects
International audience -
Qualifying Input Test Data for Model Transformations
International audience
