Skip to Main content Skip to Navigation
Help


...
hal-02019720v1  Conference papers
William DurandSébastien Salva. Inférence de modèles dirigée par la logique métier
AFADL (Approches Formelles dans l'Assistance au Développement de Logiciels), Jun 2014, Paris, France
...
hal-02019715v1  Conference papers
Sébastien SalvaWilliam Durand. Domain-Driven Model Inference Applied To Web Applications
2014 International Conference on Software Engineering Research and Practice (SERP14), Jul 2014, Las vegas, United States
...
hal-01868218v1  Conference papers
Loukmen RegainiaSébastien Salva. A Practical Way of Testing Security Patterns
Thirteenth International Conference on Software Engineering Advances (ICSEA'18), Oct 2018, Nice, France
...
hal-02019654v1  Conference papers
William DurandSébastien Salva. Passive testing of production systems based on model inference
ACM/IEEE International Conference on Formal Methods and Models for Codesign, Sep 2015, Austin, United States
...
hal-02019712v1  Journal articles
Sébastien SalvaTien-Dung Cao. Proxy-Monitor: An integration of runtime verification with passive conformance testing.
International Journal of Software Innovation, IGI Global, 2014
...
hal-02019705v1  Conference papers
Sébastien SalvaStassia Zafimiharisoa. Model reverse-engineering of Mobile applications with exploration strategies.
Ninth International Conference on Software Engineering Advances, ICSEA 2014, Oct 2014, Nice, France
...
hal-01803916v1  Conference papers
Blot ElliottP. LaurencotSébastien Salva. COnfECt : Une Méthode Pour Inférer Les Modèles De Composants D'un Système
17èmes journées AFADL : Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2018, Grenoble, France
...
hal-02019666v1  Journal articles
Sébastien SalvaP. Laurencot. Model Inference and Automatic Testing of Mobile Applications *
International Journal of Computer Aided Engineering and Technology, 2015
...
hal-01803923v1  Conference papers
Sébastien SalvaBlot Elliott. COnfECt: An Approach to Learn Models of Component-based Systems
Proceedings of the 13th International Conference on Software Technologies, ICSOFT, Jul 2018, porto, Portugal
hal-02019159v1  Journal articles
Loukmen RegainiaSébastien SalvaCédric Bouhours. Une démarche pour l'assistance a l?utilisation des patrons de sécurité
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2016
...
hal-01868235v1  Book sections
Sébastien SalvaLoukmen Regainia. A security pattern classification based on Data integration
Paolo Mori, Steven Furnell, Olivier Camp. Information Systems Security and Privacy, 867, Springer, pp.105-129, 2018, Communications in Computer and Information Science, ⟨10.1007/978-3-319-93354-2_6⟩