Publications

Export 1 results:
Filters: Keyword is dynamic analysis and Author is Johan Brichau  [Clear All Filters]
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.