Back to INDEX

  Publications of Fabien Peureux  

Articles in journal or book chapters
  1. Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, and Fabrice Bouquet. Test Generation using Symbolic Animation of Models. In Model-Based Testing for Embedded Systems, Series on Computational Analysis, Synthesis, and Design of Dynamic Systems, pages 195--218. CRC Press, 2011. [bibtex]


  2. Jonathan Lasalle, Fabien Peureux, and Frédéric Fondement. Development of an automated MBT toolchain from UML/SysML models. ISSE, Special issue of the International NASA Journal on Innovations in Systems and Software Engineering, 7(4):247--256, September 2011. Note: Revised and extended version of a paper presented at the UML&FM'11 conference. [bibtex]


  3. Frédéric Fondement, Pierre-Alain Muller, Brice Wittman, Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Emilie Oudot, Fabien Peureux, Bruno Legeard, Marc Alter, and Claude Scherrer. VETESS : IDM, Test et SysML. Génie Logiciel, (93):43--48, June 2010. Note: Selected paper from the 7-th NEPTUNE Workshop. [bibtex]


  4. Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, and Fabien Peureux. Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. SPIP, The Journal of Software Process: Improvement and Practice, 11(5):487--503, 2006. [bibtex]


  5. E. Bernard, Bruno Legeard, X. Luck, and Fabien Peureux. Generation of test sequences from formal specifications: GSM 11-11 standard case study. International Journal of Software Practice and Experience, 34(10):915--948, 2004. [bibtex]


  6. Fabrice Bouquet, Bruno Legeard, and Fabien Peureux. CLPS-B: A Constraint Solver to Animate a B Specification. International Journal on Software Tools for Technology Transfer, STTT, 6(2):143--157, August 2004. [bibtex]


  7. S. Colin, Bruno Legeard, and Fabien Peureux. Preamble Computation in Automated Test Case Generation using Constraint Logic Programming. The Journal of Software Testing, Verification and Reliability, 14(3):213--235, 2004. Note: Selected papers from the 2003 UK-Test Workshop. [bibtex]


  8. Bruno Legeard, Fabien Peureux, and Mark Utting. Controlling test case explosion in test generation from B formal models. Software Testing, Verification and Reliability, STVR, 14(2):81--103, 2004. [bibtex]


  9. Bruno Legeard, L. Py, Fabrice Ambert, Fabrice Bouquet, and Fabien Peureux. Génération de tests à partir de spécifications : Concepts, méthodes et outils. Génie Logiciel, 67:27--36, December 2003. [bibtex]


  10. Bruno Legeard and Fabien Peureux. B-Testing-Tools : génération de tests aux limites à partir de spécifications B. TSI (Technique et Science Informatiques, 21(9):1189--1218, 2002. [bibtex]


Conference articles
  1. Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, and Fabien Peureux. Transformation of SysML structure diagrams to VHDL-AMS. In Julien Bourgeois and Michel de Labachelerie, editors, dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS, Besançon, France, pages ***--***, April 2012. IEEE CPS. [bibtex]


  2. Frédéric Dadeau and Fabien Peureux. Grey-box Testing and Verification of Java/JML. In CSTVA'11, 3rd Int. Workshop on Constraint in Software Testing Verification and Analysis - co-located with ICST'2011, Berlin, Germany, pages 298--303, March 2011. IEEE Computer Society Press. [bibtex]


  3. Jonathan Lasalle, Fabien Peureux, and Jérôme Guillet. Automatic test concretization to supply end-to-end MBT for automotive mecatronic systems. In ETSE 2011, 1st Int. Workshop on End-to-End Test Script Engineering. In conjuction with ISSTA 2011, Toronto, Canada, pages 16--23, July 2011. [bibtex]


  4. Frédéric Fondement, Fabien Peureux, Bruno Legeard, Claude Scherrer, and Marc Alter. VETESS: MDE, Testing approaches and SysML. In Neptune workshop, Toulouse, France, June 2010. [bibtex]


  5. Jonathan Lasalle, Fabrice Bouquet, Bruno Legeard, and Fabien Peureux. SysML to UML model transformation for test generation purpose. In UML&FM'10, 3rd IEEE Int. Workshop on UML and Formal Methods, Shanghai, China, pages 1--8, November 2010. [bibtex]


  6. Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, and Fabien Peureux. A test generation solution to automate software testing. In AST'08, 3rd Int. workshop on Automation of Software Test, Leipzig, Germany, pages 45--48, May 2008. ACM Press. [bibtex]


  7. Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, and Mark Utting. A subset of precise UML for model-based testing. In A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing, London, United Kingdom, pages 95--104, July 2007. ACM Press. Note: A-MOST'O7 is colocated with ISSTA 2007, Int. Symposium on Software Testing and Analysis. [bibtex]


  8. Michel Lemoine, Eduardo R. Lopez Ruiz, Yves Ledru, Didier Bert, Régine Laleau, Fabien Peureux, Fabrice Bouquet, Véronique Donzeau-Gouge, Catherine Dubois, Jean-Frédéric Etienne, and Sylvie Vignes. EDEMOI: a methodology for security of air transport system. In EUCASS'10, 2nd European Conference on Aerospace Sciences, 2007. [bibtex]


  9. E. Bernard, Fabrice Bouquet, A. Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, and E. Torreborre. Model-based Testing from UML Models. In MBT'2006, Model-based Testing Workshop, INFORMATIK'06, volume P-94 of LNI, Lecture Notes in Informatics, Dresden, Germany, pages 223--230, October 2006. Note: ISBN 978-3-88579-188-1. [bibtex]


  10. Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, and Fabien Peureux. An attempt to combine UML and formal methods to model airport security. In Forum of CAISE'06, the 18th Int. Conf. on Advanced Information Systems Engineering, Luxembourg, Luxembourg, pages 47--50, June 2006. [bibtex]


  11. Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, and Mark Utting. Requirement Traceability in Automated Test Generation - Application to Smart Card Software Validation. In Procs. of the ICSE Int. Workshop on Advances in Model-Based Software Testing (A-MOST'05), St. Louis, United States, May 2005. ACM Press. [bibtex]


  12. Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, and Fabien Peureux. Application of Requirements Engineering Techniques to the Analysis of Civil Aviation Security Standards. In Procs of the Int. Workshop on Situational Requirements Engineering Processes (SREP'05), Paris, France, pages 91--106, August 2005. [bibtex]


  13. M. van der Bijl and Fabien Peureux. I/O-automata based testing. In Model-based testing of Reactive Sytems, volume 3472 of LNCS, pages 173--200, 2005. Springer. Note: ISBN 3-540-26278-4. The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004. [bibtex]


  14. Fabrice Ambert, Fabrice Bouquet, Bruno Legeard, Fabien Peureux, L. Py, and E. Torrebore. Automated Test Case and Test Driver Generation for Embedded Software. In CNAM, editor, ICSSEA - Int. Conf. on Software, System Engineering and Applications, pages 34--49, December 2004. [bibtex]


  15. Fabrice Bouquet, Bruno Legeard, Fabien Peureux, and E. Torreborre. Mastering Test Generation from Smart Card Software Formal Models. In Procs. of the Int. Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS'04), volume 3362 of LNCS, Marseille, France, pages 70--85, March 2004. Springer. Note: Selected papers from the CASSIS'04 workshop. [bibtex]


  16. Nikolaï Kosmatov, Bruno Legeard, Fabien Peureux, and Mark Utting. Boundary Coverage Criteria for Test Generation from Formal Models. In Proc. of the 15th Int. Symp. on Software Reliability Engineering (ISSRE'04), Saint-Malo, France, pages 139--150, November 2004. IEEE Computer Society Press. [bibtex]


  17. Fabrice Ambert, Fabrice Bouquet, Bruno Legeard, and Fabien Peureux. Automated Boundary-Value Test Generation from Specifications - Method and Tools. In 4th Int. Conf. on Software Testing, ICSTEST 2003, Cologne, Germany, pages 52--68, April 2003. [bibtex]


  18. S. Colin, Bruno Legeard, and Fabien Peureux. Preamble computation in automated test generation using Constraint Logic Programming. In Proceedings of UK-Test Workshop, York, United Kingdom, September 2003. [bibtex]


  19. Fabrice Ambert, Fabrice Bouquet, Sébastien Chemin, Sébastien Guenaud, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, and Mark Utting. BZ-TT: A Tool-Set for Test Generation from Z and B using Constraint Logic Programming. In Proc. of Formal Approaches to Testing of Software, FATES 2002 (workshop of CONCUR'02), Brnö, République Tchèque, pages 105--120, August 2002. Note: INRIA report. [bibtex]


  20. Fabrice Bouquet, Bruno Legeard, and Fabien Peureux. CLPS-B: A constraint solver for B. In Proceedings of the conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002, ETAPS, volume 2280 of LNCS, Grenoble, France, pages 188--204, April 2002. Springer. [bibtex]


  21. Bruno Legeard, Fabien Peureux, and Mark Utting. A Comparison of the LIFC/B and TTF/Z Test-Generation Methods. In 2nd International Conference of B and Z Users, ZB2002, volume 2272 of LNCS, Grenoble, France, pages 309--329, January 2002. [bibtex]


  22. Bruno Legeard, Fabien Peureux, and Mark Utting. Automated boundary testing from Z and B. In Proc. of the Int. Conf. on Formal Methods Europe, FME'02, volume 2391 of LNCS, Copenhaguen, Denmark, pages 21--40, July 2002. Springer. [bibtex]


  23. Bruno Legeard, Fabrice Bouquet, and Fabien Peureux. B-Testing-Tool : un environnement pour la validation fonctionnelle d'applications critiques (présentation et étude de cas industriel). In Actes de AFIS'2001, 2ème Conférence Annuelle d'Ingéniérie Système, Toulouse, France, pages 141--147, June 2001. [bibtex]


  24. Bruno Legeard and Fabien Peureux. Generation of functional test sequences from B formal specifications - Presentation and industrial case-study. In Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), San Diego, United States, pages 377--381, November 2001. IEEE Computer Society Press. [bibtex]


  25. Bruno Legeard and Fabien Peureux. Génération de séquences de test à partir d'une spécification B en PLC ensembliste. In Actes du Congrès AFADL 2001, (Approches Formelles pour l'Aide au Développement de Logiciels), Nancy, France, pages 113--130, June 2001. [bibtex]


  26. Fabrice Bouquet, Bruno Legeard, and Fabien Peureux. Constraint Logic Programming with Sets for animation B formal specifications. In Proc. of the 1st Int. Conf. on Computational Logic, Workshop on Constraint Logic Programming and Software Engineering, (C)LPSE2000, Imperial College, London, United Kingdom, July 2000. [bibtex]


  27. Fabrice Bouquet, Bruno Legeard, Fabien Peureux, and L. Py. Un système de résolution de contraintes ensemblistes pour l'évaluation de spécifications B. In 9èmes Journées Francophones de Programmation Logique et Programmation par Contraintes. JFPLC'2000, Marseille, France, pages 125--144, June 2000. [bibtex]


Internal reports
  1. E. Bernard, Bruno Legeard, X. Luck, and Fabien Peureux. Generation of test sequences from formal specifications: GSM 11.11 standard case-study. Research Report RR2004-16, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2004. [bibtex]


  2. F. Bouquet, B. Legeard, and F. Peureux. A constraint solver to animate a B specification. Research Report RR2004-13, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2004. [bibtex]


  3. S. Colin, Bruno Legeard, and Fabien Peureux. Preamble Computation in Automated Test Case Generation using Constraint Logic Programming. Research Report RR2004-15, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2004. [bibtex]


  4. Bruno Legeard, Fabien Peureux, and Mark Utting. Controlling Test Case Explosion in Test Generation from B Formal Models. Research Report RR2004-14, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2004. [bibtex]


  5. Fabrice Ambert, Fabrice Bouquet, Sébastien Chemin, Sébastien Guenaud, Bruno Legeard, Fabien Peureux, and Nicolas Vacelet. Projet BZ-Testing-Tools - Génération de tests aux limites à partir d'un modèle formel B ou Z - Annexes Techniques. Compte rendu d'avancement au 30 avril 2002, ANVAR, May 2002. Note: 150 pages. [bibtex]


  6. Bruno Legeard, Fabien Peureux, Laetitia Gaspari, and N. Caritey. Modélisation formelle et tests - Application Ticket Métro/RER. Rapport de fin de contrat, Schlumberger Terminaux Urbains et Systèmes, June 2001. Note: 87 pages. [bibtex]


  7. E. Bernard, Bruno Legeard, X. Luck, and Fabien Peureux. Generation of functional tests sequences from B formal specifications of the GSM 11-11 standard. Rapport de fin de contrat, Schlumberger SmartCard R&D, July 2000. Note: 175 pages. [bibtex]


Other publications
  1. Jonathan Lasalle, Frédéric Fondement, Pierre-Alain Muller, Brice Wittman, Fabrice Ambert, Fabrice Bouquet, Emilie Oudot, Fabien Peureux, Bruno Legeard, Marc Alter, and Claude Scherrer. Using Topcased for Model-Based Testing. First TopCased Days, Toulouse, France, February 2011. [bibtex]


  2. Jonathan Lasalle, Fabien Peureux, and Frédéric Fondement. Development of an automated MBT toolchain from UML/SysML models. Presented at UML&FM 2011, the 4-th IEEE Int. Workshop on UML and Formal Methods, Limerick, Ireland. Available after revision and extension as an ISSE journal version, June 2011. [bibtex]


  3. Frédéric Fondement, Pierre-Alain Muller, Brice Wittman, Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Emilie Oudot, Fabien Peureux, Bruno Legeard, Marc Alter, and Claude Scherrer. VETESS : IDM, Test et SysML. 7-th Neptune Workshop. Environment with a Process and Tools Using Norms and Example, Toulouse, France, May 2010. [bibtex]


Back to INDEX

Wed May 16 18:07:19 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html