IDDT: Fundamentals and Test Generation. - Jishun Kuang; Zhiqiang Yang; Qijian Zhu; Yinghua Min (J. Comput. Sci. Technol., 2003)