Metrics for Timed Systems Testing. - Sébastien Salva; Hacène Fouchal; S. Bloch (OPODIS, 2000)

Testing timed systems with timed purposes. - Hacène Fouchal; Eric Petitjean; Sébastien Salva (RTCSA, 2000)

Some Parameters for Timed System Testability. - Sébastien Salva; Hacène Fouchal (AICCSA, 2001)

Testing temporal and behavior events on timed systems with timed test purposes. - Sébastien Salva (OPODIS, 2002)

Testing Mobile and Distributed Systems: Method and Experimentation. - Patrice Laurençot; Sébastien Salva (OPODIS, 2004)

Web Service Call Parallelization Using OpenMP. - Sébastien Salva; Clément Delamare; Cédric Bastoul (IWOMP, 2007)

Testabilité des services web. - Sébastien Salva; Antoine Rollet (Ingénierie des Systèmes d Inf., 2008)

Automatic Ajax Application Testing. - Sébastien Salva; Patrice Laurençot (ICIW, 2009)

Testing robustness of communicating systems using ioco-based approach. - Antoine Rollet; Sébastien Salva (ISCC, 2009)

An Approach Dedicated for Web Service Security Testing. - Sébastien Salva; Patrice Laurençot; Issam Rabhi (ICSEA, 2010)

A Preliminary Study on BPEL Process Testability. - Sébastien Salva; Issam Rabhi (ICST Workshops, 2010)

WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. - Ana R. Cavalli; Tien-Dung Cao; Wissam Mallouli; Eliane Martins; Andrey Sadovykh; Sébastien Salva; Fatiha Zaïdi (ICWS, 2010)

A BPEL Observability Enhancement Method. - Sébastien Salva; Issam Rabhi (ICWS, 2010)

Automatic Web Service Testing from WSDL Descriptions. - Sébastien Salva; Antoine Rollet (IICS, 2011)

An Approach for Testing Web Service Compositions When Internal Messages are Unobservable. - Sébastien Salva (Int. J. Electron. Bus. Manag., 2011)

Modelling and testing of service compositions in partially open environments. - Sébastien Salva (Stud. Inform. Univ., 2012)

A pragmatic approach for testing stateless and stateful Web Service Robustness. - Sébastien Salva; Antoine Rollet (Stud. Inform. Univ., 2012)

Data vulnerability detection by security testing for Android applications. - Sébastien Salva; Stassia R. Zafimiharisoa (ISSA, 2013)

Intent Security Testing - An Approach to Testing the Intent-based Vulnerability of Android Components. - Sébastien Salva; Stassia R. Zafimiharisoa; Patrice Laurençot (SECRYPT, 2013)

A Model-Based Testing Approach Combining Passive Conformance Testing and Runtime Verification: Application to Web Service Compositions Deployed in Clouds. - Sébastien Salva; Tien-Dung Cao (SERA (selected papers), 2013)

Inferring models with rule-based expert systems. - William Durand; Sébastien Salva (SoICT, 2014)

Proxy-Monitor: An Integration of Runtime Verification with Passive Conformance Testing. - Sébastien Salva; Tien-Dung Cao (Int. J. Softw. Innov., 2014)

Autofunk, a fast and scalable framework for building formal models from production systems. - Sébastien Salva; William Durand (DEBS, 2015)

Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems. - William Durand; Sébastien Salva (FM, 2015)

Passive testing of production systems based on model inference. - William Durand; Sébastien Salva (MEMOCODE, 2015)

Model Inference of Mobile Applications with Dynamic State Abstraction. - Sébastien Salva; Patrice Laurençot; Stassia R. Zafimiharisoa (SNPD (revised selected papers), 2015)

Conformance testing with ioco proxy-testers: application to web service compositions deployed in clouds. - Sébastien Salva; Patrice Laurençot (Int. J. Comput. Aided Eng. Technol., 2015)

APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities. - Sébastien Salva; Stassia R. Zafimiharisoa (Int. J. Softw. Tools Technol. Transf., 2015)

