Specification-Driven Generation of Summaries for Symbolic Execution.

Rafael Gonalves, Frederico Ramos, Pedro Ado, Jos Fragoso Santos

Browse the full ESOP paper archive.