The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pierre-Christophe Bué" ( http://dblp.L3S.de/Authors/Pierre-Christophe_Bué )

  Author page on DBLP  Author page in RDF  Community of Pierre-Christophe Bué in ASPL-2

Publication years (Num. hits)
2010 (6) 2011 (2) 2013 (1)
Publication types (Num. hits)
article(3) inproceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 10 publication records. Showing 9 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson B model slicing and predicate abstraction to generate tests. Search on Bibsonomy Software Quality Journal The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jacques Julliand, Pierre-Alain Masson, Régis Tissot, Pierre-Christophe Bué Generating tests from B specifications and dynamic selection criteria. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson Association of Under-Approximation Techniques for Generating Tests from Models. Search on Bibsonomy TAP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson Syntactic Abstraction of B Models to Generate Tests Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. Search on Bibsonomy ICST Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pierre-Christophe Bué, Frédéric Dadeau, Pierre-Cyrille Héam Model-Based Testing Using Symbolic Animation and Machine Learning. Search on Bibsonomy ICST Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson B Model Abstraction Combining Syntactic and Semantic Methods. Search on Bibsonomy ASM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, Fabrice Bouquet Building a Test-Ready Abstraction of a Behavioral Model Using CLP. Search on Bibsonomy TAP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson Syntactic Abstraction of B Models to Generate Tests. Search on Bibsonomy TAP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license