1 paper
Peter Biener, François Degrave, Wim Vanhoof
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 provid…