Publications

Roxane Jouseau, sébastien Salva, Chafik Samir (2024). Test Case Backward Generation for Communicating Systems from Event Logs. Proceedings of the 16th International Conference on International Conference on Agents and Artificial Intelligence, ICAART 2024, Rome, Italy, February 24-26, 2024.

Cite

sébastien Salva, Jarod Sue (2024). Security Testing of RESTful APIs With Test Case Mutation. Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024, Angers, France, April 28-29, 2024.

Cite

Sébastien Salva and Jarod Sue (2023). Automated Test Case Generation for Service Composition from Event Logs. A-Test 2023.

PDF Project

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

PDF Cite

Roxane Jouseau, Sébastien Salva and Chafik Samir (2022). Data quality in the context of classification tasks. BDA 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

sébastien Salva, Laurent Provost and Jarod Sue (2021). Conversation Extraction From Event logs. IC3K 2021.

PDF Cite Project

Sébastien Salva and Elliott Blot (2021). MLCA: a Model-Learning-Checking Approach for IoT Systems. CCIS Series 1447, Chapter 4, Springer.

PDF Cite Project DOI

Blot Elliott, sébastien Salva (2020). Verification de Recommandations sur les Objets Connectés.. AFADL20.

PDF Cite

sébastien Salva, Elliott Blot (2020). Verifying the Application of Security Measures in IoT Software Systems with Model Learning. Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020.

PDF Cite DOI

sébastien Salva, Elliott Blot (2020). Using Model Learning for the Generation of Mock Components. Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings.

PDF Cite Project DOI

sébastien Salva, Elliott Blot (2020). Model generation of component-based systems. Softw. Qual. J..

PDF Cite DOI

sébastien Salva, Elliott Blot (2020). CkTail: Model Learning of Communicating Systems. Proceedings of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, Prague, Czech Republic, May 5-6, 2020.

PDF Cite DOI

sébastien Salva, Loukmen Regainia (2019). An Advanced Approach for Choosing Security Patterns and Checking their Implementation. , International Journal On Advances in Security.

PDF Cite

sébastien Salva, Elliott Blot (2019). Reverse Engineering Behavioural Models of IoT Devices. 31st International Conference on Software Engineering & Knowledge Engineering (SEKE).

PDF Cite

sébastien Salva, Loukmen Regainia (2019). An Approach for Guiding Developers in the Choice of Security Solutions and in the Generation of Concrete Test Cases. Software Quality Journal.

PDF Cite

sébastien Salva, Loukmen Regainia (2019). A catalogue associating security patterns and attack steps to design secure applications. Journal of Computer Security.

PDF Cite DOI

sébastien Salva, Elliott Blot, Patrice Laurencot (2018). Combining Model Learning and Data Analysis to Generate Models of Component-based Systems. Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS.

PDF Cite

