Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation Tools. - Roland Groz; Claude Jard; Claire Lassudrie (PSTV, 1984)

Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA. - Claude Jard; Jean-François Monin; Roland Groz (PSTV, 1985)

Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol. - Marc Phalippou; Roland Groz (FORTE, 1988)

Development of Véda, a Prototyping Tool for Distributed Algorithms. - Claude Jard; Jean-François Monin; Roland Groz (IEEE Trans. Software Eng., 1988)

Experiences Using Estelle Within SEDOS Estelle Demonstrator. - Michel Diaz; Jean Dufau; Roland Groz (FORTE, 1989)

From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach. - Marc Phalippou; Roland Groz (FORTE, 1990)

Validation of distributed algorithms and protocols. - Qiang Gao 004; Roland Groz; Gregor von Bochmann; Joumana Dargham; E. Houssain Htite (ICNP, 1995)

Relating Conformance Test Coverage to Formal Specifications. - Roland Groz; Olivier Charles; Josiane Renévot (FORTE, 1996)

Eight Years of Experience in Test Generation from FDTs using TVEDA. - Roland Groz; Nathalie Risser (FORTE, 1997)

Confirming configurations in EFSM. - Alexandre Petrenko; Sergiy Boroday; Roland Groz (FORTE, 1999)

Automated test generation from SDL specifications. - Alain Kerbrat; Thierry Jéron; Roland Groz (SDL Forum, 1999)

Test Generation for CEFSM Combining Specification and Fault Coverage. - Sergiy Boroday; Alexandre Petrenko; Roland Groz; Yves-Marie Quemener (TestCom, 2002)

Testing Mobile Agents. - Mikael Marche; Yves-Marie Quemener; Roland Groz (TestCom, 2002)

Techniques for Abstracting SDL Specifications. - Sergiy Boroday; Roland Groz; Alexandre Petrenko; Yves-Marie Quemener (SAM, 2002)

Confirming Configurations in EFSM Testing. - Alexandre Petrenko; Sergiy Boroday; Roland Groz (IEEE Trans. Software Eng., 2004)

Integration Testing of Distributed Components Based on Learning Parameterized I/O Models. - Keqin Li 002; Roland Groz; Muzammil Shahbaz (FORTE, 2006)

Test Generation for Network Security Rules. - Vianney Darmaillacq; Jean-Claude Fernandez; Roland Groz; Laurent Mounier; Jean-Luc Richier (TestCom, 2006)

Integration Testing of Components Guided by Incremental State Machine Learning. - Keqin Li 002; Roland Groz; Muzammil Shahbaz (TAIC PART, 2006)

Test Generation from Security Policies Specified in Or-BAC. - Keqin Li 002; Laurent Mounier; Roland Groz (COMPSAC (2), 2007)

Learning Parameterized State Machine Model for Integration Testing. - Muzammil Shahbaz; Keqin Li 002; Roland Groz (COMPSAC (2), 2007)

Using Invariant Detection Mechanism in Black Box Inference. - Muzammil Shahbaz; Roland Groz (ISoLA, 2007)

Learning and Integration of Parameterized Components Through Testing. - Muzammil Shahbaz; Keqin Li 002; Roland Groz (TestCom/FATES, 2007)

Can a Model Checker Generate Tests for Non-Deterministic Systems? - Sergiy Boroday; Alexandre Petrenko; Roland Groz (MBT, 2007)

Test generation and execution for security rules in temporal logic. - Vianney Darmaillacq; Jean-Luc Richier; Roland Groz (ICST Workshops, 2008)

Modular System Verification by Inference, Testing and Reachability Analysis. - Roland Groz; Keqin Li 002; Alexandre Petrenko; Muzammil Shahbaz (TestCom/FATES, 2008)

Extraction de modèles paramétrés au cours du test de composants logiciels. - Roland Groz; Muzammil Shahbaz; Keqin Li 002 (Tech. Sci. Informatiques, 2008)

Inferring Mealy Machines. - Muzammil Shahbaz; Roland Groz (FM, 2009)

