Probabilistic symbolic execution

Open Webpage

Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser

Published: 2012, Last Modified: 22 Mar 2026ISSTA 2012EveryoneRevisionsBibTeXCC BY-SA 4.0