Sébastien Salva

According to our database1, Sébastien Salva authored at least 54 papers between 2000 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Novel Metric for Measuring Data Quality in Classification Applications.
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

Security Testing of RESTful APIs with Test Case Mutation.
Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024

2023
A Novel Metric for Measuring Data Quality in Classification Applications (extended version).
CoRR, 2023

Automated Test Case Generation for Service Composition from Event Logs.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, 2023

2022
Learning of behavioural models and dependency graphs for communicating systems with CkTailv2.
Int. J. Softw. Tools Technol. Transf., 2022

On Studying the Effect of Data Quality on Classification Performances.
Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2022, 2022

Test Case Backward Generation for Communicating Systems from Event Logs.
Proceedings of the 17th International Conference on Software Technologies, 2022

2021
Conversation Extraction from Event Logs.
Proceedings of the 13th International Joint Conference on Knowledge Discovery, 2021

2020
Model generation of component-based systems.
Softw. Qual. J., 2020

An Advanced Approach for Choosing Security Patterns and Checking their Implementation.
CoRR, 2020

Using Model Learning for the Generation of Mock Components.
Proceedings of the Testing Software and Systems, 2020

MLCA: A Model-Learning-Checking Approach for IoT Systems.
Proceedings of the Software Technologies - 15th International Conference, 2020

Verifying the Application of Security Measures in IoT Software Systems with Model Learning.
Proceedings of the 15th International Conference on Software Technologies, 2020

CkTail: Model Learning of Communicating Systems.
Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, 2020

2019
An approach for guiding developers in the choice of security solutions and in the generation of concrete test cases.
Softw. Qual. J., 2019

A catalogue associating security patterns and attack steps to design secure applications.
J. Comput. Secur., 2019

Reverse Engineering Behavioural Models of IoT Devices.
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

2018
Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems.
Proceedings of the Testing Software and Systems, 2018

COnfECt: An Approach to Learn Models of Component-based Systems.
Proceedings of the 13th International Conference on Software Technologies, 2018

2017
Combining Model Inference and Passive Testing in the Same Framework to Test Industrial Systems.
Int. J. Inf. Syst. Model. Des., 2017

Using Data Integration for Security Testing.
Proceedings of the Testing Software and Systems, 2017

A Security Pattern Classification Based on Data Integration.
Proceedings of the Information Systems Security and Privacy, 2017

A Methodology of Security Pattern Classification and of Attack-Defense Tree Generation.
Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

Using Data Integration to Help Design More Secure Applications.
Proceedings of the Risks and Security of Internet and Systems, 2017

2016
Une démarche pour l'assistance à l'utilisation des patrons de sécurité.
Tech. Sci. Informatiques, 2016

A classification methodology for security patterns to help fix software weaknesses.
Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

2015
APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities.
Int. J. Softw. Tools Technol. Transf., 2015

Conformance testing with ioco proxy-testers: application to web service compositions deployed in clouds.
Int. J. Comput. Aided Eng. Technol., 2015

Model Inference of Mobile Applications with Dynamic State Abstraction.
Proceedings of the Software Engineering, 2015

Passive testing of production systems based on model inference.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems.
Proceedings of the FM 2015: Formal Methods, 2015

Autofunk, a fast and scalable framework for building formal models from production systems.
Proceedings of the 9th ACM International Conference on Distributed Event-Based Systems, 2015

2014
Proxy-Monitor: An Integration of Runtime Verification with Passive Conformance Testing.
Int. J. Softw. Innov., 2014

Inferring models with rule-based expert systems.
Proceedings of the Fifth Symposium on Information and Communication Technology, 2014

2013
A Model-Based Testing Approach Combining Passive Conformance Testing and Runtime Verification: Application to Web Service Compositions Deployed in Clouds.
Proceedings of the Software Engineering Research, 2013

Intent Security Testing - An Approach to Testing the Intent-based Vulnerability of Android Components.
Proceedings of the SECRYPT 2013, 2013

Data vulnerability detection by security testing for Android applications.
Proceedings of the 2013 Information Security for South Africa, 2013

2012
A pragmatic approach for testing stateless and stateful Web Service Robustness.
Stud. Inform. Univ., 2012

Modelling and testing of service compositions in partially open environments.
Stud. Inform. Univ., 2012

2011
An Approach for Testing Web Service Compositions When Internal Messages are Unobservable.
Int. J. Electron. Bus. Manag., 2011

Automatic Web Service Testing from WSDL Descriptions.
Proceedings of the 11th International Conference on Innovative Internet Community Services (I<sup>2</sup>CS 2011), 2011

2010
A BPEL Observability Enhancement Method.
Proceedings of the IEEE International Conference on Web Services, 2010

WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition.
Proceedings of the IEEE International Conference on Web Services, 2010

A Preliminary Study on BPEL Process Testability.
Proceedings of the Third International Conference on Software Testing, 2010

An Approach Dedicated for Web Service Security Testing.
Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

2009
Testing robustness of communicating systems using ioco-based approach.
Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009

Automatic Ajax Application Testing.
Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009

2008
Testabilité des services web.
Ingénierie des Systèmes d Inf., 2008

2007
Web Service Call Parallelization Using OpenMP.
Proceedings of the A Practical Programming Model for the Multi-Core Era, 2007

2004
Testing Mobile and Distributed Systems: Method and Experimentation.
Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004

2002
Testing temporal and behavior events on timed systems with timed test purposes.
Proceedings of the Procedings of the 6th International Conference on Principles of Distributed Systems. OPODIS 2002, 2002

2001
Some Parameters for Timed System Testability.
Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001

2000
Testing timed systems with timed purposes.
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

Metrics for Timed Systems Testing.
Proceedings of the Procedings of the 4th International Conference on Principles of Distributed Systems, 2000


  Loading...