Search the dblp DataBase

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]