Sébastien Salva
According to our database1,
Sébastien Salva
authored at least 54 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024
2023
A Novel Metric for Measuring Data Quality in Classification Applications (extended version).
CoRR, 2023
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
Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2022, 2022
Proceedings of the 17th International Conference on Software Technologies, 2022
2021
Proceedings of the 13th International Joint Conference on Knowledge Discovery, 2021
2020
An Advanced Approach for Choosing Security Patterns and Checking their Implementation.
CoRR, 2020
Proceedings of the Testing Software and Systems, 2020
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
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
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
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
Proceedings of the Testing Software and Systems, 2017
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
Proceedings of the Risks and Security of Internet and Systems, 2017
2016
Tech. Sci. Informatiques, 2016
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
Proceedings of the Software Engineering, 2015
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
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
Proceedings of the 2013 Information Security for South Africa, 2013
2012
Stud. Inform. Univ., 2012
Stud. Inform. Univ., 2012
2011
An Approach for Testing Web Service Compositions When Internal Messages are Unobservable.
Int. J. Electron. Bus. Manag., 2011
Proceedings of the 11th International Conference on Innovative Internet Community Services (I<sup>2</sup>CS 2011), 2011
2010
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
Proceedings of the Third International Conference on Software Testing, 2010
Proceedings of the Fifth International Conference on Software Engineering Advances, 2010
2009
Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009
Proceedings of the Fourth International Conference on Internet and Web Applications and Services, 2009
2008
2007
Proceedings of the A Practical Programming Model for the Multi-Core Era, 2007
2004
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
Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001
2000
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