Sébastien Salva

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 33

Top Topics

Production System

Data Integration

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Sébastien Salva, Jarod Sue
Security Testing of RESTful APIs With Test Case Mutation. CoRR (2024)
Roxane Jouseau, Sébastien Salva, Chafik Samir
A Novel Metric for Measuring Data Quality in Classification Applications. ICAART (3) (2024)
Sébastien Salva, Jarod Sue
Security Testing of RESTful APIs with Test Case Mutation. ENASE (2024)
Jouseau Roxane, Sébastien Salva, Samir Chafik
A Novel Metric for Measuring Data Quality in Classification Applications (extended version). CoRR (2023)
Sébastien Salva, Jarod Sue
Automated Test Case Generation for Service Composition from Event Logs. ASEW (2023)
Sébastien Salva, Elliott Blot
Learning of behavioural models and dependency graphs for communicating systems with CkTailv2. Int. J. Softw. Tools Technol. Transf. 24 (4) (2022)
Roxane Jouseau, Sébastien Salva, Chafik Samir
On Studying the Effect of Data Quality on Classification Performances. IDEAL (2022)
Sébastien Salva, Jarod Sue
Test Case Backward Generation for Communicating Systems from Event Logs. ICSOFT (2022)
Sébastien Salva, Laurent Provot, Jarod Sue
Conversation Extraction from Event Logs. KDIR (2021)
Sébastien Salva, Elliott Blot
Model generation of component-based systems. Softw. Qual. J. 28 (2) (2020)
Sébastien Salva, Elliott Blot
Using Model Learning for the Generation of Mock Components. ICTSS (2020)
Sébastien Salva, Loukmen Regainia
An Advanced Approach for Choosing Security Patterns and Checking their Implementation. CoRR (2020)
Sébastien Salva, Elliott Blot
CkTail: Model Learning of Communicating Systems. ENASE (2020)
Sébastien Salva, Elliott Blot
MLCA: A Model-Learning-Checking Approach for IoT Systems. ICSOFT (Selected Papers) (2020)
Sébastien Salva, Elliott Blot
Verifying the Application of Security Measures in IoT Software Systems with Model Learning. ICSOFT (2020)
Sébastien Salva, Elliott Blot
Reverse Engineering Behavioural Models of IoT Devices. SEKE (2019)
Sébastien Salva, Loukmen Regainia
An approach for guiding developers in the choice of security solutions and in the generation of concrete test cases. Softw. Qual. J. 27 (2) (2019)
Sébastien Salva, Loukmen Regainia
A catalogue associating security patterns and attack steps to design secure applications. J. Comput. Secur. 27 (1) (2019)
Sébastien Salva, Elliott Blot, Patrice Laurençot
Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems. ICTSS (2018)
Sébastien Salva, Elliott Blot
COnfECt: An Approach to Learn Models of Component-based Systems. ICSOFT (2018)
Sébastien Salva, William Durand
Combining Model Inference and Passive Testing in the Same Framework to Test Industrial Systems. Int. J. Inf. Syst. Model. Des. 8 (1) (2017)
Sébastien Salva, Loukmen Regainia
A Security Pattern Classification Based on Data Integration. ICISSP (Revised Selected Papers) (2017)
Loukmen Regainia, Sébastien Salva
A Methodology of Security Pattern Classification and of Attack-Defense Tree Generation. ICISSP (2017)
Sébastien Salva, Loukmen Regainia
Using Data Integration to Help Design More Secure Applications. CRiSIS (2017)
Sébastien Salva, Loukmen Regainia
Using Data Integration for Security Testing. ICTSS (2017)
Loukmen Regainia, Sébastien Salva, Cédric Bouhours
Une démarche pour l'assistance à l'utilisation des patrons de sécurité. Tech. Sci. Informatiques 35 (6) (2016)
Loukmen Regainia, Sébastien Salva, Cedric Ecuhcurs
A classification methodology for security patterns to help fix software weaknesses. AICCSA (2016)
William Durand, Sébastien Salva
Passive testing of production systems based on model inference. MEMOCODE (2015)
Sébastien Salva, Stassia R. Zafimiharisoa
APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities. Int. J. Softw. Tools Technol. Transf. 17 (2) (2015)
Sébastien Salva, Patrice Laurençot
Conformance testing with ioco proxy-testers: application to web service compositions deployed in clouds. Int. J. Comput. Aided Eng. Technol. 7 (3) (2015)
Sébastien Salva, Patrice Laurençot, Stassia R. Zafimiharisoa
Model Inference of Mobile Applications with Dynamic State Abstraction. SNPD (revised selected papers) (2015)
William Durand, Sébastien Salva
Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems. FM (2015)
Sébastien Salva, William Durand
Autofunk, a fast and scalable framework for building formal models from production systems. DEBS (2015)
William Durand, Sébastien Salva
Inferring models with rule-based expert systems. SoICT (2014)
Sébastien Salva, Tien-Dung Cao
Proxy-Monitor: An Integration of Runtime Verification with Passive Conformance Testing. Int. J. Softw. Innov. 2 (2) (2014)
Sébastien Salva, Stassia R. Zafimiharisoa, Patrice Laurençot
Intent Security Testing - An Approach to Testing the Intent-based Vulnerability of Android Components. SECRYPT (2013)
Sébastien Salva, Stassia R. Zafimiharisoa
Data vulnerability detection by security testing for Android applications. ISSA (2013)
Sébastien Salva, Tien-Dung Cao
A Model-Based Testing Approach Combining Passive Conformance Testing and Runtime Verification: Application to Web Service Compositions Deployed in Clouds. SERA (selected papers) (2013)
Sébastien Salva
Modelling and testing of service compositions in partially open environments. Stud. Inform. Univ. 10 (1) (2012)
Sébastien Salva, Antoine Rollet
A pragmatic approach for testing stateless and stateful Web Service Robustness. Stud. Inform. Univ. 10 (2) (2012)
Sébastien Salva, Antoine Rollet
Automatic Web Service Testing from WSDL Descriptions. IICS (2011)
Sébastien Salva
An Approach for Testing Web Service Compositions When Internal Messages are Unobservable. Int. J. Electron. Bus. Manag. 9 (4) (2011)
Sébastien Salva, Issam Rabhi
A BPEL Observability Enhancement Method. ICWS (2010)
Sébastien Salva, Patrice Laurençot, Issam Rabhi
An Approach Dedicated for Web Service Security Testing. ICSEA (2010)
Ana R. Cavalli, Tien-Dung Cao, Wissam Mallouli, Eliane Martins, Andrey Sadovykh, Sébastien Salva, Fatiha Zaïdi
WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. ICWS (2010)
Sébastien Salva, Issam Rabhi
A Preliminary Study on BPEL Process Testability. ICST Workshops (2010)
Antoine Rollet, Sébastien Salva
Testing robustness of communicating systems using ioco-based approach. ISCC (2009)
Sébastien Salva, Patrice Laurençot
Automatic Ajax Application Testing. ICIW (2009)
Sébastien Salva, Antoine Rollet
Testabilité des services web. Ingénierie des Systèmes d Inf. 13 (3) (2008)
Sébastien Salva, Clément Delamare, Cédric Bastoul
Web Service Call Parallelization Using OpenMP. IWOMP (2007)
Patrice Laurençot, Sébastien Salva
Testing Mobile and Distributed Systems: Method and Experimentation. OPODIS (2004)
Sébastien Salva
Testing temporal and behavior events on timed systems with timed test purposes. OPODIS (2002)
Sébastien Salva, Hacène Fouchal
Some Parameters for Timed System Testability. AICCSA (2001)
Sébastien Salva, Hacène Fouchal, S. Bloch
Metrics for Timed Systems Testing. OPODIS (2000)
Hacène Fouchal, Eric Petitjean, Sébastien Salva
Testing timed systems with timed purposes. RTCSA (2000)