Back to INDEX

  Publications of Fabrice Bouquet  

Articles in journal or book chapters
  1. Lionel Droz-Bartholet, Jean-Christophe Lapayre, Fabrice Bouquet, Eric Garcia, and Alexander Heinisch. Ramos: Concurrent Writing and Reconfiguration for Collaborative Systems. Int. Journal of Parallel and Distributed Computing, *(*):***--***, 2012. Note: Accepted manuscript. To appear. [bibtex]


  2. 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]


  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. Pierre-Alain Masson, Marie-Laure Potet, Jacques Julliand, Régis Tissot, Georges Debois, Bruno Legeard, Boutheina Chetali, Fabrice Bouquet, Eddie Jaffuel, Lionel Van Aertrick, June Andronick, and Amal Haddad. An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project. JIAS, Journal of Information Assurance and Security, 5(1):335--351, 2010. [bibtex]


  5. Bruno Legeard and Fabrice Bouquet. Le Model-Based Testing aligne exigences métier et référentiel de tests. IT-Expert, La référence technique on-line des professionnels de l'informatique, 82:26--33, November 2009. [bibtex]


  6. Vincent Pretre, Adrien de Kermadec, Fabrice Bouquet, Christophe Lang, and Frédéric Dadeau. Automated UML models merging for web services testing. Int. Journal on Web and Grid Services, 5(2):107--129, 2009. [bibtex]


  7. 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]


  8. 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]


