Roland Groz

According to our database, Roland Groz authored at least 71 papers between 1985 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Learning EFSM Models with Registers in Guards.

Germán Vega, Roland Groz, Catherine Oriat, Michael Foster, Neil Walkinshaw, Adenilso Simão

CoRR, 2024

Semantic Log Partitioning: Towards Automated Root Cause Analysis.

Bahareh Afshinpour, Massih-Reza Amini, Roland Groz

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

2023

Improving Model Learning by Inferring Separating Sequences from Traces.

Rafael S. Braz, Adenilso da Silva Simão, Roland Groz, Catherine Oriat

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 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, Neil Walkinshaw

Proceedings of the International Conference on Grammatical Inference, 2023

Active Inference of EFSMs Without Reset.

Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw

Proceedings of the Formal Methods and Software Engineering, 2023

2022

Telemetry-Based Software Failure Prediction by Concept-Space Model Creation.

Bahareh Afshinpour, Roland Groz, Massih-Reza Amini

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Correlating Test Events With Monitoring Logs For Test Log Reduction And Anomaly Prediction.

Bahareh Afshinpour, Roland Groz, Massih-Reza Amini

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

2021

Improving Model Inference via W-Set Reduction.

Moritz Halm, Rafael S. Braz, Roland Groz, Catherine Oriat, Adenilso Simão

Proceedings of the Testing Software and Systems, 2021

2020

<i>hW</i>-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

Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities.

Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre

Proceedings of the 23rd International Symposium on Research in Attacks, 2020

Reducing Regression Test Suites using the Word2Vec Natural Language Processing Tool.

Bahareh Afshinpour, Roland Groz, Massih-Reza Amini, Yves Ledru, Catherine Oriat

Proceedings of the Joint Proceedings of SEED & NLPaSE co-located with 27th Asia Pacific Software Engineering Conference 2020, 2020

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

Case Studies in Learning Models and Testing Without Reset.

Nicolas Brémond, Roland Groz

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

A Review of Intrusion Detection Systems for Industrial Control Systems.

Mohamad Kaouk, Jean-Marie Flaus, Marie-Laure Potet, Roland Groz

Proceedings of the 6th International Conference on Control, 2019

2018

Requirements for a Trace Property Language for Medical Devices.

Yves Ledru, Yoann Blein, Lydie du Bousquet, Roland Groz, Arnaud Clere, Fabrice Bertrand

Proceedings of the 2018 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems, 2018

Revisiting AI and testing methods to infer FSM models of black-box systems.

Roland Groz, Adenilso Simão, Nicolas Brémond, Catherine Oriat

Proceedings of the 13th International Workshop on Automation of Software Test, 2018

Extending specification patterns for verification of parametric traces.

Yoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz

Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

Using Adaptive Sequences for Learning Non-Resettable FSMs.

Roland Groz, Nicolas Brémond, Adenilso Simão

Proceedings of the 14th International Conference on Grammatical Inference, 2018

Inferring FSM Models of Systems Without Reset.

Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat

Proceedings of the Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2018

Now You See Me: Real-time Dynamic Function Call Detection.

Franck de Goër, Sanjay Rawat, Dennis Andriesse, Herbert Bos, Roland Groz

Proceedings of the 34th Annual Computer Security Applications Conference, 2018

2017

Metrics for runtime detection of allocators in binaries.

Franck de Goër, Roland Groz, Laurent Mounier

Proceedings of the 10th USENIX Workshop on Cyber Security Experimentation and Test, 2017

Improving Trace Generation and Analysis for Medical Devices.

Yoann Blein, Arnaud Clere, Fabrice Bertrand, Yves Ledru, Roland Groz, Lydie du Bousquet

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

From Passive to Active FSM Inference via Checking Sequence Construction.

Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat

Proceedings of the Testing Software and Systems, 2017

Adaptive Localizer Based on Splitting Trees.

Roland Groz, Adenilso da Silva Simão, Catherine Oriat

Proceedings of the Testing Software and Systems, 2017

2016

Inferring Non-resettable Mealy Machines with n States.

Roland Groz, Catherine Oriat, Nicolas Brémond

Proceedings of the 13th International Conference on Grammatical Inference, 2016

2015

Integration testing of communicating systems with unknown components.

Roland Groz, Keqin Li, Alexandre Petrenko

Ann. des Télécommunications, 2015

Inferring Finite State Machines Without Reset Using State Identification Sequences.

Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat

Proceedings of the Testing Software and Systems, 2015

Lightweight heuristics to retrieve parameter associations from binaries.

Franck de Goër, Roland Groz, Laurent Mounier

Proceedings of the 5th Program Protection and Reverse Engineering Workshop, 2015

2014

Analysis and testing of black-box component-based systems by inferring partial models.

Muzammil Shahbaz, Roland Groz

Softw. Test. Verification Reliab., 2014

Automatic Model Inference of Web Applications for Security Testing.

Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Inferring Approximated Models for Systems Engineering.

Alexandre Petrenko, Keqin Li, Roland Groz, Karim Hossen, Catherine Oriat

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

Model inference and security testing in the spacios project.

Matthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, Catherine Oriat

Proceedings of the 2014 Software Evolution Week, 2014

KameleonFuzz: evolutionary fuzzing for black-box XSS detection.

Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz

Proceedings of the Fourth ACM Conference on Data and Application Security and Privacy, 2014

