David Owen Dejan Desovski Bojan Cukic Random testing of formal software models and induced coverage. 20-27 2006 conf/issta/2006rt Random Testing http://doi.acm.org/10.1145/1145735.1145739 db/conf/issta/rt2006.html#OwenDC06