Publications
Export 1 results:
Filters: Keyword is program testing [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.
,