Valeh H. Nasser Weichang Du Dawn MacIsaac Knowledge-based Software Test Generation. 312-317 2009 SEKE conf/seke/2009 db/conf/seke/seke2009.html#NasserDM09