Automatic Test Cases Generation for C Written Programs Using Model Checking. - Daniset González Lima; Raul Ernesto Gonzalez-Torres; Pedro Mejía-Alvarez (CSCI, 2021)