EXIST : Exploitation/Exploration Inference for Statistical Software Testing
Nicolas Baskiotis, Michele Sebag, Marie-Claude Gaudel and Sandrine Gouraud
In: On-line Trading of Exploration and Exploitation, NIPS 2006 Workshop, 8 December 2006, Whistler, BC, Canada.
Path-based Statistical Software Testing is interested in sampling the feasible paths in the control flow graph of the program being tested. As the ratio of feasible paths becomes negligible for large programs, an ML approach is presented to iteratively estimate and exploit the distribution of feasible paths.