Randomized Differential Testing as a Prelude to Formal Verification.

Alex Groce, Gerard J. Holzmann, Rajeev Joshi

Browse the full ICSE paper archive.