Automatic test cases generation from formal contracts. - Samuel Jimenez Gil; Manuel I. Capel; Gabriel Olea Olea (Inf. Softw. Technol., 2024)