Linmin Yang Zhe Dang Thomas R. Fischer Optimal Software Testing - A Cooling Down Process. 162-168 2009 FCS conf/fcs/2009 db/conf/fcs/fcs2009.html#YangDF09