SALVA - Sébastien

All publications(47)
2019
COMM
Sébastien Salva, Elliott Blot
Reverse Engineering Behavioural Models of IoT Devices
31st International Conference on Software Engineering & Knowledge Engineering (SEKE) - 2019
Informatique/Génie logiciel
2019
ART
Sébastien Salva, Loukmen Regainia
An Approach for Guiding Developers in the Choice of Security Solutions and in the Generation of Concrete Test Cases
Software Quality Journal - 2019
Informatique/Génie logiciel
2019
ART
Sébastien Salva, Loukmen Regainia
A catalogue associating security patterns and attack steps to design secure applications
Journal of Computer Security - 2019
Informatique/Cryptographie et sécurité
2018
COMM
Loukmen Regainia, Sébastien Salva
A Practical Way of Testing Security Patterns
Thirteenth International Conference on Software Engineering Advances (ICSEA'18) - 2018
Informatique/Cryptographie et sécurité
2018
COMM
Sébastien Salva, Elliott Blot, Patrice Laurencot
Combining Model Learning and Data Analysis to Generate Models of Component-based Systems
Testing Software and Systems - 30th {IFIP} {WG} 6.1 International Conference, ICTSS - 2018
Informatique/Performance et fiabilité
2018
COMM
Sébastien Salva, Elliott Blot
COnfECt: An Approach to Learn Models of Component-based Systems
Proceedings of the 13th International Conference on Software Technologies, ICSOFT - 2018
2018
COMM
Elliott Blot, Patrice Laurencot, Sé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 - 2018
2018
COUV
Sébastien Salva, Loukmen Regainia
A security pattern classification based on Data integration
Informatique/Cryptographie et sécurité
2017
ART
Sébastien Salva, William Durand
Combining model generation and passive testing in the same framework to test industrial systems
International Journal of Information System Modeling and Design - 2017
Informatique/Génie logiciel
2017
COMM
Sébastien Salva, Loukmen Regainia
Using data integration to help design more secure applications
12th International Conference on Risks and Security of Internet and Systems (CRISIS'17) - 2017
Informatique/Génie logiciel
2017
COMM
Loukmen Regainia, Cédric Bouhours, Sébastien Salva
Un Data-Store pour la Génération de Cas de Tests
16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels - 2017
Informatique/Génie logiciel
2017
COMM
Loukmen Regainia, Cédric Bouhours, Sébastien Salva
Un Data-Store pour la Génération de Cas de Tests
16th AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, journées du GDR GPL - 2017
Informatique/Génie logiciel
2017
COMM
Loukmen Regainia, Sébastien Salva
A methodology of security pattern classification and of Attack-Defense Tree generation
3nd International Conference on Information Systems Security and Privacy {(ICISSP} 2017 - 2017
Informatique/Génie logiciel
2016
ART
Loukmen Raigainia, Sébastien Salva, Cédric Bouhours
Une démarche pour l’assistance à l’utilisation des patrons de sécurité
Techniques et sciences informatiques - 2016
Informatique/Génie logiciel
2016
ART
Loukmen Regainia, Sébastien Salva, Cé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 - 2016
Informatique/Génie logiciel
2016
COMM
Loukmen Regainia, Sébastien Salva, Cédric Bouhours
A classification methodology for security patterns to help fix software weaknesses
13th ACS/IEEE International Conference on Computer Systems and Applications AICCSA 2016 - 2016
Informatique/Génie logiciel
2016
COMM
Loukmen Regainia, Sébastien Salva, Cedric Bouhours
A classification methodology for security patterns to help fix software weaknesses
2016 IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA) - 2016
Informatique/Génie logiciel
2016
COMM
Loukmen Regainia, Cédric Bouhours, Sébastien Salva
A systematic approach to assist designers in security pattern integration
The Second International Conference on Advances and Trends in Software Engineering (SOFTENG 2016) - 2016
2016
COMM
Loukmen Regainia, Cédric Bouhours, Sébastien Salva
A Systematic Approach to Assist Designers in Security Pattern Integration
The Second International Conference on Advances and Trends in Software Engineering (SOFTENG 2016) - 2016
Informatique/Cryptographie et sécurité
2016
COUV
Sébastien Salva, Patrice Laurencot, Stassia Zafimiharisoa
Model inference of Mobile Applications with dynamic state abstraction
Informatique/Génie logiciel
2015
COMM
William Durand, Sébastien Salva
Passive testing of production systems based on model inference
ACM/IEEE International Conference on Formal Methods and Models for Codesign - 2015
Informatique/Génie logiciel
2015
COMM
Loukmen Regainia, Cédric Bouhours, Sébastien Salva
Une démarche pour l'assistance à l'utilisation des patrons de sécurité WebMov (ANR)
4ème Conférence en IngénieriE du Logiciel (CIEL) - 2015
Informatique/Génie logiciel
2015
ART
Sébastien Salva, Patrice Laurencot
Model Inference and Automatic Testing of Mobile Applications
International Journal On Advances in Software - 2015
Informatique/Génie logiciel
2015
COMM
Loukmen Regainia, Cédric Bouhours, Sébastien Salva
Une démarche pour l?assistance à l'utilisation des patrons de sécurité
4ème Conférence en IngénieriE du Logiciel (CIEL) - 2015
Informatique/Génie logiciel
2015
COMM
William Durand, Sébastien Salva
Autofunk: an inference-based formal model generation framework for production systems
20th International Symposium on Formal Methods, FME 2015 - 2015
Informatique/Génie logiciel
2015
ART
Sébastien Salva, Patrice Laurencot
Model Inference and Automatic Testing of Mobile Applications *
International Journal of Computer Aided Engineering and Technology - 2015
Informatique/Génie logiciel
2015
COMM
Sébastien Salva, William Durand
Autofunk, a fast and scalable framework for building formal models from production systems
9th ACM International Conference on Distributed Event-Based Systems, DEBS - 2015
Informatique/Génie logiciel
2014
COMM
William Durand, Sébastien Salva
Inferring models with rule-based expert systems.
Fifth Symposium on Information and Communication Technology, SoICT '14 - 2014
Informatique/Génie logiciel
2014
COMM
Sébastien Salva, Stassia Zafimiharisoa
Model reverse-engineering of Mobile applications with exploration strategies.
Ninth International Conference on Software Engineering Advances, ICSEA 2014 - 2014
Informatique/Génie logiciel
2014
COMM
Sébastien Salva, William Durand
Domain-Driven Model Inference Applied To Web Applications
2014 International Conference on Software Engineering Research and Practice (SERP14) - 2014
Informatique/Génie logiciel
2014
COMM
William Durand, Sé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) - 2014
Informatique/Génie logiciel
2014
ART
Sébastien Salva, Stassia R. Zamiharisoa
APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities.
Software Tools for Technology Transfer manuscript - 2014
Informatique/Modélisation et simulation
2014
ART
Sébastien Salva, Tien-Dung Cao
Proxy-Monitor: An integration of runtime verification with passive conformance testing.
International Journal of Software Innovation - 2014
Informatique/Génie logiciel
2012
ART
Sébastien Salva, Antoine Rollet
A pragmatic approach for testing stateless and stateful Web Service Robustness
Studia Informatica Universalis - 2012
2010
COMM
Sébastien Salva, Issam Rabhi
Stateful web service robustness
Fifth International Conference on Internet and Web Applications and Services - 2010
Informatique/Web
2010
COMM
Ana Rosa Cavalli, Tien-Dung Cao, Wissam Mallouli, Eliane Martins, Andrey Sadovykh, Sébastien Salva, Fatiha Zaidi
Webmov : a dedicated framework for the modelling and testing of web services composition
ICWS 2010 : 8th International Conference on Web Services - 2010
Informatique/Web
2009
COMM
Sébastien Salva, Antoine Rollet
Test purpose generation for timed protocol testing
2nd International Conference on Communication Theory, Reliability, and Quality of Service (CTRQ 2009), July 20-25, 2009 - Colmar, France - 2009
Informatique/Réseaux et télécommunications
2009
COMM
Antoine Rollet, Sébastien Salva
Testing robustness of communicating systems using ioco-based approach
1st IEEE Workshop on Performance evaluation of communications in distributed systems and Web based service architectures, in conjunction with IEEE ISCC 2009, July 5 - 8, 2009, Sousse, Tunisia - 2009
Informatique/Réseaux et télécommunications
2009
COMM
Sébastien Salva, Issam Rabhi
Automatic web service robustness testing from WSDL descriptions
12th European Workshop on Dependable Computing, EWDC 2009 - 2009
Informatique/Génie logiciel
2008
COMM
Sébastien Salva, Antoine Rollet
Automatic web service testing from WSDL descriptions
8th IEEE International Conference on Innovative Internet Community Systems (I2CS'08) - 2008
Informatique/Réseaux et télécommunications
2008
ART
Sébastien Salva, Antoine Rollet
Testabilité des services web
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information - 2008
Informatique/Réseaux et télécommunications
2008
COMM
Antoine Rollet, Sébastien Salva
Two complementary approaches to test robustness of reactive systems
IEEE international conference on Automation, Quality and Testing, Robotics, 2008. AQTR 2008. - 2008
Informatique/Réseaux et télécommunications
2006
ART
Sébastien Salva
GENERATION OF TESTS FOR REAL-TIME SUSTEMS WITH TEST PURPOSES
INTERNATIONAL JOURNAL FORMA METHODS IN SYSTEM DESIGH - 2006
Informatique/Réseaux et télécommunications
2004
ART
P. Laurencot, Sébastien Salva
TESTING MOBILE AND DISTRIBUTED SYSTEMS : METHOD AND EXPERIMENTATION
OPODIS 2004 LNCS 3544 - 2004
Informatique/Réseaux et télécommunications
2004
ART
H. Fouchal, Sébastien Salva
TESTABILITY ANALYSIS FOR TIMED SYSTEMS
INTERN JOURNAL IJCTA - 2004
Informatique/Réseaux et télécommunications
2002
COMM
Sébastien Salva, Antoine Rollet, H. Fouchal
Temporal and Behavior Characterization of States in Timed Systems
Annnual International Conference on Computer and Information Science, ICIS'02 - 2002
Informatique/Réseaux et télécommunications
2001
ART
S. Bloch, H. Fouchal, E. Petitjean, Sébastien Salva
SOME ISSUES ON TESTING REAL TIME SYSTEMS
INTERNA JOURNAL IN COMPUTER INFORMATION SCIENCES - 2001
Informatique/Réseaux et télécommunications