@article {69,
	title = {A Logic Foundation for a General-Purpose History Querying Tool},
	journal = {Elsevier Journal on Science of Computer Programming},
	year = {2014},
	author = {Reinout Stevens and Coen De Roover and Carlos Noguera and Kellens, Andy and Viviane Jonckers}
}
@conference {320,
	title = {Automated Assessment of Correctness of Recommendation Systems},
	booktitle = {Proc. of the 3rd Int{\textquoteright}l Workshop on Recommendation Systems for Software Engineering},
	year = {2012},
	publisher = {ACM},
	organization = {ACM},
	url = {https://sites.google.com/site/alozanoresearch/publications/pdfs/rsse12.pdf},
	author = {Lozano, Angela and Kellens, Andy and Kim Mens}
}
@conference {81,
	title = {Code Querying by UML},
	booktitle = {Proceedings of the 20th IEEE International Conference on Program Comprehension (ICPC12)},
	year = {2012},
	author = {Carlos Noguera and Coen De Roover and Kellens, Andy and Viviane Jonckers}
}
@conference {78,
	title = {Refactoring in the Presence of Annotations},
	booktitle = {Proceedings of the 28th IEEE International Conference on Software Maintenance (ICSM12)},
	year = {2012},
	author = {Carlos Noguera and Kellens, Andy and Coen De Roover and Viviane Jonckers}
}
@article {94,
	title = {Diagnosing and Correcting Design Inconsistencies in Source Code with Logical Abduction},
	journal = {Science of Computer Programming - Special Issue on Software Evolution, Adaptability and Variability},
	volume = {76},
	year = {2011},
	month = {December},
	pages = {1113{\~A}{\textcent}{\^a}{\quotesinglbase}{\textlnot}{\^a}{\texteuro}{\oe}1129},
	keywords = {logic meta programming},
	author = {Castro, Sergio and Coen De Roover and Kellens, Andy and Lozano, Angela and Kim, Mens and Theo D{\textquoteright}Hondt}
}
@conference {321,
	title = {Mendel: Source Code Recommendation based on a Genetic Metaphor},
	booktitle = {Proceedings of the 26th IEEE/ACM international conference on Automated Software Engineering (ASE 2011)},
	year = {2011},
	address = {Lawrence, Kansas, USA},
	url = {https://sites.google.com/site/alozanoresearch/publications/pdfs/rsse12.pdf},
	author = {Lozano, Angela and Kellens, Andy and Kim Mens}
}
@conference {87,
	title = {Reasoning over the Evolution of Source Code using Quantified Regular Path Expressions},
	booktitle = {Proceedings of the 18th Working Conference on Reverse Engineering (WCRE11)},
	year = {2011},
	keywords = {history querying, logic meta programming, program querying, regular path expressions, temporal logic, version repositories},
	author = {Kellens, Andy and Coen De Roover and Carlos Noguera and Reinout Stevens and Viviane Jonckers}
}
@conference {92,
	title = {The {SOUL} Tool Suite for Querying Programs in Symbiosis with Eclipse},
	booktitle = {Proceedings of the 9th International Conference on the Principles and Practice of Programming in Java (PPPJ11)},
	year = {2011},
	keywords = {logic programming, program querying},
	author = {Coen De Roover and Carlos Noguera and Kellens, Andy and Viviane Jonckers}
}
@conference {96,
	title = {Co-evolving Annotations and Source Code through Smart Annotations},
	booktitle = {Proceedings of the 14th European Conference on Software Maintenance and Re-engineering (CSMR10)},
	year = {2010},
	keywords = {java, logic meta programming, smart annotations, soul},
	author = {Kellens, Andy and Carlos Noguera and De Schutter, Kris and Coen De Roover and Theo D{\textquoteright}Hondt}
}
@conference {97,
	title = {Generation and composition of corrective actions to code design problems with Heal},
	booktitle = {Proceedings of the 9th Belgian-Netherlands Software Evolution Seminar (BENEVOL 2010)},
	year = {2010},
	author = {Castro, Sergio and Kellens, Andy and Coen De Roover and Kim Mens}
}
@conference {324,
	title = {MEntoR: Mining Entities to Rules},
	booktitle = {9th BElgian-NEtherlands EVOLution Workshop (BENEVOL), Lille},
	year = {2010},
	author = {Lozano, Angela and Kellens, Andy and Kim Mens and Arevalo, Gabriela}
}
@conference {326,
	title = {Mining Source Code for Structural Regularities},
	booktitle = {Proceedings of the 2010 17th Working Conference on Reverse Engineering},
	year = {2010},
	publisher = {IEEE Computer Society},
	organization = {IEEE Computer Society},
	address = {Washington, DC, USA},
	keywords = {association rules, mining source code, regularities, static analysis},
	isbn = {978-0-7695-4123-5},
	url = {https://sites.google.com/site/alozanoresearch/publications/pdfs/Lozano-2010-WCRE-Mining\%20Source\%20Code\%20for\%20Structural\%20Regularities.pdf},
	author = {Lozano, Angela and Kellens, Andy and Kim Mens and Arevalo, Gabriela}
}
@conference {102,
	title = {Example-based Program Querying},
	booktitle = {Proceedings of the 2008 Working Session on Query Technologies and Applications for Program Comprehension (QTAPC08) at the 16th International Conference on Program Comprehension (ICPC08)},
	year = {2008},
	abstract = {<p>Program query languages are an essential component of program analysis and manipulation systems. In each such system, a query identifies the source-code parts of interest by reasoning over a program representation that is dedi- cated to the intent of the system (e.g. call-graphs to de- tect behavioral flaws, abstract syntax trees for refactorings, concrete source code to verify programming conventions, etc.). In order to detect a wide variety of such {\textquoteleft}{\textquoteleft}patterns of interest{\textquoteright}{\textquoteright}, or more importantly, to detect patterns that re- quire a combination of such program representations, de- velopers must understand all the different applicable rep- resentations and techniques. We therefore present a logic- based language that allows the program{\textquoteright}s implementation to be queried using concrete source code templates that are matched against a combination of structural and behavioral program representations. These representations include call-graphs, points-to analysis results and abstract syntax trees that are uniformly composed through a customizable unification procedure. The result of our approach is that de- velopers can detect patterns in the queried program using source code excerpts (embedded in logic queries) which act as prototypical samples of the structure and behavior they intend to match.</p>},
	keywords = {example-based, lmp, logic meta programming, pattern detection, prolog, templates},
	author = {Kellens, Andy and Johan Brichau and Coen De Roover}
}
