Back to INDEX

  Publications of Régis Tissot  

Articles in journal or book chapters
  1. Frédéric Dadeau, Kalou Cabrera Castillos, and Régis Tissot. Scenario-Based Testing using Symbolic Animation of B Models. Software Testing, Verification and Reliability, *(*):***--***, 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. 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]


  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]


Conference articles
  1. Frédéric Dadeau and Régis Tissot. jSynoPSys -- A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines. In B. Finkbeiner, Y. Gurevich, and A.K. Petrenko, editors, MBT'09 proceedings, volume 253-2 of ENTCS, Electronic Notes in Theoretical Computer Science, York, United Kingdom, pages 117--132, October 2009. [bibtex]


  2. Frédéric Dadeau, Jacques Julliand, and Régis Tissot. Leirios Test Generator: from Research to Teaching, through Industry. In C. Attiogbé and E. Habrias, editors, Int. Workshop on the B Method: from Research to Teaching, Nantes, France, pages 1--16, June 2008. APCB. [bibtex]


  3. Frédéric Dadeau, Marie-Laure Potet, and Régis Tissot. A B Formal Framework for Security Developments in the Domain of Smart Card Applications. In S. Jajodia and P. Samarati, editors, SEC'2008, 23rd int. Information Security Conference, volume 278 of IFIP, Milano, Italy, pages 141--155, September 2008. Springer. [bibtex]


  4. Frédéric Dadeau and Régis Tissot. Teaching Model-Based Testing with Leirios Test Generator. In Z. Istenes, editor, FORMED'08, Int. Workshop on Formal Methods in Computer Science Education, co-located with ETAPS'2008), Budapest, Hungary, pages 129--138, March 2008. [bibtex]


  5. Frédéric Dadeau, Adrien de Kermadec, and Régis Tissot. Combining Scenario and Model-Based Testing to ensure POSIX Compliance. In E. Borger, J. Bowen, and M. Butler, editors, ABZ'2008, Int. Conf. on ASM, B and Z, volume 5238 of LNCS, London, United Kingdom, pages 153--166, September 2008. Springer. [bibtex]


  6. Jacques Julliand, Pierre-Alain Masson, and Régis Tissot. Generating Security Tests in Addition to Functional Tests. In AST'08, 3rd Int. workshop on Automation of Software Test, Leipzig, Germany, pages 41--44, May 2008. ACM Press. [bibtex]


  7. Jacques Julliand, Pierre-Alain Masson, and Régis Tissot. Generating Tests from B Specifications and Test Purposes. In E. Borger, J. Bowen, and M. Butler, editors, ABZ'2008, Int. Conf. on ASM, B and Z, volume 5238 of LNCS, London, United Kingdom, pages 139--152, September 2008. Springer. [bibtex]


  8. Marie-Laure Betbeder, Régis Tissot, and Christophe Reffay. Recherche de patterns dans un corpus d'actions multimodales. In EIAH 2007, Lausanne, Switzerland, pages 533--544, June 2007. [Abstract] [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