Publications

Export 1 results:
Filters: Author is Kim, Mens  [Clear All Filters]
2011
Castro, S., C. De Roover, A. Kellens, A. Lozano, M. Kim, and T. D'Hondt, "Diagnosing and Correcting Design Inconsistencies in Source Code with Logical Abduction", Science of Computer Programming - Special Issue on Software Evolution, Adaptability and Variability, vol. 76, pp. 1113–1129, December, 2011.