%0 Journal Article %1 journals/scp/CastroRKLMD11 %A Castro, Sergio %A Roover, Coen De %A Kellens, Andy %A Lozano, Angela %A Mens, Kim %A D'Hondt, Theo %D 2011 %J Sci. Comput. Program. %K dblp %N 12 %P 1113-1129 %T Diagnosing and correcting design inconsistencies in source code with logical abduction. %U http://dblp.uni-trier.de/db/journals/scp/scp76.html#CastroRKLMD11 %V 76

@article{journals/scp/CastroRKLMD11, added-at = {2022-10-02T00:00:00.000+0200}, author = {Castro, Sergio and Roover, Coen De and Kellens, Andy and Lozano, Angela and Mens, Kim and D'Hondt, Theo}, biburl = {https://www.bibsonomy.org/bibtex/256f48dc4684a83b12e456428d6e64247/dblp}, ee = {https://www.wikidata.org/entity/Q110512702}, interhash = {eaed0c41c43c47909e5704e8e28e04e7}, intrahash = {56f48dc4684a83b12e456428d6e64247}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = 12, pages = {1113-1129}, timestamp = {2024-04-09T05:27:17.000+0200}, title = {Diagnosing and correcting design inconsistencies in source code with logical abduction.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp76.html#CastroRKLMD11}, volume = 76, year = 2011 }