I have submitted my dissertation On Functional Logic Programming and its Application to Testing.