EXIST: Exploitation/Exploration Inference for Statistical Software Testing
Nicolas Baskiotis, Michèle Sébag, Marie-Claude Gaudel, Sandrine-Dominique Gouraud · 2006
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. 1