Randomized Differential Testing as a Prelude to Formal Verification

Cached

Download Links

by Alex Groce , Gerard Holzmann , Rajeev Joshi
Citations:43 - 17 self