BZ-TT: A tool-set for test generation from Z and B using constraint logic programming, Proceedings of the CONCUR'02 Workshop on Formal Approaches to Testing of Software (FATES'02), pp.105-120, 2002. ,
The B-Book, 1996. ,
Tools for Developing Large Systems (A Proposal), Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project, pp.387-390, 2006. ,
DOI : 10.1007/11916246_20
An overview of JML tools and applications, International Journal on Software Tools for Technology Transfer, vol.box, issue.3, pp.212-232, 2005. ,
DOI : 10.1007/s10009-004-0167-4
Black-Box Testing: Techniques for Functional Testing of Software and Systems, 1995. ,
B4free web site ,
LEIRIOS Test Generator: Automated Test Generation from B Models, B'2007, the 7th Int. B Conference, pp.277-281, 2007. ,
DOI : 10.1007/11955757_29
ProB: A Model Checker for B, FME 2003: Formal Methods, LNCS 2805, pp.855-874, 2003. ,
DOI : 10.1007/978-3-540-45236-2_46
Demoney: A demonstrative electronic purse -card specification ,
ProTest: An Automatic Test Environment for B Specifications, Electronic Notes in Theoretical Computer Science, vol.111, issue.111, pp.113-136, 2005. ,
DOI : 10.1016/j.entcs.2004.12.009