Bernard Botella - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2018

How testing helps to diagnose proof failuresGuillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand. fac, 30(6):629-657, 2018. [doi]

2016

Your Proof Fails? Testing Helps to Find the ReasonGuillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand. tap 2016: 130-150 [doi]

2015

Infeasible path generalization in dynamic symbolic executionMickaël Delahaye, Bernard Botella, Arnaud Gotlieb. INFSOF, 58:403-418, 2015. [doi]

2014

Instrumentation of Annotated C Programs for Test GenerationGuillaume Petiot, Bernard Botella, Jacques Julliand, Nikolai Kosmatov, Julien Signoles. SCAM 2014: 105-114 [doi]

2013

Structural Unit Testing as a Service with PathCrawler-online.comNikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger. sose 2013: 435-440 [doi]

2012

A Lesson on Structural Testing with PathCrawler-online.comNikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger, Omar Chebaro. tap 2012: 169-175 [doi]

2011

Online Test Generation with PathCrawler: Tool DemoNikolai Kosmatov, Bernard Botella, Muriel Roger, Nicky Williams. icst 2011: 316-317 [doi]

2010

Explanation-Based Generalization of Infeasible PathMickaël Delahaye, Bernard Botella, Arnaud Gotlieb. icst 2010: 215-224 [doi]

2009

Automating Structural Testing of C Programs: Experience with PathCrawlerBernard Botella, Mickaël Delahaye, Stéphane Hong Tuan Ha, Nikolai Kosmatov, Patricia Mouy, Muriel Roger, Nicky Williams. ICSE 2009: 70-78 [doi]

Modelling dynamic memory management in constraint-based testingFlorence Charreteur, Bernard Botella, Arnaud Gotlieb. jss, 82(11):1755-1766, 2009. [doi]

2007

Goal-oriented test data generation for pointer programsArnaud Gotlieb, Tristan Denmat, Bernard Botella. INFSOF, 49(9-10):1030-1044, 2007. [doi]

2006

Symbolic execution of floating-point computationsBernard Botella, Arnaud Gotlieb, Claude Michel. stvr, 16(2):97-121, 2006. [doi]

2005

Goal-Oriented Test Data Generation for Programs with Pointer VariablesArnaud Gotlieb, Tristan Denmat, Bernard Botella. compsac 2005: 449-454 [doi]

Constraint-based test data generation in the presence of stack-directed pointersArnaud Gotlieb, Tristan Denmat, Bernard Botella. ASE 2005: 313-316 [doi]

2003

Automated Metamorphic TestingArnaud Gotlieb, Bernard Botella. compsac 2003: 34-40 [doi]

2002

Utilisation des contraintes pour la génération automatique de cas de test structurelsBernard Botella, Arnaud Gotlieb, Claude Michel, Michel Rueher, Patrick Taillibert. tsi, 21(9):1163-1187, 2002. [doi]

2000

A CLP Framework for Computing Structural Test DataArnaud Gotlieb, Bernard Botella, Michel Rueher. cl 2000: 399-413 [doi]

1998

Automatic Test Data Generation Using Constraint Solving TechniquesArnaud Gotlieb, Bernard Botella, Michel Rueher. ISSTA 1998: 53-62 [doi]

1997

Modelling and Simulating Human Behaviours with Conceptual GraphsCorinne Bos, Bernard Botella, Philippe Vanheeghe. iccS 1997: 275-289

Sign in or sign up to see more results.

runs on WebDSL