![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Sébastien Salva
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c39]Sébastien Salva, Jarod Sue:
Security Testing of RESTful APIs with Test Case Mutation. ENASE 2024: 582-589 - [c38]Roxane Jouseau, Sébastien Salva, Chafik Samir:
A Novel Metric for Measuring Data Quality in Classification Applications. ICAART (3) 2024: 141-148 - [i3]Sébastien Salva, Jarod Sue:
Security Testing of RESTful APIs With Test Case Mutation. CoRR abs/2403.03701 (2024) - 2023
- [c37]Sébastien Salva, Jarod Sue:
Automated Test Case Generation for Service Composition from Event Logs. ASEW 2023: 127-134 - [i2]Roxane Jouseau, Sébastien Salva, Chafik Samir:
A Novel Metric for Measuring Data Quality in Classification Applications (extended version). CoRR abs/2312.08066 (2023) - 2022
- [j13]Sébastien Salva, Elliott Blot:
Learning of behavioural models and dependency graphs for communicating systems with CkTailv2. Int. J. Softw. Tools Technol. Transf. 24(4): 529-548 (2022) - [c36]Sébastien Salva, Jarod Sue:
Test Case Backward Generation for Communicating Systems from Event Logs. ICSOFT 2022: 213-220 - [c35]Roxane Jouseau, Sébastien Salva, Chafik Samir:
On Studying the Effect of Data Quality on Classification Performances. IDEAL 2022: 82-93 - 2021
- [c34]Sébastien Salva, Laurent Provot, Jarod Sue:
Conversation Extraction from Event Logs. KDIR 2021: 155-163 - 2020
- [j12]Sébastien Salva, Elliott Blot:
Model generation of component-based systems. Softw. Qual. J. 28(2): 789-819 (2020) - [c33]Sébastien Salva, Elliott Blot:
CkTail: Model Learning of Communicating Systems. ENASE 2020: 27-38 - [c32]Sébastien Salva, Elliott Blot:
MLCA: A Model-Learning-Checking Approach for IoT Systems. ICSOFT (Selected Papers) 2020: 70-97 - [c31]Sébastien Salva, Elliott Blot:
Verifying the Application of Security Measures in IoT Software Systems with Model Learning. ICSOFT 2020: 350-360 - [c30]Sébastien Salva, Elliott Blot:
Using Model Learning for the Generation of Mock Components. ICTSS 2020: 3-19 - [i1]Sébastien Salva, Loukmen Regainia:
An Advanced Approach for Choosing Security Patterns and Checking their Implementation. CoRR abs/2007.03275 (2020)
2010 – 2019
- 2019
- [j11]Sébastien Salva, Loukmen Regainia:
A catalogue associating security patterns and attack steps to design secure applications. J. Comput. Secur. 27(1): 49-74 (2019) - [j10]Sébastien Salva, Loukmen Regainia:
An approach for guiding developers in the choice of security solutions and in the generation of concrete test cases. Softw. Qual. J. 27(2): 675-701 (2019) - [c29]Sébastien Salva, Elliott Blot:
Reverse Engineering Behavioural Models of IoT Devices. SEKE 2019: 227-300 - 2018
- [c28]Sébastien Salva, Elliott Blot:
COnfECt: An Approach to Learn Models of Component-based Systems. ICSOFT 2018: 298-305 - [c27]Sébastien Salva, Elliott Blot, Patrice Laurençot:
Combining Model Learning and Data Analysis to Generate Models of Component-Based Systems. ICTSS 2018: 142-148 - 2017
- [j9]Sébastien Salva, William Durand:
Combining Model Inference and Passive Testing in the Same Framework to Test Industrial Systems. Int. J. Inf. Syst. Model. Des. 8(1): 43-72 (2017) - [c26]Sébastien Salva, Loukmen Regainia:
Using Data Integration to Help Design More Secure Applications. CRiSIS 2017: 83-98 - [c25]Sébastien Salva, Loukmen Regainia:
A Security Pattern Classification Based on Data Integration. ICISSP (Revised Selected Papers) 2017: 105-129 - [c24]Loukmen Regainia, Sébastien Salva:
A Methodology of Security Pattern Classification and of Attack-Defense Tree Generation. ICISSP 2017: 136-146 - [c23]Sébastien Salva, Loukmen Regainia:
Using Data Integration for Security Testing. ICTSS 2017: 178-194 - 2016
- [j8]Loukmen Regainia, Sébastien Salva, Cédric Bouhours:
Une démarche pour l'assistance à l'utilisation des patrons de sécurité. Tech. Sci. Informatiques 35(6): 641-663 (2016) - [c22]Loukmen Regainia, Sébastien Salva, Cedric Ecuhcurs:
A classification methodology for security patterns to help fix software weaknesses. AICCSA 2016: 1-8 - 2015
- [j7]Sébastien Salva, Patrice Laurençot:
Conformance testing with ioco proxy-testers: application to web service compositions deployed in clouds. Int. J. Comput. Aided Eng. Technol. 7(3): 321-347 (2015) - [j6]Sébastien Salva, Stassia R. Zafimiharisoa:
APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities. Int. J. Softw. Tools Technol. Transf. 17(2): 201-221 (2015) - [c21]Sébastien Salva, William Durand:
Autofunk, a fast and scalable framework for building formal models from production systems. DEBS 2015: 193-204 - [c20]William Durand, Sébastien Salva:
Autofunk: An Inference-Based Formal Model Generation Framework for Production Systems. FM 2015: 577-580 - [c19]William Durand, Sébastien Salva:
Passive testing of production systems based on model inference. MEMOCODE 2015: 138-147 - [c18]Sébastien Salva, Patrice Laurençot, Stassia R. Zafimiharisoa:
Model Inference of Mobile Applications with Dynamic State Abstraction. SNPD (revised selected papers) 2015: 177-193 - 2014
- [j5]Sébastien Salva, Tien-Dung Cao:
Proxy-Monitor: An Integration of Runtime Verification with Passive Conformance Testing. Int. J. Softw. Innov. 2(2): 20-42 (2014) - [c17]William Durand, Sébastien Salva:
Inferring models with rule-based expert systems. SoICT 2014: 92-101 - 2013
- [c16]Sébastien Salva, Stassia R. Zafimiharisoa:
Data vulnerability detection by security testing for Android applications. ISSA 2013: 1-8 - [c15]Sébastien Salva, Stassia R. Zafimiharisoa, Patrice Laurençot:
Intent Security Testing - An Approach to Testing the Intent-based Vulnerability of Android Components. SECRYPT 2013: 355-362 - [c14]Sébastien Salva, Tien-Dung Cao
:
A Model-Based Testing Approach Combining Passive Conformance Testing and Runtime Verification: Application to Web Service Compositions Deployed in Clouds. SERA (selected papers) 2013: 99-116 - 2012
- [j4]Sébastien Salva:
Modelling and testing of service compositions in partially open environments. Stud. Inform. Univ. 10(1): 155-185 (2012) - [j3]Sébastien Salva, Antoine Rollet:
A pragmatic approach for testing stateless and stateful Web Service Robustness. Stud. Inform. Univ. 10(2): 139-179 (2012) - 2011
- [j2]Sébastien Salva:
An Approach for Testing Web Service Compositions When Internal Messages are Unobservable. Int. J. Electron. Bus. Manag. 9(4): 334-345 (2011) - [c13]Sébastien Salva, Antoine Rollet:
Automatic Web Service Testing from WSDL Descriptions. IICS 2011: 217-226 - 2010
- [c12]Sébastien Salva, Patrice Laurençot, Issam Rabhi:
An Approach Dedicated for Web Service Security Testing. ICSEA 2010: 494-500 - [c11]Sébastien Salva, Issam Rabhi:
A Preliminary Study on BPEL Process Testability. ICST Workshops 2010: 62-71 - [c10]Ana R. Cavalli, Tien-Dung Cao, Wissam Mallouli, Eliane Martins, Andrey Sadovykh
, Sébastien Salva, Fatiha Zaïdi:
WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. ICWS 2010: 377-384 - [c9]Sébastien Salva, Issam Rabhi:
A BPEL Observability Enhancement Method. ICWS 2010: 638-639
2000 – 2009
- 2009
- [c8]Sébastien Salva, Patrice Laurençot:
Automatic Ajax Application Testing. ICIW 2009: 229-234 - [c7]Antoine Rollet, Sébastien Salva:
Testing robustness of communicating systems using ioco-based approach. ISCC 2009: 67-72 - 2008
- [j1]Sébastien Salva, Antoine Rollet:
Testabilité des services web. Ingénierie des Systèmes d Inf. 13(3): 35-58 (2008) - 2007
- [c6]Sébastien Salva, Clément Delamare, Cédric Bastoul:
Web Service Call Parallelization Using OpenMP. IWOMP 2007: 185-194 - 2004
- [c5]Patrice Laurençot, Sébastien Salva:
Testing Mobile and Distributed Systems: Method and Experimentation. OPODIS 2004: 37-51 - 2002
- [c4]Sébastien Salva:
Testing temporal and behavior events on timed systems with timed test purposes. OPODIS 2002: 73-84 - 2001
- [c3]Sébastien Salva, Hacène Fouchal
:
Some Parameters for Timed System Testability. AICCSA 2001: 335- - 2000
- [c2]Sébastien Salva, Hacène Fouchal, S. Bloch:
Metrics for Timed Systems Testing. OPODIS 2000: 177-200 - [c1]Hacène Fouchal
, Eric Petitjean, Sébastien Salva:
Testing timed systems with timed purposes. RTCSA 2000: 166-171
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-04 21:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint