Universal Symbolic Execution and its Application to Likely Data Structure Invariant Generation (2008)

Cached

Download Links

by Yamini Kannan , Koushik Sen
Citations:10 - 0 self