Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving.

Junaid Haroon Siddiqui, Darko Marinov, Sarfraz Khurshid

Browse the full ICST paper archive.