Reasoning over the Evolution of Source Code Using Quantified Regular Path Expressions | IEEE Conference Publication | IEEE Xplore