Publications
Export 3 results:
Filters: Keyword is dynamic analysis and Author is Kris Gybels [Clear All Filters]
"An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification", Proceedings of the 14th IEEE International Conference on Program Comprehension (ICPC06), 2006.
, "An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification", Proceedings of the 14th IEEE International Conference on Program Comprehension (ICPC06), 2006.
, "Towards Abstract Interpretation for Recovering Design Information", Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages (AIOOL05), May, 2005.
,