Travelled to:1 × Canada
1 × Czech Republic
1 × France
1 × United Kingdom
2 × USA
Collaborated with:A.Gotlieb M.Rueher N.Kosmatov M.Delahaye T.Denmat G.Petiot J.Julliand J.Signoles N.Williams M.Roger O.Chebaro
Talks about:test (5) generat (3) data (3) constraint (2) structur (2) path (2) base (2) instrument (1) framework (1) techniqu (1)
Person: Bernard Botella
DBLP: Botella:Bernard
Contributed to:
2014
2012
2010
2005
2000
1998Wrote 6 papers:
- SCAM-2014-PetiotBJKS #c #generative #source code #testing
- Instrumentation of Annotated C Programs for Test Generation (GP, BB, JJ, NK, JS), pp. 105–114.
- TAP-2012-KosmatovWBRC #testing
- A Lesson on Structural Testing with PathCrawler-online.com (NK, NW, BB, MR, OC), pp. 169–175.
- ICST-2010-DelahayeBG
- Explanation-Based Generalization of Infeasible Path (MD, BB, AG), pp. 215–224.
- ASE-2005-GotliebDB #constraints #generative #pointer #testing
- Constraint-based test data generation in the presence of stack-directed pointers (AG, TD, BB), pp. 313–316.
- CL-2000-GotliebBR #framework #testing
- A CLP Framework for Computing Structural Test Data (AG, BB, MR), pp. 399–413.
- ISSTA-1998-GotliebBR #automation #constraints #generative #testing #theorem proving #using
- Automatic Test Data Generation Using Constraint Solving Techniques (AG, BB, MR), pp. 53–62.