Conference articles
  1. Elizabeta Fourneret, Fabrice Bouquet, Martin Ochoa, Jan Jürjens, and Sven Wenzel. Vérification et Test pour des systèmes évolutifs. In AFADL'12, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Grenoble, France, pages 150--164, January 2012. [bibtex]


  2. 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]


  3. Sébastien Chipeaux, Fabrice Bouquet, Christophe Lang, and Nicolas Marilleau. Modelling of complex systems with AML as realized in MIRO project. In LAFLang 2011, workshop of the Int. Conf. WI/IAT (Web Intelligence and Intelligent Agent Technology), Lyon, France, pages 159--162, August 2011. IEEE Computer Society. [bibtex]


  4. Elizabeta Fourneret and Fabrice Bouquet. UML/OCL based impact analysis to test evolvin critical software. In ETAI'11, Society for Electronics, Telecommunications, Automatics and Informatics 10-th Int. Conf., Ohrid, Macedonia, pages 73--79, September 2011. [bibtex]


  5. Elizabeta Fourneret, Fabrice Bouquet, Frédéric Dadeau, and Stéphane Debricon. Selective Test Generation Method for Evolving Critical Systems. In REGRESSION'11, 1st Int. Workshop on Regression Testing - co-located with ICST'2011, Berlin, Germany, pages 125--134, March 2011. IEEE Computer Society Press. [bibtex]


  6. Elizabeta Fourneret, Martin Ochoa, Fabrice Bouquet, Julien Botella, Jan Jürjens, and Parvaneh Yousefi. Model-Based Security Verification and Testing for Smart-cards. In ARES 2011, 6-th Int. Conf. on Availability, Reliability and Security, Vienna, Austria, pages 272--279, August 2011. [bibtex]


  7. Fabio Massacci, Fabrice Bouquet, Elizabeta Fourneret, Jan Jurjens, Mass Lund, Sébastien Madelénat, JanTobias Muehlberg, Federica Paci, Stéphane Paul, Frank Piessens, Bjornar Solhaug, and Sven Wenzel. Orchestrating Security and System Engineering for Evolving Systems. In Towards a Service-Based Internet, volume 6994 of LNCS, Poznan, Poland, pages 134--143, October 2011. Note: Invited Talk at the 4th European Conference, ServiceWave 2011. [bibtex]


  8. Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, and Pierre-Alain Masson. Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. In A-MOST'10, 6th int. Workshop on Advances in Model Based Testing, in conjunction with ICST'10, Paris, France, pages 54--61, April 2010. [bibtex]


  9. Pierre-Christophe Bué, Frédéric Dadeau, Adrien de Kermadec, and Fabrice Bouquet. Building a Test-ready Abstraction of a Behavioral Model using CLP. In G. Fraser and A. Gargantini, editors, TAP'10, 4-th Int. Conf. on Tests and Proofs, volume 6143 of LNCS, Malaga, Spain, pages 167--182, July 2010. [bibtex]


  10. Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson, and Fabrice Bouquet. Associer des techniques de preuve et de résolution de contraintes pour la construction d'abstractions. In AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France, pages 11--25, June 2010. [bibtex]


  11. 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]


  12. Adrien de Kermadec, Frédéric Dadeau, and Fabrice Bouquet. Assessing the Quality of B Models. In SEFM'2010, 8th IEEE Int. Conf. on Software Engineering and Formal Methods, Pisa, Italy, pages 83--90, September 2010. IEEE Computer Society Press. [bibtex]


  13. Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, and Pierre-Alain Masson. Génération de tests à partir de critères dynamiques de sélection et par abstraction. In AFADL'09, Approches Formelles dans l'Assistance au Développement de Logiciels, Toulouse, France, pages 161--176, January 2009. [bibtex]


  14. Stéphane Debricon, Fabrice Bouquet, and Bruno Legeard. From Business Processes to Integration Testing. In Olivier Zendra, editor, IDM'09, 5èmes journées sur l'Ingéniérie Dirigée par les Modèles, volume 1, Nancy, France, March 2009. [bibtex]


  15. 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]


  16. Thibaud Brocard, Fabrice Bouquet, Alain Giorgetti, and Christophe Lang. Agent based modelling of complex systems with AML and the situation calculus. In ABS2, Int. workshop on Agent Based Spatial Simulation, Paris, France, November 2008. [bibtex]


  17. Vincent Pretre, Fabrice Bouquet, and Christophe Lang. Automating UML Models Merge for Web Services Testing. In iiWAS'08, 10th int. Conf. on Information Integration and Web-based Applications and Services, Linz, Austria, pages 55--62, 2008. ACM Press. [bibtex]


  18. Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau, and Alain Giorgetti. Instantiation of Parameterized Data Structures for Model-Based Testing. In Jacques Julliand and Olga Kouchnarenko, editors, B'2007, the 7th Int. B Conference, volume 4355 of LNCS, Besancon, France, pages 96--110, January 2007. Springer. [bibtex]


  19. Fabrice Bouquet, Frédéric Dadeau, and Julien Groslambert. JML2B: Checking JML specifications with B machines. In Jacques Julliand and Olga Kouchnarenko, editors, B'2007, the 7th Int. B Conference - Tool Session, volume 4355 of LNCS, Besancon, France, pages 285--288, January 2007. Springer. [bibtex]


  20. 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]


  21. E. Descourvières, Stéphane Debricon, D. Gendreau, P. Lutz, Laurent Philippe, and Fabrice Bouquet. Towards automatic control for microfactories. In 5th Int. Conf. on Industrial automation, Montréal, Québec, Canada, pages ***--***, June 2007. ETS. Note: ISBN 978-2-9802946-4-8. [bibtex]


  22. Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Sylvie Vignes, and Véronique. Viguié Donzeau-Gouge. Using Computer Science Modeling Techniques for Airport Security Certification. In RCIS'07, 1st Int. Conf. on Research Challenges in Information Science, Ouarzazate, Morocco, pages 61--72, April 2007. [bibtex]


  23. 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]


  24. Vincent Pretre, Fabrice Bouquet, and Christophe Lang. A Model-Based Validation Framework for Web Services. In STV07, Procs of the 5th workshop on Systems Testing and Validation, Paris, France, pages 63--76, December 2007. [bibtex]


  25. 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]


  26. Didier Bert, Fabrice Bouquet, Yves Ledru, and Sylvie Vignes. Validation of Regulation Documents by Automated Analysis of Formal Models. In REMO2V'06, Int. Workshop on Regulations Modelling and their Validation and Verification (in conjunction with CAiSE'06), Luxembourg, Luxembourg, pages 800--805, June 2006. [bibtex]


  27. Fabrice Bouquet, F. Celletti, Georges Debois, A. De Lavernette, Eddie Jaffuel, Jacques Julliand, Bruno Legeard, J. Lidoine, J.-C. Plessis, and Pierre-Alain Masson. Model-Based Security Testing, Application to a Smart Card Identity Applet. In eSmart 2006, 7th Int. Conf. on Smart Cards, Sophia-Antipolis, France, September 2006. [bibtex]


  28. Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, and Jacques Julliand. Safety Property Driven Test Generation from JML Specifications. In K. Havelund, M. Garcia, G. Rosu, and B. Wolff, editors, FATES/RV'06, 1st Int. Workshop on Formal Approaches to Testing and Runtime Verification, volume 4262 of LNCS, Seattle, WA, United States, pages 225--239, August 2006. Springer. [bibtex]


  29. Fabrice Bouquet, Frédéric Dadeau, and Bruno Legeard. Automated Boundary Test Generation from JML Specifications. In T. Nipkow and J. Misra, editors, FM'06, 14th Int. Conf. on Formal Methods, volume 4085 of LNCS, Hamilton, Canada, pages 428--443, August 2006. Springer. [bibtex]


  30. Fabrice Bouquet, Frédéric Dadeau, and Bruno Legeard. JML-Testing-Tools, un Animateur Symbolique de Spécifications JML. In AFADL'06, Approches Formelles dans l'Assistance au Développement de Logiciels, Paris, France, March 2006. Note: Session outils. [bibtex]


  31. Fabrice Bouquet, Stéphane Debricon, Bruno Legeard, and Jean-Baptiste Nicolet. Extending the Unified Process with Model-Based Testing. In MoDeVa'06, 3rd Int. Workshop on Model Development, Validation and Verification, Genova, Italy, pages 2--15, October 2006. [bibtex]


  32. Fabrice Bouquet, Frédéric Dadeau, and Julien Groslambert. Checking JML Specifications with B Machines. In H. Treharne, S. King, M. Henson, and S. Schneider, editors, Procs of the Int. Conf. on Formal Specification and Development in Z and B, (ZB'05), volume 3455 of LNCS, Guildford, United Kingdom, pages 435--454, April 2005. Springer. [bibtex]


  33. Fabrice Bouquet, Frédéric Dadeau, and Bruno Legeard. How Symbolic Animation can help designing an Efficient Formal Model. In K.K. Lau and R. Banach, editors, Procs of the 7th Int. Conf. on Formal Engineering Methods (ICFEM'05), volume 3785 of LNCS, Manchester, United Kingdom, pages 96--110, November 2005. Springer. [bibtex]


  34. Fabrice Bouquet, Frédéric Dadeau, and Bruno Legeard. Using Constraint Logic Programming for the Symbolic Animation of Formal Models. In J. Marques-Silva and M. Velev, editors, Procs of the Int. Workshop on Constraints in Formal Verification (CFV'05) -- Co-located with the Int. Conf. on Automated Deduction (CADE'05), Tallinn, Estonia, pages 32--46, July 2005. [bibtex]


  35. Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, and Mark Utting. JML-Testing-Tools: a Symbolic Animator for JML Specifications using CLP. In N. Halbwachs and L. Zuck, editors, Procs of the 11th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Tool session (TACAS'05), volume 3440 of LNCS, Edinburgh, United Kingdom, pages 551--556, April 2005. Springer. [bibtex]


  36. Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, and Mark Utting. Symbolic Animation of JML Specifications. In J.S. Fitzgerald, I.J. Hayes, and A. Tarlecki, editors, Procs of the Int. Conf. on Formal Methods (FM'2005), volume 3582 of LNCS, Newcastle Upon Tyne, United Kingdom, pages 75--90, July 2005. Springer. [bibtex]


  37. 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]


  38. 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]


  39. Fabrice Bouquet, Franck Lebeau, and Bruno Legeard. Test case and Test driver generation for automotive embedded systems. In 5th Int. Conf. on Software Testing, ICS-Test 2004, Düsseldorf, Germany, pages 37--53, April 2004. [bibtex]


  40. 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]


  41. Fabrice Bouquet, Bruno Legeard, Mark Utting, and Nicolas Vacelet. Faster Analysis of Formal Specification. In J. Davies, W. Schulte, and M. Barnett, editors, 6th Int. Conf. on Formal Engineering Methods (ICFEM'04), volume 3308 of LNCS, Seattle, WA, United States, pages 239--258, November 2004. Springer. [bibtex]


  42. Bruno Legeard, Fabrice Bouquet, and Franck Lebeau. Automated Test Generation and Execution for Automative Embedded Software. In INCOSE 2004, Annual Int. Symp., 4th European Systems Engineering Conference, pages 252--268, June 2004. [bibtex]


  43. 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]


  44. Fabrice Bouquet and Bruno Legeard. Reification of Executable Test Scripts in Formal Specification-Based Test Generation: The Java Card Transaction Mechanism Case Study. In Proc. of FME'03, Formal Method Europe, volume 2805 of LNCS, Pisa, Italy, pages 778--795, September 2003. [bibtex]


  45. Fabrice Bouquet and Bruno Legeard. Réification de scripts exécutables en génération de tests à partir de spécifications formelles : application aux mécanismes de transaction de la Java Card. In Actes du Congrès AFADL'03, Approches Formelles dans l'Assistance au Développement de Logiciels, Rennes, France, pages 141--156, January 2003. [bibtex]


  46. Fabrice Bouquet, Bruno Legeard, and Nicolas Vacelet. BZP : Un format fédérateur pour l'évaluation de spécifications formelles. In JFPLC'03, Journées Francophones de Programmation en Logiques et Contraintes, Amiens, France, pages 203--216, June 2003. Hermes. [bibtex]


  47. 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]


  48. 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]


  49. 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]


  50. 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]


  51. 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]


  52. Fabrice Bouquet, L. Henocque, and P. Jégou. Enumération et représentation d'impliquants premiers. In 5èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC'99, Lyon, France, pages 179--188, June 1999. [bibtex]


  53. Fabrice Bouquet and P. Jégou. ROBDD : Une étude sur les ordres et stratégies de construction. In 5èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets, JNPC'99, Lyon, France, pages 207--215, June 1999. [bibtex]


