Travelled to:1 × Belgium
1 × Canada
1 × Estonia
1 × Japan
1 × Luxembourg
1 × The Netherlands
1 × USA
3 × Germany
Collaborated with:M.Shahbaz A.Petrenko J.Richier L.Mounier K.Li S.Boroday Y.Quemener F.Duchene S.Rawat S.Bekrar C.Bekrar M.Marche Y.Grasland L.d.Bousquet I.Parissis V.Darmaillacq J.Fernandez M.Büchler K.Hossen P.F.Mihancea M.Minea C.Oriat
Talks about:test (8) model (4) infer (4) generat (3) fuzz (3) approach (2) vulner (2) system (2) detect (2) smart (2)
Person: Roland Groz
DBLP: Groz:Roland
Facilitated 1 volumes:
EdContributed to:
2014
2013
201320122011
2009
2008
2007200720062002Wrote 13 papers:
- CSMR-WCRE-2014-BuchlerHMMGO #model inference #security #testing
- Model inference and security testing in the spacios project (MB, KH, PFM, MM, RG, CO), pp. 411–414.
- ICST-2013-GraslandBGP #approach #functional #hybrid #safety #testing
- A Functional Testing Approach for Hybrid Safety Properties with Incomplete Information (YG, LdB, RG, IP), pp. 104–113.
- WCRE-2013-DucheneRRG #black box #data flow #detection #modelling #named
- LigRE: Reverse-engineering of control and data flow models for black-box XSS detection (FD, SR, JLR, RG), pp. 252–261.
- ICST-2012-BekrarBGM #approach #fuzzing
- A Taint Based Approach for Smart Fuzzing (SB, CB, RG, LM), pp. 818–825.
- ICST-2012-DucheneGRR #detection #fuzzing #model inference #using
- XSS Vulnerability Detection Using Model Inference Assisted Evolutionary Fuzzing (FD, RG, SR, JLR), pp. 815–817.
- ICST-2011-BekrarBGM #fuzzing
- Finding Software Vulnerabilities by Smart Fuzzing (SB, CB, RG, LM), pp. 427–430.
- FM-2009-ShahbazG #automaton
- Inferring Mealy Machines (MS, RG), pp. 207–222.
- TestCom-FATES-2008-GrozLPS #analysis #composition #reachability #testing #verification
- Modular System Verification by Inference, Testing and Reachability Analysis (RG, KL, AP, MS), pp. 216–233.
- MBT-2007-BorodayPG #model checking #nondeterminism #question #testing
- Can a Model Checker Generate Tests for Non-Deterministic Systems? (SB, AP, RG), pp. 3–19.
- TestCom-FATES-2007-ShahbazLG #component #integration #learning #testing
- Learning and Integration of Parameterized Components Through Testing (MS, KL, RG), pp. 319–334.
- TestCom-2006-DarmaillacqFGMR #generative #network #security #testing
- Test Generation for Network Security Rules (VD, JCF, RG, LM, JLR), pp. 341–356.
- TestCom-2002-BorodayPGQ #fault #generative #specification #testing
- Test Generation for CEFSM Combining Specification and Fault Coverage (SB, AP, RG, YMQ), pp. 355–372.
- TestCom-2002-MarcheQG #mobile #testing
- Testing Mobile Agents (MM, YMQ, RG), pp. 95–110.