Benchmarking Symbolic Execution Using Constraint Problems - Initial Results.

Sahil Verma, Roland H. C. Yap

Browse the full ICTAI paper archive.