Diagnosing and Correcting Design Inconsistencies in Source Code with Logical Abduction

Printer-friendly version

Publication Type:

Journal Article

Authors:

Castro, Sergio; Coen De Roover; Kellens, Andy; Lozano, Angela; Kim, Mens; Theo D'Hondt

Source:

Science of Computer Programming - Special Issue on Software Evolution, Adaptability and Variability, Volume 76, p.1113–1129 (2011)

Keywords:

logic meta programming