Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance. - Frédéric Dadeau; Adrien De Kermadec; Régis Tissot (ABZ, 2008)

Automated UML models merging for web services testing. - Vincent Pretre; Adrien De Kermadec; Fabrice Bouquet; Christophe Lang; Frédéric Dadeau (Int. J. Web Grid Serv., 2009)

Assessing the Quality of B Models. - Adrien De Kermadec; Frédéric Dadeau; Fabrice Bouquet (SEFM, 2010)

Building a Test-Ready Abstraction of a Behavioral Model Using CLP. - Pierre-Christophe Bué; Frédéric Dadeau; Adrien De Kermadec; Fabrice Bouquet (TAP@TOOLS, 2010)