 | 2009 |
|---|
| 29 |       | Muzammil Shahbaz,
Roland Groz:
Inferring Mealy Machines.
FM 2009: 207-222 |
| 2008 |
|---|
| 28 | | Roland Groz,
Keqin Li,
Alexandre Petrenko,
Muzammil Shahbaz:
Modular System Verification by Inference, Testing and Reachability Analysis.
TestCom/FATES 2008: 216-233 |
| 27 | | 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 | | Keqin Li,
Laurent Mounier,
Roland Groz:
Test Generation from Security Policies Specified in Or-BAC.
COMPSAC (2) 2007: 255-260 |
| 25 | | 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 | | Muzammil Shahbaz,
Keqin Li,
Roland Groz:
Learning and Integration of Parameterized Components Through Testing.
TestCom/FATES 2007: 319-334 |
| 22 | | 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 | | Keqin Li,
Roland Groz,
Muzammil Shahbaz:
Integration Testing of Distributed Components Based on Learning Parameterized I/O Models.
FORTE 2006: 436-450 |
| 20 | | Keqin Li,
Roland Groz,
Muzammil Shahbaz:
Integration Testing of Components Guided by Incremental State Machine Learning.
TAIC PART 2006: 59-70 |
| 19 | | 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 | | Alexandre Petrenko,
Sergiy Boroday,
Roland Groz:
Confirming Configurations in EFSM Testing.
IEEE Trans. Software Eng. 30(1): 29-42 (2004) |
| 2002 |
|---|
| 16 | | 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 | | 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 | | 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 |
