| 2026 | ENASE | On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language. | Sbastien Salva, Redha Taguelmimt |
| 2025 | ICSoft | Dynamic Mitigation of RESTful Service Failures Using LLMs. | Sbastien Salva, Jarod Sue |
| 2024 | ENASE | Security Testing of RESTful APIs with Test Case Mutation. | Sbastien Salva, Jarod Sue |
| 2024 | ICAART | A Novel Metric for Measuring Data Quality in Classification Applications. | Roxane Jouseau, Sbastien Salva, Chafik Samir |
| 2024 | ICAART | A New Metric for Measuring the Intrinsic Quality in Data Collected for Quantitative Classification. | Roxane Jouseau, Sbastien Salva, Chafik Samir |
| 2022 | ICSoft | Test Case Backward Generation for Communicating Systems from Event Logs. | Sbastien Salva, Jarod Sue |
| 2022 | IDEAL | On Studying the Effect of Data Quality on Classification Performances. | Roxane Jouseau, Sbastien Salva, Chafik Samir |
| 2021 | IC3K | Conversation Extraction from Event Logs. | Sbastien Salva, Laurent Provot, Jarod Sue |
| 2020 | ENASE | CkTail: Model Learning of Communicating Systems. | Sbastien Salva, Elliott Blot |
| 2020 | ICSoft | Verifying the Application of Security Measures in IoT Software Systems with Model Learning. | Sbastien Salva, Elliott Blot |
| 2020 | ICSoft | MLCA: A Model-Learning-Checking Approach for IoT Systems. | Sbastien Salva, Elliott Blot |
| 2019 | SEKE | Reverse Engineering Behavioural Models of IoT Devices. | Sbastien Salva, Elliott Blot |
| 2018 | ICSoft | COnfECt: An Approach to Learn Models of Component-based Systems. | Sbastien Salva, Elliott Blot |
| 2017 | CRiSIS | Using Data Integration to Help Design More Secure Applications. | Sbastien Salva, Loukmen Regainia |
| 2017 | ICISSP | A Methodology of Security Pattern Classification and of Attack-Defense Tree Generation. | Loukmen Regainia, Sbastien Salva |
| 2017 | ICISSP | A Security Pattern Classification Based on Data Integration. | Sbastien Salva, Loukmen Regainia |
| 2016 | AICCSA | A classification methodology for security patterns to help fix software weaknesses. | Loukmen Regainia, Sbastien Salva, Cedric Ecuhcurs |
| 2015 | FM | Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems. | William Durand, Sbastien Salva |
| 2015 | MEMOCODE | Passive testing of production systems based on model inference. | William Durand, Sbastien Salva |
| 2015 | SNPD | Model Inference of Mobile Applications with Dynamic State Abstraction. | Sbastien Salva, Patrice Laurenot, Stassia R. Zafimiharisoa |
| 2013 | SECRYPT | Intent Security Testing - An Approach to Testing the Intent-based Vulnerability of Android Components. | Sbastien Salva, Stassia R. Zafimiharisoa, Patrice Laurenot |
| 2013 | SERA | A Model-Based Testing Approach Combining Passive Conformance Testing and Runtime Verification: Application to Web Service Compositions Deployed in Clouds. | Sbastien Salva, Tien-Dung Cao |
| 2010 | ICSEA | An Approach Dedicated for Web Service Security Testing. | Sbastien Salva, Patrice Laurenot, Issam Rabhi |
| 2010 | ICST | A Preliminary Study on BPEL Process Testability. | Sbastien Salva, Issam Rabhi |
| 2010 | ICWS | 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, Sbastien Salva, Fatiha Zadi |
| 2010 | ICWS | A BPEL Observability Enhancement Method. | Sbastien Salva, Issam Rabhi |
| 2009 | ICIW | Automatic Ajax Application Testing. | Sbastien Salva, Patrice Laurenot |
| 2009 | ISCC | Testing robustness of communicating systems using ioco-based approach. | Antoine Rollet, Sbastien Salva |
| 2004 | OPODIS | Testing Mobile and Distributed Systems: Method and Experimentation. | Patrice Laurenot, Sbastien Salva |
| 2002 | OPODIS | Testing temporal and behavior events on timed systems with timed test purposes. | Sbastien Salva |
| 2001 | AICCSA | Some Parameters for Timed System Testability. | Sbastien Salva, Hacne Fouchal |
| 2000 | OPODIS | Metrics for Timed Systems Testing. | Sbastien Salva, Hacne Fouchal, S. Bloch |
| 2000 | RTCSA | Testing timed systems with timed purposes. | Hacne Fouchal, Eric Petitjean, Sbastien Salva |