Books and proceedings
  1. Bruno Legeard, Fabrice Bouquet, and Natacha Pickaert. Industrialiser le test fonctionnel. Pour maîtriser les risques métier et accroître l'efficacité du test, Collection InfoPro. Dunod, November 2011. Note: 2ème édition. 304 pages. ISBN : 9782100566563. [Abstract] [bibtex]


  2. Bruno Legeard, Fabrice Bouquet, and Natacha Pickaert. Industrialiser le test fonctionnel (des exigences métier au référentiel de tests automatisés), Collection InfoPro. Dunod, April 2009. Note: 288 pages. EAN13 : 9782100515332. [bibtex]


Internal reports
  1. Lionel Droz-Bartholet, Fabrice Bouquet, Jean-Christophe Lapayre, and Eric Garcia. Preuve de la garantie de la séquentialité du système collaboratif RAMOS. Research Report RR2011-12, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2011. [Abstract] [bibtex]


  2. Elizabeta Fourneret and Fabrice Bouquet. Impact Analysis for UML/OCL Statechart diagrams based on Dependence Algorithms for Evolving Critical Software. Technical Report RT2010-06, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2010. [bibtex]


  3. Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, and Pierre-Alain Masson. Test Generation Based on Abstraction and Dynamic Selection Criteria. Research Report RR2009-02, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, September 2009. Note: 18 pages. [Abstract] [bibtex]


  4. Vincent Pretre, Fabrice Bouquet, and Christophe Lang. Automating UML models merging: application of the method. Research Report RR2008-09, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, December 2008. Note: 31 pages.
    Keywords: UML, web services, composition, automation, model based testing. [Abstract] [bibtex]


  5. Fabrice Bouquet, Frédéric Dadeau, and Bruno Legeard. Automated Boundary Test Generation from JML Specifications. Research Report RR2006-03, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, March 2006.
    Keywords: Test generation, model-based, Java Modeling Language, automated, boundary values. [Abstract] [bibtex]


  6. Fabrice Bouquet, Frédéric Dadeau, and Julien Groslambert. Checking JML specifications with B machines. Research Report RR2004-12, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, November 2004. Note: 29 pages.
    Keywords: Java Modeling Language, JML, object-oriented, B method, specifications, abstract machines. [Abstract] [bibtex]


  7. Fabrice Bouquet, Frédéric Dadeau, and Bruno Legeard. JML-Testing-Tools - A symbolic animator for JML specifications. Technical Report RT2004-05, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, November 2004.
    Keywords: Java Modeling Language, model-based, constraint, symbolic animation. [Abstract] [bibtex]


  8. 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]


  9. 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]


  10. Fabrice Ambert, Fabrice Bouquet, Laetitia Gaspari, Bruno Legeard, B. Bottela, and A. Gotlieb. Génération de tests dans le cas de structures dynamiques. Compte rendu d'avancement 2, RNTL INKA, Thales, February 2002. Note: 37 pages. [bibtex]


  11. Fabrice Ambert, Fabrice Bouquet, Bruno Legeard, Benoit Parreaux, J. Vincent, B. Bottela, and A. Gotlieb. Génération de tests dans le cas de structures dynamiques. Compte rendu d'avancement 1, RNTL INKA, Thales, July 2001. Note: 23 pages. [bibtex]


Other publications
  1. Fabrice Bouquet. Model-Based Testing Aujourd'hui. Séminaire Invité au Club Qualité Logicielle, Montrouge, France, January 2012. [bibtex]


  2. Fabrice Bouquet. Graphical Model of MAS for Verification and Validation (Software engineering point of view). Invited talk at the V2CS Workshop, Paris, France, November 2011. [bibtex]


  3. 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]


  4. Sébastien Chipeaux, Fabrice Bouquet, Christophe Lang, and Nicolas Marilleau. Critères génériques de comparaison de méthodes de modélisation de systèmes complexes pour la génération de simulations multi-agents. CoMMISCo'10, 1ère Conférence Modélisation Mathématique et Informatique des Systèmes Complexes, IRD Bondy, France, October 2010. [bibtex]


  5. 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]


  6. Fabrice Bouquet. Sur l'évolution de la taille des ROBDD. , 1999. [bibtex]


Back to INDEX

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