A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest.

Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb

Browse the full TAP paper archive.