Publications of Roland Groz

Load the BibTeX file

Books

1. R. Groz, R. M. Hierons. Testing of Communicating Systems, 16th IFIP International Conference, TestCom 2004. Springer, Oxford, UK, March 2004.

Academic Journals

1. M. Shahbaz, R. Groz. Analysis and testing of black-box component based systems by inferring partial models. Software Testing, Verification and Reliability, February 2013. download
2. Roland Groz, Muzammil Shahbaz, K. Li. Extraction de modèles paramétrés au cours du test de composants logiciels. Technique et Science Informatiques, 27(8):977-1006, 2008.
3. V. Darmaillacq, J-.C. Fernandez, R. Groz, L. Mounier, J-.L. Richier. Tester la conformité d'un réseau à une politique de sécurité. Revue de l'Electricité et de l'Electronique, 6/7:33-43, 2006.
4. A. Petrenko, S. Boroday, R. Groz. Confirming Configurations in EFSM Testing. IEEE Trans. Software Engineering, 30(1):29-42, 2004.

Book Chapters

1. Muhammad Naeem Irfan, Catherine Oriat, Roland Groz. Model Inference and Testing. In Advances in Computers, Atif Memon (ed.), Vol. 89, pp. 89-139, Elsevier, April 2013.

International Conferences

1. Roland Groz, Adenilso Simao, Alexandre Petrenko, Catherine Oriat. Inferring finite state machines without reset using state identification sequences. In Proceedings of the International Conference on Testing Software and Systems, ICTSS 2015, Dubai, November 2015.
2. Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier. Automatic Model Inference of Web Applications for Security Testing. In 5th International Workshop on Security Testing (SECTEST 2014), Workshop of the IEEE 7th International Conference on Software Testing, Verification and Validation (ICST 2014), 2014.
3. Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz. KameleonFuzz: Evolutionary Fuzzing for Black-Box XSS Detection. In Fourth ACM Conference on Data and Application Security and Privacy (CODASPY 2014), March 2014. download
4. Matthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, Catherine Oriat. Model Inference and Security Testing in the SPaCIoS Project. In IEEE Working Conference on Reverse Engineering, CSMR-WCRE 2014, Pages 411-414, Antwerp, Belgium, February 2014.
5. Alexandre Petrenko, Keqin Li, Roland Groz, Karim Hossen, Catherine Oriat. Inferring Approximated Models for Systems Engineering. In 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014), Pages 249-253, Miami, Florida, USA, January 2014.
6. Sanjay Rawat, Fabien Duchene, Roland Groz, Jean-Luc Richier. Evolving Indigestible Codes: Fuzzing Interpreters with Genetic Programming. In IEEE Symposium on Computational Intelligence in Cyber Security (CICS 2013), in association with the IEEE Symposium Series on Computational Intelligence (SSCI 2013), Pages 37-39, Singapore, Singapore, 2013.
7. Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz. LigRE: Reverse-Engineering of Control and Data Flow Models for Black-Box XSS Detection. In Working Conference in Reverse Engineering (WCRE 2013), Volume 20, Pages 252-261, Koblenz-Landau, Germany, October 2013.
8. Y. Grasland, L du Bousquet, R. Groz, I. Parissis. A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information. In Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Pages 104-113, Luxembourg, April 2013.
9. Karim Hossen, Roland Groz, Catherine Oriat, Jean-Luc Richier. Automatic generation of test drivers for model inference of web applications. In Fourth International Workshop on Security Testing (SECTEST 2013), Workshop of the IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Pages 441-444, Luxembourg, March 2013.
10. Roland Groz, Muhammad Naeem Irfan, Catherine Oriat. Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing. In Proceedings of the International Symposium on Leveraging Applications, ISoLA 2012, Lecture Notes in Computer Science, Volume 7609, Pages 444-457, October 2012.
11. Muhammad Naeem Irfan, Roland Groz, Catherine Oriat. Improving Model Inference of Black Box Components having Large Input Test Set. In Proceedings of the 11th International Conference on Grammatical Inference, ICGI 2012, Pages 133-138, September 2012.
12. Fabien Duchene, Roland Groz, Sanjay Rawat, Jean-Luc Richier. XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing. In Fifth International Conference on Software Testing, Verification and Validation, ICST 2012, Pages 815-817, Montreal, QC, Canada, April 2012. download
13. Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier. A Taint Based Approach for Smart Fuzzing. In Fifth International Conference on Software Testing, Verification and Validation, ICST 2012, Pages 818-825, Montreal, QC, Canada, April 2012. download
14. Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis. Home Automation Systems Testing : A Coverage Measure for Hybrid Automata. In Proceedings of the 23rd IFIP Int. Conference on Testing Software and Systems, ICTSS'2011, Burkhart Wolff, Fatiha Zaidi (eds.), Pages 5-12, Paris, France, November 2011.
15. Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier. Finding Software Vulnerabilities by Smart Fuzzing. In IEEE Fourth International Conference on Software Testing, Verification and Validation, ICST 2011, Pages 427-430, Berlin, Germany, March 2011.
16. Khaled El-Fakih, Roland Groz, Muhammad Naeem Irfan, Muzammil Shahbaz. Learning Finite State Models of Observable Nondeterministic Systems in a Testing Context. In 22nd IFIP International Conference on Testing Software and Systems, Pages 97-102, Natal, Brazil, 2010.
17. Muzammil Shahbaz, Roland Groz. Inferring Mealy Machines. In Formal Methods 2009, Pages 207-222, Eindhoven, Netherland, November 2009.
18. Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz. Modular System Verification by Inference, Testing and Reachability Analysis. In Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa (eds.), Lecture Notes in Computer Science, Volume 5047, Pages 216-233, 2008.
19. Muzammil Shahbaz, Roland Groz. Using Invariant Detection Mechanism in Black Box Inference. In ISoLA 2007, Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Poitiers-Futuroscope, France, December 12-14, 2007, Yamine A\"\it Ameur, Frédéric Boniol, Virginie Wiels (eds.), Revue des Nouvelles Technologies de l'Information, Volume RNTI-SM-1, Pages 215-222, 2007.
20. M. Shahbaz, K. Li, R. Groz. Learning Parameterized State Machine Model for Integration Testing. In COMPSAC - TEST Workshop (IEEE International Workshop on Testing Emerging Software Technology), Pages 755-760, Beijing, July 2007.
21. K. Li, L. Mounier, R. Groz. Test Generation from Security Policies Specified in Or-BAC. In COMPSAC - IWSSE Workshop (IEEE International Workshop on Security in Software Engineering), Pages 255-260, Beijing, July 2007.
22. M. Shahbaz, K. Li, R. Groz. Learning and Integration of Parameterized Components through Testing. In TestCom-Fates'07, LNCS 4581, Pages 319-334, Tallinn, June 2007. download
23. S. Boroday, A. Petrenko, R. Groz. Can a Model-Checker generate Tests for Non-Deterministic Systems. In Third Workshop on Model-Based Testing (MBT), Pages 3-19, Braga, Portugal, March 2007.
24. Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier. Test Generation for Network Security Rules. In Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko (eds.), Lecture Notes in Computer Science, Volume 3964, Pages 341-356, 2006.
25. K. Li, R. Groz, M. Shahbaz. Integration Testing of Distributed Components based on Learning Parameterized I/O Models. In FORTE2006 Paris, LNCS 4229, Pages 436-450, Paris, September 2006.
26. K. Li, R. Groz, M. Shahbaz. Integration testing of components guided by incremental state machine learning. In Testing Academic & Industrial Conference Practice And Research Techniques (TAIC PART), Pages 59-70, Windsor, UK, August 2006.
27. V. Darmaillacq, J-.C. Fernandez, R. Groz, L. Mounier, and J.-L. Richier. Test Generation for Network Security Rules. In 18th IFIP International Conference on Testing Communicating Systems (TestCom 2006), LNCS 3964, Pages 25-27, New York City, USA, May 2006.