Loukmen Regainia, sébastien Salva (2018). A Practical Way of Testing Security Patterns. Thirteenth International Conference on Software Engineering Advances (ICSEA'18).

PDF Cite

sébastien Salva, Elliott Blot (2018). COnfECt: An Approach to Learn Models of Component-based Systems. Proceedings of the 13th International Conference on Software Technologies, ICSOFT.

PDF Cite

Elliott Blot, Patrice Laurencot, sébastien Salva (2018). COnfECt : Une Méthode Pour Inférer Les Modèles De Composants D'un Système. 17èmes journées AFADL : Approches Formelles dans l’Assistance au Développement de Logiciels.

PDF Cite

Elliott Blot, Patrice Laurencot, sébastien Salva (2018). COnfECt: Une Méthode Pour Inférer Les Modèles De Composants D'un Système.. Limos Research report RR-18-02.

PDF Cite

sébastien Salva, Loukmen Regainia (2018). A security pattern classification based on Data integration. Information Systems Security and Privacy.

PDF Cite DOI

sébastien Salva, William Durand (2017). Combining model generation and passive testing in the same framework to test industrial systems. International Journal of Information System Modeling and Design.

PDF Cite

sébastien Salva, Loukmen Regainia (2017). Using Data Integration for Security Testing. 29th IFIP International Conference on Testing Software and Systems (ICTSS).

PDF Cite DOI

sébastien Salva, Loukmen Regainia (2017). Using data integration to help design more secure applications. 12th International Conference on Risks and Security of Internet and Systems (CRISIS'17).

PDF Cite

Loukmen Regainia, Cédric Bouhours, sébastien Salva (2017). Un Data-Store pour la Génération de Cas de Tests. 16èmes journées AFADL Approches Formelles dans l’Assistance au Développement de Logiciels.

PDF Cite

Loukmen Regainia, sébastien Salva (2017). A methodology of security pattern classification and of Attack-Defense Tree generation. 3nd International Conference on Information Systems Security and Privacy (ICISSP 2017).

PDF Cite

Loukmen Regainia, sébastien Salva, Cédric Bouhours (2016). Une démarche pour l'assistance a l?utilisation des patrons de sécurité. Revue des Sciences et Technologies de l’Information - Série TSI : Technique et Science Informatiques.

PDF Cite

Loukmen Regainia, sébastien Salva, Cédric Bouhours (2016). A classification methodology for security patterns to help fix software weaknesses. 2016 IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA).

PDF Cite

sébastien Salva (2016). Tarot16. Speaker in the 12th TAROT Summer School 2016, Testing in the clouds.

PDF

Loukmen Regainia, Cédric Bouhours, sébastien Salva (2016). A Systematic Approach to Assist Designers in Security Pattern Integration. The Second International Conference on Advances and Trends in Software Engineering (SOFTENG 2016).

PDF Cite

sébastien Salva, Patrice Laurencot, Stassia R Zafimiharisoa (2016). Model inference of Mobile Applications with dynamic state abstraction. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015.

PDF Cite

William Durand, sébastien Salva (2015). Passive testing of production systems based on model inference. ACM/IEEE International Conference on Formal Methods and Models for Codesign.

PDF Cite

sébastien Salva, William Durand (2015). Autofunk, a fast and scalable framework for building formal models from production systems. 9th ACM International Conference on Distributed Event-Based Systems, DEBS.

PDF Cite DOI

Loukmen Regainia, Cédric Bouhours, sébastien Salva (2015). Une démarche pour l'assistance à l'utilisation des patrons de sécurité. 4ème Conférence en IngénieriE du Logiciel (CIEL).

PDF Cite

sébastien Salva, Patrice Laurencot (2015). Model Inference and Automatic Testing of Mobile Applications. International Journal On Advances in Software, vol.8, nb. 1&2.

PDF Cite

William Durand, sébastien Salva (2015). Autofunk: an inference-based formal model generation framework for production systems. 20th International Symposium on Formal Methods, FME 2015.

PDF Cite

sébastien Salva, Patrice Laurencot (2015). Conformance testing with ioco proxy-testers: application to web service compositions deployed in clouds. International Journal of Computer Aided Engineering and Technology, 2015 Vol.7 No.3, pp.321 - 347.

PDF Cite

William Durand, sébastien Salva (2014). Inferring models with rule-based expert systems.. Fifth Symposium on Information and Communication Technology, SoICT ‘14.

PDF Cite

sébastien Salva, Stassia R Zafimiharisoa (2014). Model reverse-engineering of Mobile applications with exploration strategies.. Ninth International Conference on Software Engineering Advances, ICSEA 2014.

PDF Cite

sébastien Salva, William Durand (2014). Domain-Driven Model Inference Applied To Web Applications. 2014 International Conference on Software Engineering Research and Practice (SERP14).

PDF Cite

William Durand, sébastien Salva (2014). Inférence de modèles dirigée par la logique métier. AFADL (Approches Formelles dans l’Assistance au Développement de Logiciels).

PDF Cite

sébastien Salva, Stassia R. Zamiharisoa (2014). APSET, an Android aPplication SEcurity Testing tool for detecting intent-based vulnerabilities.. Software Tools for Technology Transfer manuscript.

PDF Cite DOI

sébastien Salva, Tien-Dung Cao (2014). Proxy-Monitor: An integration of runtime verification with passive conformance testing.. International Journal of Software Innovation.

PDF Cite

sébastien Salva, Stassia R. Zafimiharisoa, Patrice Laurencot (2013). Intent Security Testing - An Approach to Testing the Intent-based Vulnerability of Android Components. SECRYPT.

PDF Cite

sébastien Salva, Stassia R. Zafimiharisoa (2013). Data vulnerability detection by security testing for Android applications. 2013 Information Security for South Africa, Johannesburg, South Africa (ISSA), August 14-16.

PDF Cite

sébastien Salva, Tien-Dung Cao (2013). A Model-Based Testing Approach Combining Passive Conformance Testing and Runtime Verification: Application to Web Service Compositions Deployed in Clouds. Software Engineering Research, Management and Applications [Selected papers from the 11th International Conference on Software Engineering Research, Management and Applications, SERA 2013, Prague, Czech Republic, August 7-9, 2013].

PDF Cite

Stassia R. Zafimiharisoa, S. Salva, P. Laurençot (2012). An Automatic Security Testing approach of Android Applications. The Seventh International Conference on Software Engineering Advances (ICSEA 2012).

PDF Cite

sébastien Salva (2012). An approach for testing passively Web service compositions in Clouds. SERP'12, The 2012 International Conference on Software Engineering Research and Practice, WorlComp'12.

Cite

sébastien Salva (2012). HDR: Étude sur le test basé modèle de systèmes temporisés et d'applications à base de composants.

PDF Cite

sébastien Salva (2012). Passive Testing of Symbolic Systems. A IOCO Proxy-Tester Based Approach. International Review on Computers and Software (IRECOS).

PDF Cite

sébastien Salva (2012). Modelling and testing of service compositions in partially open environments. Studia Unformatica Universalis, special issue on “Modélisation informatique et mathématique des systèmes complexes : avancées méthodologiques”.

PDF Cite

sébastien Salva, Antoine Rollet (2012). A pragmatic approach for testing stateless and stateful Web Service Robustness. Studia Informatica Universalis.

PDF Cite

sébastien Salva (2012). A Guided Web Service Security Testing Method. Emerging Technologies - Innovative Concepts and Applications.

Cite

sébastien Salva (2011). Passive testing with proxy tester. International Journal of Software Engineering and Its Applications (IJSEIA).

PDF Cite

sébastien Salva, Issam Rabhi (2011). A Test Purpose and Test Case Generation Approach for SOAP Web Services. The Sixth International Conference on Software Engineering Advances ICSEA 2011.

PDF Cite

sébastien Salva (2011). An observability enhancement method of ABPEL specifications. *The 2nd International Conference on Engineering and Meta-Engineering: ICEME 2011 *.

Cite

sébastien Salva (2011). Automatic Test Purpose Generation for Web Services. Selected Papers from the 2011 International Conference on Electric and Electronics (EEIC 2011) in Nanchang, China.

PDF Cite

sébastien Salva (2011). An Approach For Testing Web Service Compositions When Internal Messages Are Unobservable. International Journal of Electronic Business Management (IJEBM).

Cite

Ana Cavalli, Tien-Dung Cao, Wissam Mallouli, Eliane Martins, Andrey Sadovykh, sébastien Salva, Fatiha Zaidi (2010). WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. ICWS 2010 - 8th IEEE International Conference on Web Services.

PDF Cite

sébastien Salva, Issam Rabhi (2010). A BPEL observability enhancement method. 8th IEEE International Conference on Web Services, ICWS 2010, short paper.

PDF Cite

sébastien Salva, Issam Rabhi (2010). Statefull web service robustness. The Fifth International Conference on Internet and Web Applications and Services, ICIW10.

PDF Cite

sébastien Salva, Issam Rabhi (2010). Robustesse des Services Web persistants. MOSIM10, 8ème ENIM IFAC Conférence Internationale de Modélisation et Simulation.

PDF Cite

sébastien Salva, Issam Rabhi (2010). A preliminary study on BPEL process testability. QuomBat 2010, ICST Workshop on Quality of Model-Based Testing, Co-located with ICST 2010.

PDF Cite

Salva Sebastien, Issam Rabhi (2009). research report: Statefull web service robustness, extended paper.

Cite

Antoine Rollet, sébastien Salva (2009). Testing robustness of communicating systems using ioco-based approach. 1st IEEE Workshop on Performance evaluation of communications in distributed systems and Web based service architectures, in conjunction with IEEE ISCC 2009.

PDF Cite

sébastien Salva, Antoine Rollet (2009). Test purpose generation for timed protocol testing. Second International Conference on Communication Theory, Reliability, and Quality of Service, CTRQ 2009.

PDF Cite

sébastien Salva, Issam Rabhi (2009). Automatic web service robustness testing from WSDL descriptions. 12th European Workshop on Dependable Computing, EWDC 2009.

PDF Cite

sébastien Salva, Patrice Laurencot (2009). Automatic Ajax application testing. Fourth International Conference on Internet and Web Applications and Services, ICIW 2009.

PDF Cite

sébastien Salva, Antoine Rollet (2008). Automatic web service testing from WSDL Descriptions. 8th International Conference on Innovative Internet Community Systems I2CS 2008.

PDF Cite

Antoine Rollet, sébastien Salva (2008). Two complementary approaches to test robustness of reactive systems (Invited paper). 17th IEEE International Conference on Automation, Quality and Testing, Robotics AQTR 2010.

PDF Cite

sébastien Salva, Antoine Rollet (2008). Testabilité des services web. Ingénierie des Systèmes d Information RSTI série ISI, numéro spécial Objets, composants et modèles dans l ingénierie des SI.

Cite

sébastien Salva, Cédric Bastoul, Clément Delamare (2007). Web Service Call Parallelization Using OpenMP. 3rd INTERNATIONAL WORKSHOP on OpenMP (IWOMP) 2007.

PDF Cite

sébastien Salva, Patrice Laurencot (2007). Generation of tests for real-time systems with test purposes. 15th International Conference on Real-Time and Network Systems RTNS07.

PDF Cite

sébastien Salva, Patrice Laurencot (2005). Génération automatique d objectifs de test pour systèmes temporisés. Colloque Francophone de l ingénierie des Protocoles (CFIP).

Cite

Patrice Laurencot, sébastien Salva (2004). Testing mobile and distributed systems : method and experimentation. 8th International Conference on Distribued Systems (OPODIS).

Cite

sébastien Salva, Hacène Fouchal (2004). Testability Analysis for Timed Systems. International Journal of Computers and Their Applications (IJCA).

Cite

sébastien Salva, Patrice Laurencot (2003). Génération de tests temporisés orientée caractérisation d états. Colloque Francophone de l ingénierie des Protocoles (CFIP).

Cite

sébastien Salva, Patrice Laurencot (2003). A Testing Tool using the State Characterization Approach for Timed Systems. WRTES, satellite workshop of FME symposium.

Cite

S. Salva, J. Toussain (2003). Research report: Description d?un outil de génération de cas de test sur des systèmes réactifs temporisés.

PDF Cite

sébastien Salva, Antoine Rollet, Hacène Fouchal (2002). Temporal and Behavior Characterization of States in Timed Systems. 23rd ACIS Annual International Conference on Computer and Information Science (ICIS02).

Cite

sébastien Salva, Hacène Fouchal (2002). Une méthode de test des systèmes temporisés orientée objectif de test. RENPAR14.

Cite

S. Salva, H. Fouchal (2002). Research report: The influence of time in timed systems testing.

PDF Cite

sébastien Salva (2001). Thèse de doctorat: Etude de la qualité de test des systèmes temporisés.

PDF Cite

Simon Bloch, Hacène Fouchal, Eric Petitjean, sébastien Salva (2001). Some Issues on Testing Real-Time Systems. International Journal in Computer Information Science (IJCIS).

Cite

sébastien Salva, Hacène Fouchal (2001). Timed Test Execution and TTCN generation. 2nd International Conference on Software Engineering applied to Networking and Parallel/Distributed Computing (SNPD02).

PDF Cite

sébastien Salva, Eric Petitjean, Hacène Fouchal (2001). A Simple Approach for Timed System Testing. Formal Approaches to Testing of Software (FATES01), A Satellite Workshop of CONCUR01.

Cite

sébastien Salva, Hacène Fouchal (2001). Some Parameters for Timed System Testability. ACS/IEEE International Conference on Computer System and Applications (AICCS01 ).

Cite

sébastien Salva (2001). La qualité du test de conformité des systèmes temps réels. 3eme Colloque sur la Modélisation et Simulation des Systèmes (MOSIM01).

Cite

Hacène Fouchal, Eric Petitjean, sébastien Salva (2000). Timed testing using test purposes. 7th IEEE International Conference on Real-Time Computing Systems and Applications (RTCSA00).

Cite

sébastien Salva, Hacène Fouchal, Simon Bloch (2000). Metrics for Timed Systems Testing. 4th International Conference on Distribued Systems (OPODIS).

Cite