Roland Groz

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 25

Top Topics

Integration Testing

Intrusion Detection System

Finite State Machines

Medical Devices

Top Venues

Publications

Germán Vega, Roland Groz, Catherine Oriat, Michael Foster, Neil Walkinshaw, Adenilso Simão
Learning EFSM Models with Registers in Guards. CoRR (2024)
Rafael S. Braz, Adenilso da Silva Simão, Roland Groz, Catherine Oriat
Improving Model Learning by Inferring Separating Sequences from Traces. ICSTW (2023)
Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw
Active Inference of EFSMs Without Reset. ICFEM (2023)
Roland Groz, Catherine Oriat, Germán Vega, Adenilso da Silva Simão, Michael Foster, Neil Walkinshaw
Active Inference of Extended Finite State Models of Software Systems. ICGI (2023)
Bahareh Afshinpour, Roland Groz, Massih-Reza Amini
Telemetry-Based Software Failure Prediction by Concept-Space Model Creation. QRS (2022)
Bahareh Afshinpour, Roland Groz, Massih-Reza Amini
Correlating Test Events With Monitoring Logs For Test Log Reduction And Anomaly Prediction. ISSRE Workshops (2022)
Moritz Halm, Rafael S. Braz, Roland Groz, Catherine Oriat, Adenilso Simão
Improving Model Inference via W-Set Reduction. ICTSS (2021)
Roland Groz, Nicolas Brémond, Adenilso da Silva Simão, Catherine Oriat
-inference: A heuristic approach to retrieve models through black box testing. J. Syst. Softw. 159 (2020)
Bahareh Afshinpour, Roland Groz, Massih-Reza Amini, Yves Ledru, Catherine Oriat
Reducing Regression Test Suites using the Word2Vec Natural Language Processing Tool. SEED/NLPaSE@APSEC (2020)
Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre
Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities. RAID (2020)
Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre
Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities. CoRR (2020)
Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
FSM inference and checking sequence construction are two sides of the same coin. Softw. Qual. J. 27 (2) (2019)
Mohamad Kaouk, Jean-Marie Flaus, Marie-Laure Potet, Roland Groz
A Review of Intrusion Detection Systems for Industrial Control Systems. CoDIT (2019)
Nicolas Brémond, Roland Groz
Case Studies in Learning Models and Testing Without Reset. ICST Workshops (2019)
Roland Groz, Nicolas Brémond, Adenilso Simão
Using Adaptive Sequences for Learning Non-Resettable FSMs. ICGI (2018)
Franck de Goër, Sanjay Rawat, Dennis Andriesse, Herbert Bos, Roland Groz
Now You See Me: Real-time Dynamic Function Call Detection. ACSAC (2018)
Yves Ledru, Yoann Blein, Lydie du Bousquet, Roland Groz, Arnaud Clere, Fabrice Bertrand
Requirements for a Trace Property Language for Medical Devices. SEHS@ICSE (2018)
Yoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz
Extending specification patterns for verification of parametric traces. FormaliSE@ICSE (2018)
Roland Groz, Adenilso Simão, Nicolas Brémond, Catherine Oriat
Revisiting AI and testing methods to infer FSM models of black-box systems. AST@ICSE (2018)
Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat
Inferring FSM Models of Systems Without Reset. Machine Learning for Dynamic Software Analysis (2018)
Franck de Goër, Roland Groz, Laurent Mounier
Metrics for runtime detection of allocators in binaries. CSET @ USENIX Security Symposium (2017)
Roland Groz, Adenilso da Silva Simão, Catherine Oriat
Adaptive Localizer Based on Splitting Trees. ICTSS (2017)
Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
From Passive to Active FSM Inference via Checking Sequence Construction. ICTSS (2017)
Yoann Blein, Arnaud Clere, Fabrice Bertrand, Yves Ledru, Roland Groz, Lydie du Bousquet
Improving Trace Generation and Analysis for Medical Devices. QRS Companion (2017)
Roland Groz, Catherine Oriat, Nicolas Brémond
Inferring Non-resettable Mealy Machines with n States. ICGI (2016)
Franck de Goër, Roland Groz, Laurent Mounier
Lightweight heuristics to retrieve parameter associations from binaries. PPREW@ACSAC (2015)
Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat
Inferring Finite State Machines Without Reset Using State Identification Sequences. ICTSS (2015)
Roland Groz, Keqin Li, Alexandre Petrenko
Integration testing of communicating systems with unknown components. Ann. des Télécommunications 70 (3-4) (2015)
Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier
Automatic Model Inference of Web Applications for Security Testing. ICST Workshops (2014)
Matthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, Catherine Oriat
Model inference and security testing in the spacios project. CSMR-WCRE (2014)
Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz
KameleonFuzz: evolutionary fuzzing for black-box XSS detection. CODASPY (2014)
Muzammil Shahbaz, Roland Groz
Analysis and testing of black-box component-based systems by inferring partial models. Softw. Test. Verification Reliab. 24 (4) (2014)
Alexandre Petrenko, Keqin Li, Roland Groz, Karim Hossen, Catherine Oriat
Inferring Approximated Models for Systems Engineering. HASE (2014)
Muhammad-Naeem Irfan, Catherine Oriat, Roland Groz
Model Inference and Testing. Adv. Comput. 89 (2013)
Sanjay Rawat, Fabien Duchene, Roland Groz, Jean-Luc Richier
Evolving indigestible codes: Fuzzing interpreters with genetic programming. CICS (2013)
Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier
Automatic Generation of Test Drivers for Model Inference of Web Applications. ICST Workshops (2013)
Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis
A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. ICST (2013)
Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz
LigRE: Reverse-engineering of control and data flow models for black-box XSS detection. WCRE (2013)
Muhammad-Naeem Irfan, Roland Groz, Catherine Oriat
Improving Model Inference of Black Box Components having Large Input Test Set. ICGI (2012)
Roland Groz, Muhammad-Naeem Irfan, Catherine Oriat
Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing. ISoLA (1) (2012)
Fabien Duchene, Roland Groz, Sanjay Rawat, Jean-Luc Richier
XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing. ICST (2012)
Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier
A Taint Based Approach for Smart Fuzzing. ICST (2012)
Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier
Finding Software Vulnerabilities by Smart Fuzzing. ICST (2011)
Karim Hossen, Roland Groz, Jean-Luc Richier
Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols. ICST Workshops (2011)
Muzammil Shahbaz, Roland Groz
Inferring Mealy Machines. FM (2009)
Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz
Modular System Verification by Inference, Testing and Reachability Analysis. TestCom/FATES (2008)
Vianney Darmaillacq, Jean-Luc Richier, Roland Groz
Test generation and execution for security rules in temporal logic. ICST Workshops (2008)
Roland Groz, Muzammil Shahbaz, Keqin Li
Extraction de modèles paramétrés au cours du test de composants logiciels. Tech. Sci. Informatiques 27 (8) (2008)
Muzammil Shahbaz, Keqin Li, Roland Groz
Learning and Integration of Parameterized Components Through Testing. TestCom/FATES (2007)
Keqin Li, Laurent Mounier, Roland Groz
Test Generation from Security Policies Specified in Or-BAC. COMPSAC (2) (2007)
Sergiy Boroday, Alexandre Petrenko, Roland Groz
Can a Model Checker Generate Tests for Non-Deterministic Systems? Electron. Notes Theor. Comput. Sci. 190 (2) (2007)
Muzammil Shahbaz, Roland Groz
Using Invariant Detection Mechanism in Black Box Inference. ISoLA (2007)
Muzammil Shahbaz, Keqin Li, Roland Groz
Learning Parameterized State Machine Model for Integration Testing. COMPSAC (2) (2007)
Keqin Li, Roland Groz, Muzammil Shahbaz
Integration Testing of Distributed Components Based on Learning Parameterized I/O Models. FORTE (2006)
Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier
Test Generation for Network Security Rules. TestCom (2006)
Keqin Li, Roland Groz, Muzammil Shahbaz
Integration Testing of Components Guided by Incremental State Machine Learning. TAIC PART (2006)
Alexandre Petrenko, Sergiy Boroday, Roland Groz
Confirming Configurations in EFSM Testing. IEEE Trans. Software Eng. 30 (1) (2004)
Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener
Techniques for Abstracting SDL Specifications. SAM (2002)
Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener
Test Generation for CEFSM Combining Specification and Fault Coverage. TestCom (2002)
Mikael Marche, Yves-Marie Quemener, Roland Groz
Testing Mobile Agents. TestCom (2002)
Alexandre Petrenko, Sergiy Boroday, Roland Groz
Confirming configurations in EFSM. FORTE (1999)
Alain Kerbrat, Thierry Jéron, Roland Groz
Automated test generation from SDL specifications. SDL Forum (1999)
Roland Groz, Nathalie Risser
Eight Years of Experience in Test Generation from FDTs using TVEDA. FORTE (1997)
Roland Groz, Olivier Charles, Josiane Renévot
Relating Conformance Test Coverage to Formal Specifications. FORTE (1996)
Qiang Gao, Roland Groz, Gregor von Bochmann, Joumana Dargham, E. Houssain Htite
Validation of distributed algorithms and protocols. ICNP (1995)
Marc Phalippou, Roland Groz
From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach. FORTE (1990)
Michel Diaz, Jean Dufau, Roland Groz
Experiences Using Estelle Within SEDOS Estelle Demonstrator. FORTE (1989)
Marc Phalippou, Roland Groz
Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol. FORTE (1988)
Claude Jard, Jean-François Monin, Roland Groz
Development of Véda, a Prototyping Tool for Distributed Algorithms. IEEE Trans. Software Eng. 14 (3) (1988)
Roland Groz, Claude Jard, Claire Lassudrie
Attacking a Complex Distributed Algorithm from Different Sides: an Experience with Complementary Validation Tools. Comput. Networks 10 (1986)
Claude Jard, Jean-François Monin, Roland Groz
Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA. PSTV (1985)
Roland Groz, Claude Jard, Claire Lassudrie
Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation Tools. PSTV (1984)