An Automated Framework for Structural Test-Data Generation. - Tracey, Nigel J.; Clark, John A.; Mander, Keith; McDermid, John A. (1998)