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: Bu=eacute=:Pierre=Christophe
Contributed to:
20112010Wrote 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.