On Functional Logic Programming and its Application to Testing
Sebastian Fischer · Multimedialen Archiv und Publikationsserver der Christian-Albrechts-Universität zu Kiel (Christian-Albrechts-Universität zu Kiel) · 2010
for coverage collection . . . . . . . . . .91 4.3.3Formalisation of program transformation . . . . . . .96 4.3.4Implementation of coverage combinators . . . . . . .4.4 Experimental evaluation . . . . .