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]
@inproceedings{LimaGM21,
title = {Automatic Test Cases Generation for C Written Programs Using Model Checking},
author = {Daniset González Lima and Raul Ernesto Gonzalez-Torres and Pedro Mejía-Alvarez},
year = {2021},
doi = {10.1109/CSCI54926.2021.00361},
url = {https://doi.org/10.1109/CSCI54926.2021.00361},
researchr = {https://researchr.org/publication/LimaGM21},
cites = {0},
citedby = {0},
pages = {1944-1950},
booktitle = {International Conference on Computational Science and Computational Intelligence, CSCI 2021, Las Vegas, NV, USA, December 15-17, 2021},
publisher = {IEEE},
isbn = {978-1-6654-5841-2},
}