A classification methodology for security patterns to help fix software weaknesses. - Loukmen Regainia; Sébastien Salva; Cedric Ecuhcurs (AICCSA, 2016)

Une démarche pour l'assistance à l'utilisation des patrons de sécurité. - Loukmen Regainia; Sébastien Salva; Cédric Bouhours (Tech. Sci. Informatiques, 2016)

Using Data Integration to Help Design More Secure Applications. - Sébastien Salva; Loukmen Regainia (CRiSIS, 2017)

A Methodology of Security Pattern Classification and of Attack-Defense Tree Generation. - Loukmen Regainia; Sébastien Salva (ICISSP, 2017)

A Security Pattern Classification Based on Data Integration. - Sébastien Salva; Loukmen Regainia (ICISSP (Revised Selected Papers), 2017)

Using Data Integration for Security Testing. - Sébastien Salva; Loukmen Regainia (ICTSS, 2017)

Combining Model Inference and Passive Testing in the Same Framework to Test Industrial Systems. - Sébastien Salva; William Durand (Int. J. Inf. Syst. Model. Des., 2017)

COnfECt: An Approach to Learn Models of Component-based Systems. - Sébastien Salva; Elliott Blot (ICSOFT, 2018)

Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems. - Sébastien Salva; Elliott Blot; Patrice Laurençot (ICTSS, 2018)

Reverse Engineering Behavioural Models of IoT Devices. - Sébastien Salva; Elliott Blot (SEKE, 2019)

A catalogue associating security patterns and attack steps to design secure applications. - Sébastien Salva; Loukmen Regainia (J. Comput. Secur., 2019)

An approach for guiding developers in the choice of security solutions and in the generation of concrete test cases. - Sébastien Salva; Loukmen Regainia (Softw. Qual. J., 2019)

CkTail: Model Learning of Communicating Systems. - Sébastien Salva; Elliott Blot (ENASE, 2020)

Verifying the Application of Security Measures in IoT Software Systems with Model Learning. - Sébastien Salva; Elliott Blot (ICSOFT, 2020)

MLCA: A Model-Learning-Checking Approach for IoT Systems. - Sébastien Salva; Elliott Blot (ICSOFT (Selected Papers), 2020)

Using Model Learning for the Generation of Mock Components. - Sébastien Salva; Elliott Blot (ICTSS, 2020)

An Advanced Approach for Choosing Security Patterns and Checking their Implementation. - Sébastien Salva; Loukmen Regainia (CoRR, 2020)

Model generation of component-based systems. - Sébastien Salva; Elliott Blot (Softw. Qual. J., 2020)

Conversation Extraction from Event Logs. - Sébastien Salva; Laurent Provot; Jarod Sue (KDIR, 2021)

Test Case Backward Generation for Communicating Systems from Event Logs. - Sébastien Salva; Jarod Sue (ICSOFT, 2022)

On Studying the Effect of Data Quality on Classification Performances. - Roxane Jouseau; Sébastien Salva; Chafik Samir (IDEAL, 2022)

Learning of behavioural models and dependency graphs for communicating systems with CkTailv2. - Sébastien Salva; Elliott Blot (Int. J. Softw. Tools Technol. Transf., 2022)

Automated Test Case Generation for Service Composition from Event Logs. - Sébastien Salva; Jarod Sue (ASEW, 2023)

A Novel Metric for Measuring Data Quality in Classification Applications (extended version). - Roxane Jouseau; Sébastien Salva; Chafik Samir (CoRR, 2023)

Security Testing of RESTful APIs with Test Case Mutation. - Sébastien Salva; Jarod Sue (ENASE, 2024)

A Novel Metric for Measuring Data Quality in Classification Applications. - Roxane Jouseau; Sébastien Salva; Chafik Samir (ICAART (3), 2024)

A New Metric for Measuring the Intrinsic Quality in Data Collected for Quantitative Classification. - Roxane Jouseau; Sébastien Salva; Chafik Samir (ICAART (Revised Selected Paper, 1), 2024)

Dynamic Mitigation of RESTful Service Failures Using LLMs. - Sébastien Salva; Jarod Sue (ICSOFT, 2025)