EXIST: Exploitation/Exploration Inference for Statistical Software Testing
Résumé
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.
Origine | Fichiers éditeurs autorisés sur une archive ouverte |
---|
Loading...