Pierre-Christophe Bué

Publication Activity (10 Years)

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

Top Topics

Probability Distribution

Top Venues

Softw. Qual. J.

Publications

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
B model slicing and predicate abstraction to generate tests. Softw. Qual. J. 21 (1) (2013)
Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson
Association of Under-Approximation Techniques for Generating Tests from Models. TAP@TOOLS (2011)
Jacques Julliand, Pierre-Alain Masson, Régis Tissot, Pierre-Christophe Bué
Generating tests from B specifications and dynamic selection criteria. Formal Aspects Comput. 23 (1) (2011)
Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson
Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. ICST Workshops (2010)
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
Syntactic Abstraction of B Models to Generate Tests CoRR (2010)
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
B Model Abstraction Combining Syntactic and Semantic Methods. ASM (2010)
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)
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
Syntactic Abstraction of B Models to Generate Tests. TAP@TOOLS (2010)
Pierre-Christophe Bué, Frédéric Dadeau, Pierre-Cyrille Héam
Model-Based Testing Using Symbolic Animation and Machine Learning. ICST Workshops (2010)