Demand-Driven Compositional Symbolic Execution.

Saswat Anand, Patrice Godefroid, Nikolai Tillmann

Browse the full TACAS paper archive.