DMCA

From Invariant Checking to Invariant Inference Using Randomized Search

by Rahul Sharma , Alex Aiken
Citations:3 - 0 self