Principles of Staged Static+Dynamic Partial Analysis.

Aditya Anand, Manas Thakur

Browse the full SAS paper archive.