|
Search the dblp DataBase
Roland Groz:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Michel Diaz, Jean Dufau, Roland Groz
Experiences Using Estelle Within SEDOS Estelle Demonstrator. [Citation Graph (0, 0)][DBLP] FORTE, 1989, pp:455-470 [Conf]
- Roland Groz, Olivier Charles, Josiane Renévot
Relating Conformance Test Coverage to Formal Specifications. [Citation Graph (0, 0)][DBLP] FORTE, 1996, pp:195-210 [Conf]
- Roland Groz, Nathalie Risser
Eight Years of Experience in Test Generation from FDTs using TVEDA. [Citation Graph (0, 0)][DBLP] FORTE, 1997, pp:465-480 [Conf]
- Keqin Li 0002, Roland Groz, Muzammil Shahbaz
Integration Testing of Distributed Components Based on Learning Parameterized I/O Models. [Citation Graph (0, 0)][DBLP] FORTE, 2006, pp:436-450 [Conf]
- Alexandre Petrenko, Sergiy Boroday, Roland Groz
Confirming configurations in EFSM. [Citation Graph (0, 0)][DBLP] FORTE, 1999, pp:5-24 [Conf]
- Marc Phalippou, Roland Groz
Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol. [Citation Graph (0, 0)][DBLP] FORTE, 1988, pp:185-199 [Conf]
- Marc Phalippou, Roland Groz
From Estelle Specifications to Industrial Test Suites, Using and Empirical Approach. [Citation Graph (0, 0)][DBLP] FORTE, 1990, pp:175-190 [Conf]
- Qiang Gao, Roland Groz, Gregor von Bochmann, Joumana Dargham, E. Houssain Htite
Validation of distributed algorithms and protocols. [Citation Graph (0, 0)][DBLP] ICNP, 1995, pp:110-117 [Conf]
- Roland Groz, Claude Jard, Claire Lassudrie
Attacking a Complex Distributed Algorithm from Different Sides: An Experience with Complementary Validation Tools. [Citation Graph (0, 0)][DBLP] PSTV, 1984, pp:3-17 [Conf]
- Claude Jard, Jean-François Monin, Roland Groz
Experience in implementing ESTELLE-X.250 (a CCITT subset of ESTELLE) in VEDA. [Citation Graph (0, 0)][DBLP] PSTV, 1985, pp:315-331 [Conf]
- Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener
Test Generation for CEFSM Combining Specification and Fault Coverage. [Citation Graph (0, 0)][DBLP] TestCom, 2002, pp:355-372 [Conf]
- Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier
Test Generation for Network Security Rules. [Citation Graph (0, 0)][DBLP] TestCom, 2006, pp:341-356 [Conf]
- Mikael Marche, Yves-Marie Quemener, Roland Groz
Testing Mobile Agents. [Citation Graph (0, 0)][DBLP] TestCom, 2002, pp:95-110 [Conf]
- Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener
Techniques for Abstracting SDL Specifications. [Citation Graph (0, 0)][DBLP] SAM, 2002, pp:141-157 [Conf]
- Alain Kerbrat, Thierry Jéron, Roland Groz
Automated test generation from SDL specifications. [Citation Graph (0, 0)][DBLP] SDL Forum, 1999, pp:135-152 [Conf]
- Keqin Li 0002, Roland Groz, Muzammil Shahbaz
Integration Testing of Components Guided by Incremental State Machine Learning. [Citation Graph (0, 0)][DBLP] TAIC PART, 2006, pp:59-70 [Conf]
- Roland Groz, Claude Jard, Claire Lassudrie
Attacking a Complex Distributed Algorithm from Different Sides: an Experience with Complementary Validation Tools. [Citation Graph (0, 0)][DBLP] Computer Networks, 1986, v:10, n:, pp:245-257 [Journal]
- Claude Jard, Jean-François Monin, Roland Groz
Development of Véda, a Prototyping Tool for Distributed Algorithms. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1988, v:14, n:3, pp:339-352 [Journal]
- Alexandre Petrenko, Sergiy Boroday, Roland Groz
Confirming Configurations in EFSM Testing. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2004, v:30, n:1, pp:29-42 [Journal]
- Muzammil Shahbaz, Keqin Li 0002, Roland Groz
Learning Parameterized State Machine Model for Integration Testing. [Citation Graph (0, 0)][DBLP] COMPSAC (2), 2007, pp:755-760 [Conf]
- Keqin Li 0002, Laurent Mounier, Roland Groz
Test Generation from Security Policies Specified in Or-BAC. [Citation Graph (0, 0)][DBLP] COMPSAC (2), 2007, pp:255-260 [Conf]
- Muzammil Shahbaz, Keqin Li 0002, Roland Groz
Learning and Integration of Parameterized Components Through Testing. [Citation Graph (0, 0)][DBLP] TestCom/FATES, 2007, pp:319-334 [Conf]
- Sergiy Boroday, Alexandre Petrenko, Roland Groz
Can a Model Checker Generate Tests for Non-Deterministic Systems? [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:3-19 [Journal]
Inferring Mealy Machines. [Citation Graph (, )][DBLP]
Using Invariant Detection Mechanism in Black Box Inference. [Citation Graph (, )][DBLP]
Modular System Verification by Inference, Testing and Reachability Analysis. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|