Hong Zhu. Position statement: Can testing prove software has no bug?. In Xiaoying Bai, Fevzi Belli, Elisa Bertino, Carl K. Chang, Atilla Elçi, Cristina Cerschi Seceleanu, Haihua Xie, Mohammad Zulkernine, editors, 36th Annual IEEE Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16-20, 2012. pages 255, IEEE Computer Society, 2012. [doi]
Abstract is missing.