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 × 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 DBLP: Botella:Bernard

Contributed to:

SCAM 20142014
TAP 20122012
ICST 20102010
ASE 20052005
CL 20002000
ISSTA 19981998

Wrote 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 (NK, NW, BB, MR, OC), pp. 169–175.
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.

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.