Publications

Export 2 results:
Filters: Author is Michiels, Isabel  [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.
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.