|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2011 18th Working Conference on Reverse Engineering
Reasoning over the Evolution of Source Code Using Quantified Regular Path Expressions
Limerick, Ireland
October 17-October 20
ISBN: 978-0-7695-4582-0
| ASCII Text | x | ||
| Andy Kellens, Coen De Roover, Carlos Noguera, Reinout Stevens, Viviane Jonckers, "Reasoning over the Evolution of Source Code Using Quantified Regular Path Expressions," Reverse Engineering, Working Conference on, pp. 389-393, 2011 18th Working Conference on Reverse Engineering, 2011. | |||
| BibTex | x | ||
| @article{ 10.1109/WCRE.2011.54, author = {Andy Kellens and Coen De Roover and Carlos Noguera and Reinout Stevens and Viviane Jonckers}, title = {Reasoning over the Evolution of Source Code Using Quantified Regular Path Expressions}, journal ={Reverse Engineering, Working Conference on}, volume = {0}, year = {2011}, issn = {1095-1350}, pages = {389-393}, doi = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2011.54}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Reverse Engineering, Working Conference on TI - Reasoning over the Evolution of Source Code Using Quantified Regular Path Expressions SN - 1095-1350 SP389 EP393 A1 - Andy Kellens, A1 - Coen De Roover, A1 - Carlos Noguera, A1 - Reinout Stevens, A1 - Viviane Jonckers, PY - 2011 VL - 0 JA - Reverse Engineering, Working Conference on ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WCRE.2011.54
Version control systems (VCS) have become indispensable to develop software. Next to their immediate advantages, they also offer information about the evolution of software and its development process. Despite this wealth of information, it has only been leveraged by tools that are dedicated to a specific software engineering task such as predicting bugs or identifying hotspots. General-purpose tool support for reasoning about the information contained in a version control system is limited. In this paper, we introduce the logic-based program query language ABSINTHE. It supports querying versioned software systems using logic queries in which quantified regular path expressions are embedded. These expressions lend themselves to specifying the properties that each individual version in a sequence of successive software versions ought to exhibit.
Citation:
Andy Kellens, Coen De Roover, Carlos Noguera, Reinout Stevens, Viviane Jonckers, "Reasoning over the Evolution of Source Code Using Quantified Regular Path Expressions," wcre, pp.389-393, 2011 18th Working Conference on Reverse Engineering, 2011
Usage of this product signifies your acceptance of the Terms of Use.