DMCA

Abstract Summarizations for Symbolic Executions

Cached

Download Links

by Joxan Jaffar , Andrew E. Santosa , Răzvan Voicu