State space exploration using feedback constraint generation and Monte-Carlo sampling
Sriram Sankaranarayanan, Richard Chang, Guofei Jiang, Franjo Ivančić · 2007
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.