Publications

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