Publications HAL de Roland,GROZ de la collection LIG
Résultats de la recherche --> Url version détaillée , Url version formatée
Critères : Author : "Roland,GROZ", Collection(s) : "LIG"
Nombre d'occurrences trouvées : 43.

titre
A Review of Intrusion Detection Systems for Industrial Control Systems
auteur
Mohamad Kaouk, Jean-Marie Flaus, Marie-Laure Potet, Roland Groz
article
International Conference on Control, Decision and Information Technologies, Apr 2019, Paris, France
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, Springer Verlag, 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
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
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
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
From Passive to Active FSM Inference via Checking Sequence Construction
auteur
Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
article
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.126-141, ⟨10.1007/978-3-319-67549-7_8⟩
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
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
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
Proceedings of the 5th Program Protection and Reverse Engineering Workshop, PPREW@ACSAC, Dec 2015, Los Angeles, CA, United States
titre
Analysis and testing of black-box component based systems by inferring partial models
auteur
Muzammil Shahbaz, Roland Groz
article
Software Testing, Verification and Reliability, Wiley, 2014, 24 (4), ⟨10.1002/stvr.1491⟩
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
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
Model Inference and Security Testing in the SPaCIoS Project
auteur
Matthias Büchler, 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 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
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
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
É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, 2012
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
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
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
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
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
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
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⟩