The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roland Groz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michel Diaz, Jean Dufau, Roland Groz
    Experiences Using Estelle Within SEDOS Estelle Demonstrator. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:455-470 [Conf]
  2. 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]
  3. 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]
  4. 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]
  5. Alexandre Petrenko, Sergiy Boroday, Roland Groz
    Confirming configurations in EFSM. [Citation Graph (0, 0)][DBLP]
    FORTE, 1999, pp:5-24 [Conf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. Mikael Marche, Yves-Marie Quemener, Roland Groz
    Testing Mobile Agents. [Citation Graph (0, 0)][DBLP]
    TestCom, 2002, pp:95-110 [Conf]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]

  24. Inferring Mealy Machines. [Citation Graph (, )][DBLP]


  25. Using Invariant Detection Mechanism in Black Box Inference. [Citation Graph (, )][DBLP]


  26. Modular System Verification by Inference, Testing and Reachability Analysis. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002