Sergio Castro, Coen De Roover, Andy Kellens, Angela Lozano, Kim Mens, Theo D Hondt. Diagnosing and correcting design inconsistencies in source code with logical abduction. Science of Computer Programming, 76(12):1113-1129, 2011. [doi]
Abstract is missing.