State space exploration using feedback constraint generation and Monte-Carlo sampling
Abstract
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many challenges with scalability and precision. We propose a framework for validating programs based on statistical sampling of inputs guided by statically generated constraints, that steer the simulations towards more "desirable" traces.
BibTeX
@inproceedings{Sankaranarayanan-al:FSE07,
author = {Sriram Sankaranarayanan and
Richard M. Chang and
Guofei Jiang and
Franjo Ivancic},
title = {State space exploration using feedback constraint generation and {Monte-Carlo} sampling},
booktitle = {{ESEC/SIGSOFT} {FSE}},
pages = {321--330},
publisher = {{ACM}},
year = {2007},
}