National conferences or workshops

1. Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz. Fuzzing Intelligent de XSS Type-2 Filtrés selon Darwin: KameleonFuzz. In Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC), Pages 289-311, Rennes, France, June 2013.
2. Yves Grasland, Lydie du Bousquet, Roland Groz, Ioannis Parissis. Évaluation de la qualité de jeux de tests hybrides en domotique. In Actes de la Conférence AFADL'12: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 104-119, Grenoble, January 2012.
3. Karim Hossen, Roland Groz, Jean-Luc Richier. Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols. In Second International Workshop on Security Testing (SECTEST 2011), Workshop of the IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST2011), Pages 534-536, Berlin, Germany, March 2011. download
4. Muhammad Naeem Irfan, Roland Groz, Catherine Oriat. Optimising Angluin Algorithm L* by Minimising the Number of Membership Queries to Process Counterexamples. In Zulu Workshop, Valencia, September 2010.
5. Muhammad Naeem Irfan, Catherine Oriat, Roland Groz. Angluin Style Finite State Machine Inference with Non-optimal Counterexamples. In 1st International Workshop on Model Inference In Testing, MIIT 2010, Pages 11-19, July 2010.
6. R. Groz, M. Shahbaz, K. Li. Une approche incrémentale de test par extraction de modèles. In AFADL'07 (Approches Formelles dans l'Assistance au Développement de Logiciels, 10ème anniversaire), Namur, June 2007.
7. V. Darmaillacq, J-C. Fernandez, R. Groz, L. Mounier, J.-L. Richier. Éléments de modélisation pour le test de politiques de sécurité. In Colloque sur les RIsques et la Sécurité d'Internet et des Systèmes, CRiSIS, Bourges, October 2005.
8. A. Kermarrec, R. Groz, B. Parreaux, A. Petrenko. Machines de mutations pour l'enrichissement de test de protocoles. In Colloque Francophone sur l'Ingénierie des Protocoles (CFIP 2005), Pages 33-49, Bordeaux, March 2005.

Research Reports

1. Roland Groz, Keqin Li, Alexandre Petrenko. Verification of Modular Systems with Unknown Components Combining Testing and Inference. Research Report LIG, No 28, 2013.

Other communications

1. Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz. KameleonFuzz : The day Darwin drove my XSS Fuzzer!. talk given at the 1st European workshop on Web Application Security Research (WASR), with OWASP AppSecEU, Hamburg, Germany, August 2013.
2. Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz. A Hesitation Step into the BlackBox: Heuristic-Based Web Applications Reverse Engineering. NoSuchCon (NSC), Paris, France, May 2013.
3. Fabien Duchene, Sanjay Rawat, Jean-Luc Richier, Roland Groz. Evolutionary Fuzz Testing Techniques - Advances and Applications (tutorial). the sixth IEEE International Conference on Software Testing, Verification, and Validation (ICST), Luxembourg, March 2013.