Generating Expected Results for Automated Black-Box Testing. - Patrick J. Schroeder; Pat Faherty; Bogdan Korel (ASE, 2002)