Linmin Yang, Zhe Dang, Thomas R. Fischer. Optimal Software Testing - A Cooling Down Process. In Hamid R. Arabnia, George A. Gravvanis, editors, Proceedings of the 2009 International Conference on Foundations of Computer Science, FCS 2009, July 13-16, 2009, Las Vegas Nevada, USA. pages 162-168, CSREA Press, 2009.
Abstract is missing.