Probabilistic symbolic execution.

Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser

Browse the full ISSTA paper archive.