BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Spain
1 × Switzerland
Collaborated with:
J.Julliand P.Masson F.Dadeau A.D.Kermadec F.Bouquet N.Stouls
Talks about:
model (3) test (3) abstract (2) generat (2) techniqu (1) behavior (1) approxim (1) syntact (1) associ (1) under (1)

Person: Pierre-Christophe Bué

DBLP DBLP: Bu=eacute=:Pierre=Christophe

Contributed to:

TAP 20112011
TAP 20102010

Wrote 3 papers:

TAP-2011-BueJM #approximate #generative #modelling #testing
Association of Under-Approximation Techniques for Generating Tests from Models (PCB, JJ, PAM), pp. 51–68.
TAP-2010-BueDKB #abstraction #behaviour #using
Building a Test-Ready Abstraction of a Behavioral Model Using CLP (PCB, FD, ADK, FB), pp. 167–182.
TAP-2010-JulliandSBM #abstraction #modelling #testing
Syntactic Abstraction of B Models to Generate Tests (JJ, NS, PCB, PAM), pp. 151–166.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.