Yoshitaka Aoki, Saeko Matsuura. A Method for Detecting Defects in Source Codes Using Model Checking Techniques. In Sheikh Iqbal Ahamed, Doo-Hwan Bae, Sung Deok Cha, Carl K. Chang, Rajesh Subramanyan, Eric Wong, Hen-I Yang, editors, Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010, Seoul, Korea, 19-23 July 2010. pages 543-544, IEEE Computer Society, 2010. [doi]
Abstract is missing.