Publications

Export 2 results:
Filters: Keyword is program validation  [Clear All Filters]
2007
De Roover, C., J. Brichau, C. Noguera, T. D'Hondt, and L. Duchien, "Behavioral Similarity Matching using Concrete Source Code Templates in Logic Queries", Proceedings of the ACM-SIGPLAN Symposium on Partial Evaluation and semantics-based Program Manipulation (PEPM07), 2007.
2006
De Roover, C., J. Brichau, and T. D'Hondt, "Combining Fuzzy Logic and Behavioral Similarity for Non-strict Program Validation", Proceedings of the 8th ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP06), 2006.