Kwok Ping Chan Tsong Yueh Chen Dave Towey Good Random Testing. 200-212 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3063&spage=200 2004 conf/adaEurope/2004 Ada-Europe db/conf/adaEurope/adaEurope2004.html#ChanCT04