2013

Model Inference and Testing.

Muhammad-Naeem Irfan, Catherine Oriat, Roland Groz

Adv. Comput., 2013

LigRE: Reverse-engineering of control and data flow models for black-box XSS detection.

Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz

Proceedings of the 20th Working Conference on Reverse Engineering, 2013

Automatic Generation of Test Drivers for Model Inference of Web Applications.

Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information.

Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Evolving indigestible codes: Fuzzing interpreters with genetic programming.

Sanjay Rawat, Fabien Duchene, Roland Groz, Jean-Luc Richier

Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Cyber Security, 2013

2012

Improving Model Inference of Black Box Components having Large Input Test Set.

Muhammad-Naeem Irfan, Roland Groz, Catherine Oriat

Proceedings of the Eleventh International Conference on Grammatical Inference, 2012

Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing.

Roland Groz, Muhammad-Naeem Irfan, Catherine Oriat

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing.

Fabien Duchene, Roland Groz, Sanjay Rawat, Jean-Luc Richier

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

A Taint Based Approach for Smart Fuzzing.

Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols.

Karim Hossen, Roland Groz, Jean-Luc Richier

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Finding Software Vulnerabilities by Smart Fuzzing.

Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2009

Inferring Mealy Machines.

Muzammil Shahbaz, Roland Groz

Proceedings of the FM 2009: Formal Methods, 2009

2008

Extraction de modèles paramétrés au cours du test de composants logiciels.

Roland Groz, Muzammil Shahbaz, Keqin Li

Tech. Sci. Informatiques, 2008

Modular System Verification by Inference, Testing and Reachability Analysis.

Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz

Proceedings of the Testing of Software and Communicating Systems, 2008

Test generation and execution for security rules in temporal logic.

Vianney Darmaillacq, Jean-Luc Richier, Roland Groz

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

2007

Can a Model Checker Generate Tests for Non-Deterministic Systems?

Sergiy Boroday, Alexandre Petrenko, Roland Groz

Proceedings of the Third Workshop on Model Based Testing, 2007

Learning and Integration of Parameterized Components Through Testing.

Muzammil Shahbaz, Keqin Li, Roland Groz

Proceedings of the Testing of Software and Communicating Systems, 2007

Using Invariant Detection Mechanism in Black Box Inference.

Muzammil Shahbaz, Roland Groz

Proceedings of the ISoLA 2007, 2007

Learning Parameterized State Machine Model for Integration Testing.

Muzammil Shahbaz, Keqin Li, Roland Groz

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

Test Generation from Security Policies Specified in Or-BAC.

Keqin Li, Laurent Mounier, Roland Groz

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006

Integration Testing of Components Guided by Incremental State Machine Learning.

Keqin Li, Roland Groz, Muzammil Shahbaz

Proceedings of the Testing: Academia and Industry Conference, 2006

Test Generation for Network Security Rules.

Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier

Proceedings of the Testing of Communicating Systems, 2006

Integration Testing of Distributed Components Based on Learning Parameterized I/O Models.

Keqin Li, Roland Groz, Muzammil Shahbaz

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2004

Confirming Configurations in EFSM Testing.

Alexandre Petrenko, Sergiy Boroday, Roland Groz

IEEE Trans. Software Eng., 2004

2002

Techniques for Abstracting SDL Specifications.

Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener

Proceedings of the Telecommunications and beyond: The Broader Applicability of SDL and MSC, 2002

Testing Mobile Agents.

Mikael Marche, Yves-Marie Quemener, Roland Groz

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

Test Generation for CEFSM Combining Specification and Fault Coverage.

Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

1999

Automated test generation from SDL specifications.

Alain Kerbrat, Thierry Jéron, Roland Groz

Proceedings of the SDL '99 The Next Millennium, 1999

Confirming configurations in EFSM.

Alexandre Petrenko, Sergiy Boroday, Roland Groz

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1997

Eight Years of Experience in Test Generation from FDTs using TVEDA.

Roland Groz, Nathalie Risser

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1996

Relating Conformance Test Coverage to Formal Specifications.

Roland Groz, Olivier Charles, Josiane Renévot

Proceedings of the Formal Description Techniques IX: Theory, 1996

1995

Validation of distributed algorithms and protocols.

Qiang Gao, Roland Groz, Gregor von Bochmann, Joumana Dargham, E. Houssain Htite

Proceedings of the 1995 International Conference on Network Protocols, 1995

1990

From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach.

Marc Phalippou, Roland Groz

Proceedings of the Formal Description Techniques, 1990

1989

Experiences Using Estelle Within SEDOS Estelle Demonstrator.

Michel Diaz, Jean Dufau, Roland Groz

Proceedings of the Formal Description Techniques, 1989

1988

Development of Véda, a Prototyping Tool for Distributed Algorithms.

Claude Jard, Jean-François Monin, Roland Groz

IEEE Trans. Software Eng., 1988

Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol.

Marc Phalippou, Roland Groz

Proceedings of the Formal Description Techniques, 1988

1986

Attacking a Complex Distributed Algorithm from Different Sides: an Experience with Complementary Validation Tools.

Roland Groz, Claude Jard, Claire Lassudrie

Comput. Networks, 1986

1985

Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA.

Claude Jard, Jean-François Monin, Roland Groz

Proceedings of the Protocol Specification, 1985