Pierre-Christophe Bué

According to our database, Pierre-Christophe Bué authored at least 8 papers between 2010 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

B model slicing and predicate abstraction to generate tests.

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson

Softw. Qual. J., 2013

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

Association of Under-Approximation Techniques for Generating Tests from Models.

Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson

Proceedings of the Tests and Proofs - 5th International Conference, 2011

2010

Syntactic Abstraction of B Models to Generate Tests.

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Building a Test-Ready Abstraction of a Behavioral Model Using CLP.

Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Model-Based Testing Using Symbolic Animation and Machine Learning.

Pierre-Christophe Bué, Frédéric Dadeau, Pierre-Cyrille Héam

Proceedings of the Third International Conference on Software Testing, 2010

Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests.

Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson

Proceedings of the Third International Conference on Software Testing, 2010

B Model Abstraction Combining Syntactic and Semantic Methods.

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson

Proceedings of the Abstract State Machines, 2010