Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Degrave, François"'
Publikováno v:
Proceedings of CICLOPS-WLPE 2010
This paper presents a test automation framework for Mercury programs. We developed a method that generates runnable Mercury code from a formalized test suite, and which code provides a report on execution about the success of test cases. We also deve
Externí odkaz:
http://arxiv.org/abs/1009.3765
Publikováno v:
Logic-based Program Synthesis & Transformation (9783642125911); 2010, p128-142, 15p
Publikováno v:
Logic-based Program Synthesis & Transformation (9783642005145); 2009, p71-86, 16p
Autor:
Degrave, François, Vanhoof, Wim
Publikováno v:
Logic-based Program Synthesis & Transformation (9783540787686); 2008, p43-58, 16p