SALVA - Sébastien
Toutes les publications (67)
| 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/Génie logiciel | ||
| 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/Génie logiciel | ||
| 2026
COUV |
Sébastien Salva, Chafik Samir, Marie Depresle, A. Banana Hamadidi, Manon Roux, Antoine Goisnard, Xavier Bourrain, Emmanuelle Mounetou, Pierre Daumar, Mahchid Bamdad, Muriel Bonnet, Stéphanie Bornes
Étude de la qualité de l'eau sur la communauté de communes de Sumène- Artense, alliant les approches biomarqueurs, bioessais et l’intelligence artificielle |
Sciences de l'environnement | ||
| 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/Génie logiciel | ||
| 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/Génie logiciel | ||
| 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/Apprentissage | ||
| 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/Génie logiciel | ||
| 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/Cryptographie et sécurité | ||
| 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 |
Loukmen Regainia, Sébastien Salva
A catalogue associating security patterns and attack steps to design secure applications Journal of Computer Security - 2019 |
Informatique/Génie logiciel | ||
| 2019
ART |
Sébastien Salva, Loukmen Regainia
An Advanced Approach for Choosing Security Patterns and Checking their Implementation International Journal On Advances in 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/Ingénierie assistée par ordinateur | ||
| 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é 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 R 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 |
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 | ||
| 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 | ||
| 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 R 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/Web | ||
| 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/Informatique et langage | ||
| 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 |
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 | ||
| 2010
COMM |
Sébastien Salva, Issam Rabhi
Stateful web service robustness Fifth International Conference on Internet and Web Applications and 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 |
H. Fouchal, Sébastien Salva
TESTABILITY ANALYSIS FOR TIMED SYSTEMS INTERN JOURNAL IJCTA - 2004 |
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 | ||
| 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 |