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

Matthieu Carlier Catherine Dubois Arnaud Gotlieb A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest. 35-50 2012 TAP http://dx.doi.org/10.1007/978-3-642-30473-6_5 conf/tap/2012 db/conf/tap/tap2012.html#CarlierDG12