Skip to Main content Skip to Navigation
Conference papers

EXIST: Exploitation/Exploration Inference for Statistical Software Testing

Nicolas Baskiotis 1, 2 Michèle Sebag 1, 2 Marie-Claude Gaudel 2 Sandrine-Dominique Gouraud 2
1 TANC - Algorithmic number theory for cryptology
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Abstract : Path-based Statistical Software Testing is interested in sampling the feasible paths in the control flow graph of the program being tested. As the ration of feasible paths becomes negligible for large programs, an ML approach is presented to iteratively estimate and exploit the distribution of feasible paths.
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/inria-00117172
Contributor : Nicolas Baskiotis <>
Submitted on : Thursday, November 30, 2006 - 12:21:53 PM
Last modification on : Tuesday, April 21, 2020 - 1:06:31 AM
Document(s) archivé(s) le : Tuesday, April 6, 2010 - 11:42:05 PM

File

Exist_EvE_Baskiotis.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : inria-00117172, version 1

Collections

Citation

Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel, Sandrine-Dominique Gouraud. EXIST: Exploitation/Exploration Inference for Statistical Software Testing. On-line Trading of Exploration and Exploitation, NIPS 2006 Workshop, Dec 2006, Whistler, BC, Canada. ⟨inria-00117172⟩

Share

Metrics

Record views

306

Files downloads

192