Randomized Differential Testing as a Prelude to Formal Verification

Cached

Download Links

by Alex Groce , Gerard Holzmann , Rajeev Joshi
Citations:31 - 12 self