Back to INDEX

  Publications of Pierre-Christophe Bué  

Articles in journal or book chapters
  1. Jacques Julliand, Pierre-Alain Masson, Régis Tissot, and Pierre-Christophe Bué. Generating Tests from B Specifications and Dynamic Selection Criteria. FAC, Formal Aspects of Computing, 23(1):3--19, 2011. Note: Revised and extended version of a paper from the ABZ'08 conference. [bibtex]


  2. Nicolas Stouls, Jacques Julliand, Pierre-Christophe Bué, and Pierre-Alain Masson. B Model Slicing and Predicate Abstraction to Generate Tests. SQJ, Software Quality Journal, *(*):***--***, 2011. Note: Accepted manuscript. Revised and extended version of a TAP'10 paper. To appear. [bibtex]


Conference articles
  1. Pierre-Christophe Bué, Jacques Julliand, and Pierrre-Alain Masson. Association of Under-Approximation Techniques for Generating Tests from Models. In TAP'11, 5-th Int. Conf. of Tests and Proofs, volume 6706 of LNCS, Zurich, Switzerland, pages 51--68, June 2011. Springer. [bibtex]


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


  3. Pierre-Christophe Bué, Frédéric Dadeau, and Pierre-Cyrille Héam. Model-Based Testing using Symbolic Animation and Machine Learning. In CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010, Paris, France, pages 355--360, April 2010. IEEE Computer Society Press. [bibtex]


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


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


  6. Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, and Pierre-Alain Masson. B Model Abstraction Combining Syntactic and Semantic Methods. In ABZ'10, ASM, Alloy, B and Z conference, Orford, Québec, Canada, February 2010. Note: Short paper. [bibtex]


  7. Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, and Pierre-Alain Masson. Syntactic Abstraction of B Models to Generate Tests. In G. Fraser and A. Gargantini, editors, TAP'10, 4th Int. Conf. on Tests and Proofs, volume 6143 of LNCS, Malaga, Spain, pages 151--166, July 2010. [bibtex]


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


Internal reports
  1. 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]


  2. Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, and Pierre-Alain Masson. B Model Abstraction Combining Syntactic and Semantics Methods. Research Report RR2009-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, November 2009. Note: 15 pages. [Abstract] [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