Sébastien Salva

58 papers A 2B 7C 18Journal 17Unranked 14

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