B Model Abstraction Combining Syntactic and Semantic Methods. - Jacques Julliand; Nicolas Stouls; Pierre-Christophe Bué; Pierre-Alain Masson (ASM, 2010)

Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. - Fabrice Bouquet; Pierre-Christophe Bué; Jacques Julliand; Pierre-Alain Masson (ICST Workshops, 2010)

Model-Based Testing Using Symbolic Animation and Machine Learning. - Pierre-Christophe Bué; Frédéric Dadeau; Pierre-Cyrille Héam (ICST Workshops, 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)

Syntactic Abstraction of B Models to Generate Tests. - Jacques Julliand; Nicolas Stouls; Pierre-Christophe Bué; Pierre-Alain Masson (TAP@TOOLS, 2010)

Association of Under-Approximation Techniques for Generating Tests from Models. - Pierre-Christophe Bué; Jacques Julliand; Pierre-Alain Masson (TAP@TOOLS, 2011)

Generating tests from B specifications and dynamic selection criteria. - Jacques Julliand; Pierre-Alain Masson; Régis Tissot; Pierre-Christophe Bué (Formal Aspects Comput., 2011)

B model slicing and predicate abstraction to generate tests. - Jacques Julliand; Nicolas Stouls; Pierre-Christophe Bué; Pierre-Alain Masson (Softw. Qual. J., 2013)