2008 |
28 | EE | Roland Groz,
Keqin Li,
Alexandre Petrenko,
Muzammil Shahbaz:
Modular System Verification by Inference, Testing and Reachability Analysis.
TestCom/FATES 2008: 216-233 |
27 | EE | 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) |
2007 |
26 | EE | Keqin Li,
Laurent Mounier,
Roland Groz:
Test Generation from Security Policies Specified in Or-BAC.
COMPSAC (2) 2007: 255-260 |
25 | EE | Muzammil Shahbaz,
Keqin Li,
Roland Groz:
Learning Parameterized State Machine Model for Integration Testing.
COMPSAC (2) 2007: 755-760 |
24 | | Muzammil Shahbaz,
Roland Groz:
Using Invariant Detection Mechanism in Black Box Inference.
ISoLA 2007: 215-222 |
23 | EE | Muzammil Shahbaz,
Keqin Li,
Roland Groz:
Learning and Integration of Parameterized Components Through Testing.
TestCom/FATES 2007: 319-334 |
22 | EE | Sergiy Boroday,
Alexandre Petrenko,
Roland Groz:
Can a Model Checker Generate Tests for Non-Deterministic Systems?
Electr. Notes Theor. Comput. Sci. 190(2): 3-19 (2007) |
2006 |
21 | EE | Keqin Li,
Roland Groz,
Muzammil Shahbaz:
Integration Testing of Distributed Components Based on Learning Parameterized I/O Models.
FORTE 2006: 436-450 |
20 | EE | Keqin Li,
Roland Groz,
Muzammil Shahbaz:
Integration Testing of Components Guided by Incremental State Machine Learning.
TAIC PART 2006: 59-70 |
19 | EE | Vianney Darmaillacq,
Jean-Claude Fernandez,
Roland Groz,
Laurent Mounier,
Jean-Luc Richier:
Test Generation for Network Security Rules.
TestCom 2006: 341-356 |
2004 |
18 | | Roland Groz,
Robert M. Hierons:
Testing of Communicating Systems, 16th IFIP International Conerence, TestCom 2004, Oxford, UK, March 17-19, 2004, Proceedings
Springer 2004 |
17 | EE | Alexandre Petrenko,
Sergiy Boroday,
Roland Groz:
Confirming Configurations in EFSM Testing.
IEEE Trans. Software Eng. 30(1): 29-42 (2004) |
2002 |
16 | EE | Sergiy Boroday,
Roland Groz,
Alexandre Petrenko,
Yves-Marie Quemener:
Techniques for Abstracting SDL Specifications.
SAM 2002: 141-157 |
15 | | Sergiy Boroday,
Alexandre Petrenko,
Roland Groz,
Yves-Marie Quemener:
Test Generation for CEFSM Combining Specification and Fault Coverage.
TestCom 2002: 355-372 |
14 | | Mikael Marche,
Yves-Marie Quemener,
Roland Groz:
Testing Mobile Agents.
TestCom 2002: 95-110 |
1999 |
13 | | Alexandre Petrenko,
Sergiy Boroday,
Roland Groz:
Confirming configurations in EFSM.
FORTE 1999: 5-24 |
12 | | Alain Kerbrat,
Thierry Jéron,
Roland Groz:
Automated test generation from SDL specifications.
SDL Forum 1999: 135-152 |
1997 |
11 | | Roland Groz,
Nathalie Risser:
Eight Years of Experience in Test Generation from FDTs using TVEDA.
FORTE 1997: 465-480 |
1996 |
10 | | Roland Groz,
Olivier Charles,
Josiane Renévot:
Relating Conformance Test Coverage to Formal Specifications.
FORTE 1996: 195-210 |
1995 |
9 | EE | Qiang Gao,
Roland Groz,
Gregor von Bochmann,
Joumana Dargham,
E. Houssain Htite:
Validation of distributed algorithms and protocols.
ICNP 1995: 110-117 |
1993 |
8 | | Michel Diaz,
Roland Groz:
Formal Description Techniques, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '92, Perros-Guirec, France, 13-16 October 1992
North-Holland 1993 |
1990 |
7 | | Marc Phalippou,
Roland Groz:
From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach.
FORTE 1990: 175-190 |
1989 |
6 | | Michel Diaz,
Jean Dufau,
Roland Groz:
Experiences Using Estelle Within SEDOS Estelle Demonstrator.
FORTE 1989: 455-470 |
1988 |
5 | | Marc Phalippou,
Roland Groz:
Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol.
FORTE 1988: 185-199 |
4 | EE | Claude Jard,
Jean-François Monin,
Roland Groz:
Development of Véda, a Prototyping Tool for Distributed Algorithms.
IEEE Trans. Software Eng. 14(3): 339-352 (1988) |
1986 |
3 | | Roland Groz,
Claude Jard,
Claire Lassudrie:
Attacking a Complex Distributed Algorithm from Different Sides: an Experience with Complementary Validation Tools.
Computer Networks 10: 245-257 (1986) |
1985 |
2 | | Claude Jard,
Jean-François Monin,
Roland Groz:
Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA.
PSTV 1985: 315-331 |
1984 |
1 | | Roland Groz,
Claude Jard,
Claire Lassudrie:
Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation Tools.
PSTV 1984: 3-17 |