Finding Software Vulnerabilities by Smart Fuzzing. - Sofia Bekrar; Chaouki Bekrar; Roland Groz; Laurent Mounier (ICST, 2011)

Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols. - Karim Hossen; Roland Groz; Jean-Luc Richier (ICST Workshops, 2011)

A Taint Based Approach for Smart Fuzzing. - Sofia Bekrar; Chaouki Bekrar; Roland Groz; Laurent Mounier (ICST, 2012)

XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing. - Fabien Duchene 002; Roland Groz; Sanjay Rawat 001; Jean-Luc Richier (ICST, 2012)

Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing. - Roland Groz; Muhammad-Naeem Irfan; Catherine Oriat (ISoLA (1), 2012)

Improving Model Inference of Black Box Components having Large Input Test Set. - Muhammad-Naeem Irfan; Roland Groz; Catherine Oriat (ICGI, 2012)

Evolving indigestible codes: Fuzzing interpreters with genetic programming. - Sanjay Rawat 001; Fabien Duchene 002; Roland Groz; Jean-Luc Richier (CICS, 2013)

A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. - Yves Grasland; Lydie du Bousquet; Roland Groz; Ioannis Parissis (ICST, 2013)

Automatic Generation of Test Drivers for Model Inference of Web Applications. - Karim Hossen; Roland Groz; Catherine Oriat; Jean-Luc Richier (ICST Workshops, 2013)

LigRE: Reverse-engineering of control and data flow models for black-box XSS detection. - Fabien Duchene 002; Sanjay Rawat 001; Jean-Luc Richier; Roland Groz (WCRE, 2013)

Model Inference and Testing. - Muhammad-Naeem Irfan; Catherine Oriat; Roland Groz (Adv. Comput., 2013)

KameleonFuzz: evolutionary fuzzing for black-box XSS detection. - Fabien Duchene 002; Sanjay Rawat 001; Jean-Luc Richier; Roland Groz (CODASPY, 2014)

Model inference and security testing in the spacios project. - Matthias Büchler; Karim Hossen; Petru Florin Mihancea; Marius Minea; Roland Groz; Catherine Oriat (CSMR-WCRE, 2014)

Inferring Approximated Models for Systems Engineering. - Alexandre Petrenko; Keqin Li 002; Roland Groz; Karim Hossen; Catherine Oriat (HASE, 2014)

Automatic Model Inference of Web Applications for Security Testing. - Karim Hossen; Roland Groz; Catherine Oriat; Jean-Luc Richier (ICST Workshops, 2014)

Analysis and testing of black-box component-based systems by inferring partial models. - Muzammil Shahbaz; Roland Groz (Softw. Test. Verification Reliab., 2014)

Lightweight heuristics to retrieve parameter associations from binaries. - Franck de Goër; Roland Groz; Laurent Mounier (PPREW@ACSAC, 2015)

Inferring Finite State Machines Without Reset Using State Identification Sequences. - Roland Groz; Adenilso da Silva Simão; Alexandre Petrenko; Catherine Oriat (ICTSS, 2015)

Integration testing of communicating systems with unknown components. - Roland Groz; Keqin Li 002; Alexandre Petrenko (Ann. des Télécommunications, 2015)

Inferring Non-resettable Mealy Machines with n States. - Roland Groz; Catherine Oriat; Nicolas Brémond (ICGI, 2016)

Adaptive Localizer Based on Splitting Trees. - Roland Groz; Adenilso da Silva Simão; Catherine Oriat (ICTSS, 2017)

From Passive to Active FSM Inference via Checking Sequence Construction. - Alexandre Petrenko; Florent Avellaneda; Roland Groz; Catherine Oriat (ICTSS, 2017)

Improving Trace Generation and Analysis for Medical Devices. - Yoann Blein; Arnaud Clere; Fabrice Bertrand; Yves Ledru; Roland Groz; Lydie du Bousquet (QRS Companion, 2017)

