The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Fabien Peureux: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre
    Mastering Test Generation from Smart Card Software Formal Models. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2004, pp:70-85 [Conf]
  2. Machiel van der Bijl, Fabien Peureux
    I/O-automata Based Testing. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:173-200 [Conf]
  3. Bruno Legeard, Fabien Peureux, Mark Utting
    Automated Boundary Testing from Z and B. [Citation Graph (0, 0)][DBLP]
    FME, 2002, pp:21-40 [Conf]
  4. Eddy Bernard, Fabrice Bouquet, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, Eric Torreborre
    Model-Based Testing from UML Models. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 2006, pp:223-230 [Conf]
  5. Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting
    Boundary Coverage Criteria for Test Generation from Formal Models. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2004, pp:139-150 [Conf]
  6. Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Laurent Py
    Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2000, pp:125-144 [Conf]
  7. Bruno Legeard, Fabien Peureux
    Generation of Functional Test Sequences from B Formal Specifications-Presentation and Industrial Case Study. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:377-381 [Conf]
  8. Fabrice Bouquet, Bruno Legeard, Fabien Peureux
    CLPS-B - A Constraint Solver for B. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:188-204 [Conf]
  9. Bruno Legeard, Fabien Peureux, Mark Utting
    A Comparison of the BTT and TTF Test-Generation Methods. [Citation Graph (0, 0)][DBLP]
    ZB, 2002, pp:309-329 [Conf]
  10. Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
    Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. [Citation Graph (0, 0)][DBLP]
    Software Process: Improvement and Practice, 2006, v:11, n:5, pp:487-503 [Journal]
  11. Eddy Bernard, Bruno Legeard, Xavier Luck, Fabien Peureux
    Generation of test sequences from formal specifications: GSM 11-11 standard case study. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2004, v:34, n:10, pp:915-948 [Journal]
  12. Fabrice Bouquet, Bruno Legeard, Fabien Peureux
    CLPS-B - A constraint solver to animate a B specification. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:143-157 [Journal]
  13. Séverine Colin, Bruno Legeard, Fabien Peureux
    Preamble computation in automated test case generation using constraint logic programming. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2004, v:14, n:3, pp:213-235 [Journal]
  14. Bruno Legeard, Fabien Peureux, Mark Utting
    Controlling test case explosion in test generation from B formal models. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2004, v:14, n:2, pp:81-103 [Journal]
  15. Bruno Legeard, Fabien Peureux
    B-Testing-Tools : génération de tests aux limites à partir de spécifications B. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2002, v:21, n:9, pp:1189-1218 [Journal]
  16. Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
    An attempt to combine UML and formal methods to model airport security. [Citation Graph (0, 0)][DBLP]
    CAiSE Forum, 2006, pp:- [Conf]

  17. A Test Generation Solution to Automate Software Testing. [Citation Graph (, )][DBLP]


  18. Requirements traceability in automated test generation: application to smart card software validation. [Citation Graph (, )][DBLP]


  19. A subset of precise UML for model-based testing. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
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