Theory on Software Diagnosis for Program Code Validation

Fumio Negoro, Hamido Fujita. Theory on Software Diagnosis for Program Code Validation. In Hamido Fujita, Mohamed Mejri, editors, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2006, October 25-27, 2006, Quebec, Canada. Volume 147 of Frontiers in Artificial Intelligence and Applications, pages 245-271, IOS Press, 2006.

Abstract

Abstract is missing.