Daniset González Lima, Raul Ernesto Gonzalez-Torres, Pedro Mejía-Alvarez. Automatic Test Cases Generation for C Written Programs Using Model Checking. In International Conference on Computational Science and Computational Intelligence, CSCI 2021, Las Vegas, NV, USA, December 15-17, 2021. pages 1944-1950, IEEE, 2021. [doi]
Abstract is missing.