Linmin Yang, Zhe Dang, Thomas R. Fischer: Optimal Software Testing - A Cooling Down Process. FCS 2009: 162-168