Publications
Export 4 results:
Filters: Keyword is temporal logic [Clear All Filters]
"Reasoning over the Evolution of Source Code using Quantified Regular Path Expressions", Proceedings of the 18th Working Conference on Reverse Engineering (WCRE11), 2011.
, "Forward Chaining in HALO: An Implementation Strategy for History-based Logic Pointcuts", Elsevier International Journal on Computer Languages, Systems {&} Structures, vol. 35, pp. 31–47, April, 2009.
, "An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification", Proceedings of the 14th IEEE International Conference on Program Comprehension (ICPC06), 2006.
, "Program Testing Using High-Level Property-Driven Models", Proceedings of the Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE06), 2006.
,