Formal Framework for Reasoning About the Precision of Dynamic Analysis.

Mila Dalla Preda, Roberto Giacobazzi, Niccol Marastoni

Browse the full SAS paper archive.