Marcel Dix Holger D. Hofman Automated Software Robustness Testing - Static and Adaptive Test Case Design Methods. 62- 2002 conf/euromicro/2002 EUROMICRO http://computer.org/proceedings/euromicro/1787/17870062abs.htm db/conf/euromicro/euromicro2002.html#DixH02