Automated Software Robustness Testing - Static and Adaptive Test Case Design Methods. - Marcel Dix; Holger D. Hofman (EUROMICRO, 2002)