Biography

Sebastien Salva is a (Full) Professor at the University of Auvergne, France, and a fellow of the LIMOS laboratory, team DSI. He received the HDR (Habilitation à diriger des recherches) in may 2012 from the University of Auvergne and the Ph.D. degree in computer science from the Reims University, France, in 2001. His research interests include Model inference, Model Based Testing applied to different kinds of systems (timed, distributed, service oriented, etc.) by means of various testing approaches (conformance testing, passive testing, robustness, security, etc.).

Interests
  • Software Engineering
  • Testing (passive, active)
  • Security testing
  • Model inference
  • Artificial Intelligence
  • Data Quality
Education

  • HDR (Habilitation à diriger des Recherches), 2012

    University of Auvergne (UDA)

  • PhD in Software Engineering, 2002

    University of Reims

  • MEng (DEA), 1999

    Versailles University

Experience

 
 
 
 
 
Computer Science Professor
University Clermont Auvergne
Jan 2014 – Present Aubière, France

Responsibilities include:

  • Deputy Director IUT CA
  • Co-responsible of the DSI team, LIMOS
  • Member of the SPI Doctoral School board
  • Member of the IUT CA
  • Responsible of the degree Licence Professionnelle MI Applications Web
 
 
 
 
 
Assistant Professor
University of Auvergne
Jan 2002 – Aug 2014 Aubière
 
 
 
 
 
ATER
University of Reims Champagne Ardennes
Jan 2001 – Aug 2002 Reims

Projects

*
All Testing IOT/Web services Security Data Quality
Emmergence projet SEQUAE (Sciences des données Environnement QUAlite Eau) 23-24
Prédiction sur la qualité de l’eau de la Dordogne sur la communauté de communes de Sumène-Artense, alliant les trois approches Biomarqueurs, Bioessais & sciences des données, Projet SEQUAE (Sciences des données Environnement QUAlite Eau)
ANR Severitas 21-25
Fellow of the ANR project, Limos partner
ConfianceNumérique 2020-2024
Fellow of the Industrial Chair on Digital Trustworthy. Responsible of the part related to Software Engineering Supervisor of the PHD Student Jarod Sue working on Analyzing of microservice-based systems; Anomaly and security issue detection Link
Cifre Thesis with the Agaetis Company 21-24
Study on Data Quality Management Supervisor of the PHD student Roxane Jouseau. Purposes: Study on Data Quality and its impact on models and results in ML. Association of ML and Software Engineering.
sébastien Salva
ANR project Webmov
Fellow of the ANR Webmov project : a dedicated framework for the modelling and testing of web services composition. Link Last Publication
CIFRE Thesis with the Michelin company 13-16
Model inference and testing of Legacy applications Supervisor of the PHD student William Durand. Purposes: Model learning of legacy apps used to control industrial systems, Regression testing, Test generation to check whether a new system is compliant with the older one
sébastien Salva
Project S3, DIS4 (regional project)
Project S3 DIS4 (2015-2018): User Study for software security and authentication. Supervisor of a PHD Student.
Confiance Numérique 14-17
Fellow of the Industrial Chair on Digital Trustworthy. Supervisor of the PHD Student Loukmen Regainia. Link
VASOC (Vers l'Audit de Sécurité de Objets Connectés / Security Audit of IOTs) 18-22
IOT System Audit
sébastien Salva, Lillian Bossuet

Past Talks

Using Model Learning for security analysis and simulation
Talk at Colloque Recherche IUT CA, jul. 2022
Jul 5, 2022 9:00 AM — Jul 6, 2022 6:00 PM
PDF
La révolution digitale : qu’en faire à Montluçon ?
Talk at Seminaire VERS UN PROJET DE TERRITOIRE 2022 La révolution digitale : qu’en faire à Montluçon ?, march. 2022
Mar 21, 2022 9:00 AM — Mar 21, 2021 6:30 PM Montluçon
PDF
Conference Icsea 2021
Talk at ICSEA 2021, oct. 2021
Jun 30, 2021 10:18 AM — 10:18 AM
PDF
Conference Ictss 2020
Talk at ICTSS 2020, dec.
Jun 30, 2020 10:18 AM — 10:18 AM
PDF
Conference Icsoft 2018
Talk at Icsoft18
Jun 30, 2018 10:13 AM — 10:13 AM
PDF
See all events

Recent Publications

Quickly discover relevant content by filtering publications.
Roxane Jouseau, Sébastien Salva and Chafik Samir (2022). Data quality in the context of classification tasks. BDA 22.

PDF Cite

Roxane Jouseau, Sébastien Salva and Chafik Samir (2022). On Studying the Effect of Data Quality on Classification Performance. IDEAL 22.

PDF Cite

Sébastien Salva and Jarod Sue (2022). Test Case Backward Generation for Communicating Systems from Event Logs. ICSOFT 2022.

PDF Cite Project

Sébastien Salva and Elliott Blot (2022). Learning of Behavioural Models and Dependency Graphs for Communicating Systems with CkTailv2. Software Tools for Technology Transfer Journal (STTT), 24(4), 529-548, Springer, 2022.

PDF Cite

sébastien Salva (2021). Reverse Engineering Models of Concurrent Communicating Systems From Event Logs. ICSEA 2021.

PDF Cite Project

See all publications

Popular Topics

Attack Defense Tree ; Security patterns ; Classification ; Security principles ; Attack Attack-Defense Trees ; CWE weaknesses ; Security patterns ; Classification ; Data integration ; CAPEC attacks Communicating systems; Test Case Generation; Test Case Mutation Conversation Extraction Correlation Data quality Event Log Index Terms-Model inference ; formal model ; IOSTS ; rule-based system IOSTS ; inférence de modèles ; test automatique IOT Jersey Micronaut Model generation ; Automatic testing ; exploration strategies ; STS ; Android applications Model inference ; Automatic testing ; Android applications Model inference ; automatic testing ; IOSTS ; expert system Model inference ; STS ; expert system ; production system ; event-driven system Model learning SE Security Testing

Contact