Jacques Brucker
External collaborator
Publications
Simula-affiliated publications listed
2012
Proceedings, refereed
Read A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest
M. Carlier, C. Dubois and A. Gotlieb
A First Step in the Design of a Formally Verified Constraint-Based Testing Tool: FocalTest
Proceedings of the Tests And Proofs Conference (TAP 2012), Prague, Czech Republic