Markov chain Monte Carlo

Symbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis
Probabilistic software analysis aims at quantifying the probability of a target event occurring during the execution of a program …
PDF Cite DOI