F. Bibliographie, F. Ambert, S. Bouquet, S. Chemin, B. Guenaud et al., BZ-TT : A tool-set for test generation from Z and B using constraint logic programming

P. Godefroid, Compositional dynamic test generation
DOI : 10.1145/1190216.1190226
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.84.655

B. Marre and A. Arnould, Test sequences generation from LUSTRE descriptions: GATEL, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering
DOI : 10.1109/ASE.2000.873667