SALVA - Sébastien
Toutes les publications (19)
| Date/Type | Titre/URL/journal | Domaines | Notes SJR/Core | Cit. GScholar |
|---|---|---|---|---|
| 2026
ART |
Sébastien Salva
Reliable execution of natural language test cases for GUI applications using LLM agents Software Quality Journal - 2026 |
Informatique/Intelligence artificielle | ||
| 2026
COMM |
Sébastien Salva, Redha Taguelmimt
On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language * 21st International Conference on Evaluation of Novel Approaches to Software Engineering - 2026 |
Informatique/Intelligence artificielle | ||
| 2025
PROCEEDINGS |
Sébastien Salva, Jarod Sue
Security Testing of RESTful APIs with Test Case Mutation |
Informatique/Web | ||
| 2025
ART |
Roxane Jouseau, Sébastien Salva, C. Samir
A New Metric for Measuring the Intrinsic Quality in Data Collected for Quantitative Classification Lecture Notes in Artificial Intelligence - 2025 |
|||
| 2025
PROCEEDINGS |
Sébastien Salva, Jarod Sue
Dynamic Mitigation of RESTful Service Failures Using LLMs |
Informatique/Intelligence artificielle | ||
| 2024
COMM |
Jarod Sue, Sébastien Salva
Sécurisation de services via des techniques de healing et d'encapsulations AFADL 2024: Journées Approches Formelles dans l'Assistance au Développement de Logiciels - 2024 |
Informatique/Intelligence artificielle | ||
| 2024
COMM |
Jouseau Roxane, Sébastien Salva, C. Samir
A Novel Metric for Measuring Data Quality in Classification Applications 16th International Conference on Agents and Artificial Intelligence - 2024 |
Informatique/Intelligence artificielle | ||
| 2023
COMM |
Sébastien Salva, Jarod Sue
Automated Test Case Generation for Service Composition from Event Logs 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) - 2023 |
Informatique/Génie logiciel | ||
| 2022
COMM |
Roxane Jouseau, Sébastien Salva, Chafik Samir
On Studying the Effect of Data Quality on Classification Performances Intelligent Data Engineering and Automated Learning - {IDEAL} 2022 - 2022 |
Informatique/Intelligence artificielle | ||
| 2022
COMM |
Roxane Jouseau, Chafik Samir, Sébastien Salva
Data quality in the context of classification tasks 38èmes journées de la conférence BDA « Gestion de Données – Principes, Technologies et Applications - 2022 |
Informatique/Apprentissage | ||
| 2022
COMM |
Sébastien Salva, Jarod Sue
Test Case Backward Generation for Communicating Systems from Event Logs 17th International Conference on Software Technologies - 2022 |
Informatique/Génie logiciel | ||
| 2021
COMM |
Sébastien Salva, Laurent Provot, Jarod Sue
Conversation Extraction from Event Logs 13th International Conference on Knowledge Discovery and Information Retrieval - 2021 |
Informatique/Recherche d'information | ||
| 2021
COMM |
Sébastien Salva
Reverse Engineering Models of Concurrent Communicating Systems From Event Logs Sixteenth International Conference on Software Engineering Advances ICSEA 2021 - 2021 |
Informatique/Génie logiciel | ||
| 2021
PROCEEDINGS |
Sébastien Salva, Elliott Blot
MLCA: A Model-Learning-Checking Approach for IoT Systems |
Informatique/Génie logiciel | ||
| 2020
COMM |
Sébastien Salva, Elliott Blot
Using Model Learning for the Generation of Mock Components ICTSS 2020 - 2020 |
Informatique/Génie logiciel | ||
| 2020
COMM |
Sébastien Salva, Elliot Blot
Verifying the Application of Security Measures in IoT Software Systems with Model Learning 15th International Conference on Software Technologies - 2020 |
Informatique/Génie logiciel | ||
| 2020
COMM |
Sébastien Salva, Elliott Blot
CkTail: Model Learning of Communicating Systems 15th International Conference on Evaluation of Novel Approaches to Software Engineering - 2020 |
Informatique/Génie logiciel | ||
| 2020
ART |
Sébastien Salva, Elliott Blot
Model generation of component-based systems Software Quality Journal - 2020 |
Informatique/Ingénierie assistée par ordinateur | ||
| 2020
COMM |
Blot Elliott, Sébastien Salva
Vérification de Recommandations sur les Objets Connectés 19èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2020 - 2020 |
Informatique/Génie logiciel |