Metrics for runtime detection of allocators in binaries. - Franck de Goër; Roland Groz; Laurent Mounier (CSET @ USENIX Security Symposium, 2017)

Now You See Me: Real-time Dynamic Function Call Detection. - Franck de Goër; Sanjay Rawat 001; Dennis Andriesse; Herbert Bos; Roland Groz (ACSAC, 2018)

Inferring FSM Models of Systems Without Reset. - Roland Groz; Adenilso da Silva Simão; Alexandre Petrenko; Catherine Oriat (Machine Learning for Dynamic Software Analysis, 2018)

Using Adaptive Sequences for Learning Non-Resettable FSMs. - Roland Groz; Nicolas Brémond; Adenilso Simão (ICGI, 2018)

Extending specification patterns for verification of parametric traces. - Yoann Blein; Yves Ledru; Lydie du Bousquet; Roland Groz (FormaliSE@ICSE, 2018)

Revisiting AI and testing methods to infer FSM models of black-box systems. - Roland Groz; Adenilso Simão; Nicolas Brémond; Catherine Oriat (AST@ICSE, 2018)

Requirements for a Trace Property Language for Medical Devices. - Yves Ledru; Yoann Blein; Lydie du Bousquet; Roland Groz; Arnaud Clere; Fabrice Bertrand (SEHS@ICSE, 2018)

A Review of Intrusion Detection Systems for Industrial Control Systems. - Mohamad Kaouk; Jean-Marie Flaus; Marie-Laure Potet; Roland Groz (CoDIT, 2019)

Case Studies in Learning Models and Testing Without Reset. - Nicolas Brémond; Roland Groz (ICST Workshops, 2019)

FSM inference and checking sequence construction are two sides of the same coin. - Alexandre Petrenko; Florent Avellaneda; Roland Groz; Catherine Oriat (Softw. Qual. J., 2019)

Reducing Regression Test Suites using the Word2Vec Natural Language Processing Tool. - Bahareh Afshinpour; Roland Groz; Massih-Reza Amini; Yves Ledru; Catherine Oriat (SEED/NLPaSE@APSEC, 2020)

Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities. - Manh-Dung Nguyen; Sébastien Bardin; Richard Bonichon; Roland Groz; Matthieu Lemerre (RAID, 2020)

hW-inference: A heuristic approach to retrieve models through black box testing. - Roland Groz; Nicolas Brémond; Adenilso da Silva Simão; Catherine Oriat (J. Syst. Softw., 2020)

Improving Model Inference via W-Set Reduction. - Moritz Halm; Rafael S. Braz; Roland Groz; Catherine Oriat; Adenilso Simão (ICTSS, 2021)

Correlating Test Events With Monitoring Logs For Test Log Reduction And Anomaly Prediction. - Bahareh Afshinpour; Roland Groz; Massih-Reza Amini (ISSRE Workshops, 2022)

Telemetry-Based Software Failure Prediction by Concept-Space Model Creation. - Bahareh Afshinpour; Roland Groz; Massih-Reza Amini (QRS, 2022)

Active Inference of EFSMs Without Reset. - Michael Foster 001; Roland Groz; Catherine Oriat; Adenilso da Silva Simão; Germán Vega; Neil Walkinshaw (ICFEM, 2023)

Active Inference of Extended Finite State Models of Software Systems. - Roland Groz; Catherine Oriat; Germán Vega; Adenilso da Silva Simão; Michael Foster 001; Neil Walkinshaw (ICGI, 2023)

Improving Model Learning by Inferring Separating Sequences from Traces. - Rafael S. Braz; Adenilso da Silva Simão; Roland Groz; Catherine Oriat (ICSTW, 2023)

Semantic Log Partitioning: Towards Automated Root Cause Analysis. - Bahareh Afshinpour; Massih-Reza Amini; Roland Groz (QRS, 2024)

Learning EFSM Models with Registers in Guards. - Germán Vega; Roland Groz; Catherine Oriat; Michael Foster 001; Neil Walkinshaw; Adenilso Simão (CoRR, 2024)