Toward Tool-Independent Summaries for Symbolic Execution.

Frederico Ramos, Nuno Sabino, Pedro Ado, David A. Naumann, Jos Fragoso Santos

Browse the full ECOOP paper archive.