Back to INDEX   Publications of Adrien de Kermadec   Articles in journal or book chapters 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] Conference articles 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] 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] 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] 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