Generating Tests from B Specifications and Test Purposes

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_12 ◽

2008 ◽

pp. 139-152 ◽

Author(s):

Jacques Julliand ◽

Pierre-Alain Masson ◽

Régis Tissot

Download Full-text