Random testing of formal software models and induced coverage.

David Owen, Dejan Desovski, Bojan Cukic

Browse the full ISSTA paper archive.