Ahmed M. Salem A Model for Test Case Design and Generation. 242-247 2004 conf/serp/2004-1 Software Engineering Research and Practice db/conf/serp/serp2004-1.html#Salem04