Data-Flow Testing of Declarative Programs

with Herbert Kuchen

  • ICFP ‘08: Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming © ACM Press
  • pdf
  • slides
  • bib

more..

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs

with Josep Silva, Salvador Tamarit and German Vidal

  • LOPSTR ‘07: Logic-Based Program Synthesis and Transformation © Springer
  • pdf
  • bib

more..

EasyCheck - Test Data for Free

with Jan Christiansen

  • to be published in FLOPS ‘08: Proceedings of the 9th International Symposium on Functional and Logic Programming © Springer
  • pdf
  • slides
  • bib

more..

Systematic Generation of Glass-Box Test Cases for Functional Logic Programs

with Herbert Kuchen

  • PPDP ‘07: Proceedings of the 9th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming © ACM Press
  • pdf
  • slides
  • bib

more..