Search the dblp DataBase
Fabien Peureux :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] Bruno Legeard , Fabien Peureux , Mark Utting Automated Boundary Testing from Z and B. [Citation Graph (0, 0)][DBLP ] FME, 2002, pp:21-40 [Conf ] 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 ] 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 ] 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 ] 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 ] Fabrice Bouquet , Bruno Legeard , Fabien Peureux CLPS-B - A Constraint Solver for B. [Citation Graph (0, 0)][DBLP ] TACAS, 2002, pp:188-204 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] A Test Generation Solution to Automate Software Testing. [Citation Graph (, )][DBLP ] Requirements traceability in automated test generation: application to smart card software validation. [Citation Graph (, )][DBLP ] A subset of precise UML for model-based testing. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.007secs