Publications
Export 1 results:
Filters: Keyword is dynamic analysis and Author is Johan Brichau [Clear All Filters]
"Program Testing Using High-Level Property-Driven Models", Proceedings of the Eighteenth International Conference on Software Engineering and Knowledge Engineering (SEKE06), 2006.
,