Adrien De Kermadec

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet
Building a Test-Ready Abstraction of a Behavioral Model Using CLP. TAP@TOOLS (2010)
Adrien De Kermadec, Frédéric Dadeau, Fabrice Bouquet
Assessing the Quality of B Models. SEFM (2010)
Vincent Pretre, Adrien De Kermadec, Fabrice Bouquet, Christophe Lang, Frédéric Dadeau
Automated UML models merging for web services testing. Int. J. Web Grid Serv. 5 (2) (2009)
Frédéric Dadeau, Adrien De Kermadec, Régis Tissot
Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance. ABZ (2008)