- titre
- Active Inference of EFSMs Without Reset
- auteur
- Michael Foster, Roland Groz, Catherine Oriat, Adenilso Simao, Germán Vega, Neil Walkinshaw
- article
- ICFEM 2023, Nov 2023, Brisbane, Australia. pp.29-46, ⟨10.1007/978-981-99-7584-6_3⟩
- titre
- Active Inference of Extended Finite State Models of Software Systems
- auteur
- Roland Groz, Catherine Oriat, German Eduardo Vega Baez, Adenilso Simao, Michael Foster, Neil Walkinshaw
- article
- ICGI 2023, 2023, Rabat, Morocco. pp.265-269
- titre
- Improving Model Learning by Inferring Separating Sequences from Traces
- auteur
- Rafael Braz, Adenilso Simao, Roland Groz, Catherine Oriat
- article
- 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2023, Dublin, Ireland. pp.45-51, ⟨10.1109/ICSTW58534.2023.00020⟩
- titre
- Telemetry-based Software Failure Prediction by Concept-space Model Creation
- auteur
- Bahareh Afshinpour, Roland Groz, Massih-Reza Amini
- article
- 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security, Dec 2022, Guangzhou, China. pp.199, ⟨10.1109/QRS57517.2022.00030⟩
- titre
- Correlating Test Events With Monitoring Logs For Test Log Reduction And Anomaly Prediction
- auteur
- Bahareh Afshinpour, Roland Groz, Massih-Reza Amini
- article
- 2022 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Oct 2022, Charlotte, United States. pp.274-280, ⟨10.1109/ISSREW55968.2022.00079⟩
- titre
- Apprentissage collaboratif pour la réduction des log de test et la prédiction des anomalies sur les log de monitoring
- auteur
- Bahareh Afshinpour, Roland Groz, Massih-Reza Amini
- article
- Conférence d'Apprentissage (CAp), Jul 2022, Vannes, France
- titre
- Improving Model Inference via W-Set Reduction
- auteur
- Moritz Halm, Rafael Braz, Roland Groz, Catherine Oriat, Adenilso Simao
- article
- International Conference on Testing Software and Systems (ICTSS), Nov 2021, London, United Kingdom. pp.90-105, ⟨10.1007/978-3-031-04673-5_7⟩
- titre
- Control Flow Graph Retrieval from Blackbox Execution of Embedded Software through Physical Side-channel Analysis
- auteur
- Alexis Rey, Roland Groz, Jean Fonbonne
- article
- Workshop on Machine Learning for Program Analysis, Jan 2021, Yokohama, Japan
- titre
- hW-inference: A heuristic approach to retrieve models through black box testing
- auteur
- Roland Groz, Nicolas Bremond, Adenilso Simao, Catherine Oriat
- article
- Journal of Systems and Software, 2020, 159, pp.110426. ⟨10.1016/j.jss.2019.110426⟩
- titre
- Reducing Regression Test Suites using the Word2Vec Natural Language Processing Tool
- auteur
- Bahareh Afshinpour, Roland Groz, Massih-Reza Amini, Yves Ledru, Catherine Oriat
- article
- NLPaSE: Natural Language Processing Advancements for Software Engineering, Dec 2020, Singapour, Singapore
- titre
- Binary-level directed fuzzing for use-after-free vulnerabilities
- auteur
- Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre
- article
- RAID 2020 - 23rd International Symposium on Research in Attacks, Intrusions and Defenses, Oct 2020, Saint Sebastien, Spain. pp.47-62
- titre
- Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities
- auteur
- Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre
- article
- RAID 2020: Research in Attacks, Intrusions and Defenses, Oct 2020, Donostia, Spain
- titre
- FSM inference and checking sequence construction are two sides of the same coin
- auteur
- Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
- article
- Software Quality Journal, 2019, 27 (2), pp.651-674. ⟨10.1007/s11219-018-9429-3⟩
- titre
- A Review of Intrusion Detection Systems for Industrial Control Systems
- auteur
- Mohamad Kaouk, Jean-Marie Flaus, Marie-Laure Potet, Roland Groz
- article
- CoDIT 2019 - 6th International Conference on Control, Decision and Information Technologies, Apr 2019, Paris, France. pp.1699-1704, ⟨10.1109/CoDIT.2019.8820602⟩
- titre
- Case Studies in Learning Models and Testing Without Reset
- auteur
- Nicolas Bremond, Roland Groz
- article
- 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW: AMOST 2019), Apr 2019, Xi'an, China. pp.40-45, ⟨10.1109/ICSTW.2019.00030⟩
- titre
- FSM inference and checking sequence construction are two sides of the same coin
- auteur
- Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
- article
- Software Quality Journal, 2018, ⟨10.1007/s11219-018-9429-3⟩
- titre
- Now You See Me: Real-time Dynamic Function Call Detection
- auteur
- Franck De Goër de Herve, Sanjay Rawat, Dennis Andriesse, Herbert Bos, Roland Groz
- article
- ACSAC 2018: Annual Computer Security Applications Conference, Dec 2018, San Juan, Puerto Rico
- titre
- Using Adaptive Sequences for Learning Non-Resettable FSMs
- auteur
- Roland Groz, Nicolas Bremond, Adenilso Simao
- article
- ICGI: International Conference on Grammatical Inference, Sep 2018, Wroclaw, Poland
- titre
- Extending specification patterns for verification of parametric traces
- auteur
- Yoann Blein, Yves Ledru, Lydie Du-Bousquet, Roland Groz
- article
- the 6th Conference on Formal Methods in Software Engineering (FormaliSE'18), Jun 2018, Gothenburg, Sweden. pp.10-19, ⟨10.1145/3193992.3193998⟩
- titre
- Revisiting AI and testing methods to infer FSM models of black-box systems
- auteur
- Roland Groz, Adenilso Simao, Nicolas Bremond, Catherine Oriat
- article
- the 13th International Workshop on Automation of Software Test (AST'18), May 2018, Gothenburg, Sweden. pp.16-19
- titre
- Requirements for a Trace Property Language for Medical Devices
- auteur
- Yves Ledru, Yoann Blein, Lydie Du Bousquet, Roland Groz, Arnaud Clere, Fabrice Bertrand
- article
- the International Workshop on Software Engineering in Healthcare Systems, SEHS@ICSE 2018, May 2018, Gothenburg, Sweden. ⟨10.1145/3194696.3194699⟩
- titre
- Inferring FSM Models of Systems Without Reset
- auteur
- Roland Groz, Adenilso Simao, Alexandre Petrenko, Catherine Oriat
- article
- Machine Learning for Dynamic Software Analysis, pp.178-201, 2018
- titre
- Adaptive Localizer Based on Splitting Trees
- auteur
- Roland Groz, Adenilso Simao, Catherine Oriat
- article
- 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.326-332, ⟨10.1007/978-3-319-67549-7_21⟩
- titre
- Metrics for runtime detection of allocators in binaries
- auteur
- Franck de Goër, Roland Groz, Laurent Mounier
- article
- 10th USENIX Workshop on Cyber Security Experimentation and Test, CSET 2017, Aug 2017, Vancouver, BC, Canada
- titre
- Improving Trace Generation and Analysis for Medical Devices
- auteur
- Yoann Blein, Arnaud Clere, Fabrice Bertrand, Yves Ledru, Roland Groz, Lydie Du Bousquet
- article
- IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Jul 2017, Prague, Czech Republic. pp.599-600, ⟨10.1109/QRS-C.2017.135⟩
- titre
- Inferring Non-resettable Mealy Machines with n States
- auteur
- Roland Groz, Catherine Oriat, Nicolas Bremond
- article
- International Conference on Grammatical Inference 2016 (ICGI'16), Oct 2016, Delft, Netherlands
- titre
- SIMPA - Simpa Infers Models Pretty Automatically (Outils)
- auteur
- Catherine Oriat, Roland Groz, Emmanuel Perrier
- article
- Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'16), Jun 2016, Besançon, France
- titre
- Integration testing of communicating systems with unknown components
- auteur
- Roland Groz, Keqin Li, Alexandre Petrenko
- article
- Annals of Telecommunications - annales des télécommunications, 2015, 70 (3-4), pp.107-125
- titre
- Lightweight heuristics to retrieve parameter associations from binaries
- auteur
- Franck de Goër, Roland Groz, Laurent Mounier
- article
- 5th Program Protection and Reverse Engineering Workshop, PPREW-5, Dec 2015, Los Angeles, CA, United States. pp.1-12, ⟨10.1145/2843859.2843861⟩
- titre
- Inferring Finite State Machines Without Reset Using State Identification Sequences
- auteur
- Roland Groz, Adenilso Simao, Alexandre Petrenko, Catherine Oriat
- article
- 27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.161-177, ⟨10.1007/978-3-319-25945-1_10⟩
- titre
- Analysis and testing of black-box component based systems by inferring partial models
- auteur
- Muzammil Shahbaz, Roland Groz
- article
- Journal of Software Testing, Verification and Reliability, 2014, 24 (4), ⟨10.1002/stvr.1491⟩
- titre
- Inferring Approximated Models for Systems Engineering
- auteur
- Alexandre Petrenko, Keqin Li, Roland Groz, Karim Hossen, Catherine Oriat
- article
- 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014), 2014, Miami, Florida, United States. pp.249-253, ⟨10.1109/HASE.2014.46⟩
- titre
- Automatic Model Inference of Web Applications for Security Testing
- auteur
- Karim Hossen, Catherine Oriat, Roland Groz, Jean-Luc Richier
- article
- Position Statement at SecTest2014, co-located with ICST2014, 2014, Cleveland, Ohio, United States
- titre
- Model Inference and Security Testing in the SPaCIoS Project
- auteur
- Matthias Buchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, Catherine Oriat
- article
- IEEE Working Conference on Reverse Engineering, CSMR-WCRE 2014, 2014, Antwerp, Belgium. pp.411-414
- titre
- KameleonFuzz: Evolutionary Fuzzing for Black-Box XSS Detection
- auteur
- Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz
- article
- Fourth ACM Conference on Data and Application Security and Privacy (CODASPY 2014), 2014, Unknown, pp.37-48, ⟨10.1145/2557547.2557550⟩
- titre
- KameleonFuzz : The day Darwin drove my XSS Fuzzer!
- auteur
- Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz
- article
- WASR 2013 - 1st European workshop on Web Application Security Research, EU FP7 projects WebSand, STREWS, SPaCIoS, and NESSoS, Aug 2013, Hamburg, Germany
- titre
- Fuzzing Intelligent de XSS Type-2 Filtrés selon Darwin: KameleonFuzz
- auteur
- Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz
- article
- SSTIC 2013 - Symposium sur la Sécurité des Technologies de l'Information et des Communications, Jun 2013, Rennes, France. pp.289-311
- titre
- A Hesitation Step into the BlackBox: Heuristic-Based Web Applications Reverse Engineering
- auteur
- Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz
- article
- NSC 2013 - NoSuchCon Conference, May 2013, Paris, France
- titre
- Evolving Indigestible Codes: Fuzzing Interpreters with Genetic Programming
- auteur
- Sanjay Rawat, Fabien Duchene, Roland Groz, Jean-Luc Richier
- article
- CICS 2013 - IEEE Symposium on Computational Intelligence in Cyber Security (held at SSCI 2013), Apr 2013, Singapore, Singapore
- titre
- A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information
- auteur
- Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis
- article
- 6th International Conference on Software Testing and Verification (ICST 2013), Mar 2013, Luxembourg, Luxembourg. pp.104-113
- titre
- Evolutionary Fuzz Testing Techniques - Advances and Applications (tutorial)
- auteur
- Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz
- article
- ICST 2013 - 6th IEEE International Conference on Software Testing, Verification, and Validation, Mar 2013, Luxembourg, Luxembourg
- titre
- Automatic generation of test drivers for model inference of web applications
- auteur
- Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier
- article
- SECTEST 2013 - Fourth International Workshop on Security Testing (affiliated with ICST2013), Mar 2013, Luxembourg, Luxembourg. pp.441-444, ⟨10.1109/ICSTW.2013.57⟩
- titre
- LigRE: Reverse-Engineering of Control and Data Flow Models for Black-Box XSS Detection
- auteur
- Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz
- article
- Working Conference in Reverse Engineering (WCRE 2013), 2013, Koblenz-Landau, Germany. pp.252-261
- titre
- Model Inference and Testing
- auteur
- Muhammad Naeem Irfan, Catherine Oriat, Roland Groz
- article
- Atif Memon. Advances in Computers, 89, Elsevier, pp.89-139, 2013, ⟨10.1016/B978-0-12-408094-2.00003-5⟩
- titre
- Verification of Modular Systems with Unknown Components Combining Testing and Inference
- auteur
- Roland Groz, Keqin Li, Alexandre Petrenko
- article
- 2013
- titre
- Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing
- auteur
- Roland Groz, Muhammad Naeem Irfan, Catherine Oriat
- article
- ISoLA 2012 - 5th International Symposium on Leveraging Applications, Oct 2012, Crete, Greece. pp.444-457, ⟨10.1007/978-3-642-34026-0_33⟩
- titre
- Improving Model Inference of Black Box Components having Large Input Test Set
- auteur
- Muhammad Naeem Irfan, Roland Groz, Catherine Oriat
- article
- ICGI 2012 - 11th International Conference on Grammatical Inference, Sep 2012, College Park, MD, United States. pp.133-138
- titre
- XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing
- auteur
- Fabien Duchene, Roland Groz, Sanjay Rawat, Jean-Luc Richier
- article
- SECTEST 2012 - 3rd International Workshop on Security Testing (affiliated with ICST), Apr 2012, Montreal, Canada. pp.815-817, ⟨10.1109/ICST.2012.181⟩
- titre
- A Taint Based Approach for Smart Fuzzing
- auteur
- Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier
- article
- ICST2012 - 5th International Conference on Software Testing, Verification and Validation, Apr 2012, Montreal, QC, Canada. pp.818-825, ⟨10.1109/ICST.2012.182⟩
- titre
- Évaluation de la qualité de jeux de tests hybrides en domotique
- auteur
- Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis
- article
- AFADL 2012 - Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. pp.104-119
- titre
- Verification of Modular Systems with Unknown Components Combining Testing and Inference
- auteur
- Roland Groz, Keqin Li, Alexandre Petrenko
- article
- [Research Report] RR-LIG-028, LIG. 2012
- titre
- Home Automation Systems Testing : A Coverage Measure for Hybrid Automata
- auteur
- Yves Grasland, Lydie Du Bousquet, Roland Groz, Ioannis Parissis
- article
- ICTSS 2011 - 23rd IFIP International Conference on Testing Software and Systems, Nov 2011, Paris, France. pp.5-12
- titre
- Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols
- auteur
- Karim Hossen, Roland Groz, Jean-Luc Richier
- article
- SECTEST 2011 - 2nd International Workshop on Security Testing (part of ICSTW), Mar 2011, Berlin, Germany. pp.534-536, ⟨10.1109/ICSTW.2011.83⟩
- titre
- Finding Software Vulnerabilities by Smart Fuzzing
- auteur
- Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier
- article
- ICST2011 - IEEE 4th International Conference on Software Testing, Verification and Validation, Mar 2011, Berlin, Germany. pp.427-430, ⟨10.1109/ICST.2011.48⟩
- titre
- Learning Finite State Models of Observable Nondeterministic Systems in a Testing Context
- auteur
- Khaled El-Fakih, Roland Groz, Muhammad Naeem Irfan, Muzammil Shahbaz
- article
- 22nd IFIP International Conference on Testing Software and Systems, 2010, Natal, Brazil. pp.97-102
- titre
- Angluin Style Finite State Machine Inference with Non-optimal Counterexamples
- auteur
- Muhammad Naeem Irfan, Catherine Oriat, Roland Groz
- article
- 1st International Workshop on Model Inference In Testing, MIIT 2010, 2010, Trento, pp.11-19, ⟨10.1145/1868044.1868046⟩
- titre
- Optimising Angluin Algorithm L* by Minimising the Number of Membership Queries to Process Counterexamples
- auteur
- Muhammad Naeem Irfan, Roland Groz, Catherine Oriat
- article
- Zulu Workshop, 2010, Valencia
- titre
- Inferring Mealy Machines
- auteur
- Muzammil Shahbaz, Roland Groz
- article
- Formal Methods 2009, 2009, Eindhoven, Netherland, pp.207-222, ⟨10.1007/978-3-642-05089-3_14⟩