| Confirming configurations in EFSM testing A Petrenko, S Boroday, R Groz IEEE Transactions on Software engineering 30 (1), 29-42, 2004 | 236 | 2004 |
| Inferring mealy machines M Shahbaz, R Groz FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009 | 196 | 2009 |
| KameleonFuzz: evolutionary fuzzing for black-box XSS detection F Duchene, S Rawat, JL Richier, R Groz Proceedings of the 4th ACM conference on Data and application security and …, 2014 | 121 | 2014 |
| Finding software vulnerabilities by smart fuzzing S Bekrar, C Bekrar, R Groz, L Mounier 2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011 | 101 | 2011 |
| XSS vulnerability detection using model inference assisted evolutionary fuzzing F Duchene, R Groz, S Rawat, JL Richier 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 96 | 2012 |
| A taint based approach for smart fuzzing S Bekrar, C Bekrar, R Groz, L Mounier 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 96 | 2012 |
| Automated test generation from SDL specifications A Kerbrat, T Jéron, R Groz SDL'99, 135-151, 1999 | 89 | 1999 |
| Development of VEDA, a prototyping tool for distributed algorithms C Jard, JF Monin, R Groz IEEE Transactions on Software Engineering 14 (3), 339-352, 1988 | 87 | 1988 |
| Test generation from security policies specified in Or-BAC K Li, L Mounier, R Groz 31st Annual International Computer Software and Applications Conference …, 2007 | 48 | 2007 |
| Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities. MD Nguyen, S Bardin, R Bonichon, R Groz, M Lemerre RAID, 47-62, 2020 | 42 | 2020 |
| Modular system verification by inference, testing and reachability analysis R Groz, K Li, A Petrenko, M Shahbaz Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 …, 2008 | 42 | 2008 |
| LigRE: Reverse-engineering of control and data flow models for black-box XSS detection F Duchene, S Rawat, JL Richier, R Groz 2013 20th Working Conference on Reverse Engineering (WCRE), 252-261, 2013 | 39 | 2013 |
| Test generation for network security rules V Darmaillacq, JC Fernandez, R Groz, L Mounier, JL Richier Testing of Communicating Systems: 18th IFIP TC 6/WG 6.1 International …, 2006 | 39 | 2006 |
| Learning and integration of parameterized components through testing M Shahbaz, K Li, R Groz Testing of Software and Communicating Systems: 19th IFIP TC6/WG6. 1 …, 2007 | 37 | 2007 |
| Integration testing of components guided by incremental state machine learning K Li, R Groz, M Shahbaz Testing: Academic & Industrial Conference-Practice And Research Techniques …, 2006 | 36 | 2006 |
| Unrestricted verification of protocol properties on a simulation using an observer approach R Groz Protocol Specification, Testing and Verification, 255-266, 1986 | 36 | 1986 |
| Can a model checker generate tests for non-deterministic systems? S Boroday, A Petrenko, R Groz Electronic Notes in Theoretical Computer Science 190 (2), 3-19, 2007 | 35 | 2007 |
| Two approaches linking a test generation tool with verification techniques M Clatin, R Groz, M Phalippou, R Thummel Protocol Test Systems VIII: Proceedings of the IFIP WG6. 1 TC6 Eighth …, 1996 | 35 | 1996 |
| Analysis and testing of black‐box component‐based systems by inferring partial models M Shahbaz, R Groz Software Testing, Verification and Reliability 24 (4), 253-288, 2014 | 33 | 2014 |
| Confirming configurations in EFSM A Petrenko, S Boroday, R Groz Formal Methods for Protocol Engineering and Distributed Systems: FORTE XII …, 1999 | 33 | 1999 |
