Publications

Export 5 results:
Filters: Keyword is dynamic analysis  [Clear All Filters]
2015
Vandercammen, M., J. Nicolay, S. Marr, J. De Koster, T. D'Hondt, and C. De Roover, "A Formal Foundation for Trace-based JIT Compilers", Proceedings of the 13th International Workshop on Dynamic Analysis, New York, NY, USA, ACM, 2015.
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.
Michiels, I., C. De Roover, J. Brichau, E. Gonzalez Boix, and T. D'Hondt, "Program Testing Using High-Level Property-Driven Models", Proceedings of the Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE06), 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.
2004
De Roover, C., Incorporating Dynamic Analysis and Approximate Reasoning in Declarative Meta-Programming to Support Software Re-engineering: Vrije Universiteit Brussel, 2004.