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

Cached

Download Links

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