Sound Symbolic Execution via Abstract Interpretation and Its Application to Security.

Ignacio Tiraboschi, Tamara Rezk, Xavier Rival

Browse the full VMCAI paper archive.