Saumendra Pattnaik, Bidush Kumar Sahoo, Chhabi Rani Panigrahi, Binod Kumar Pattanayak, Bibudhendu Pati. Test Case Generation using Symbolic Execution. Computación y Sistemas, 26(2), 2022. [doi]
@article{PattnaikSPPP22,
title = {Test Case Generation using Symbolic Execution},
author = {Saumendra Pattnaik and Bidush Kumar Sahoo and Chhabi Rani Panigrahi and Binod Kumar Pattanayak and Bibudhendu Pati},
year = {2022},
url = {https://cys.cic.ipn.mx/ojs/index.php/CyS/article/view/3887},
researchr = {https://researchr.org/publication/PattnaikSPPP22},
cites = {0},
citedby = {0},
journal = {Computación y Sistemas},
volume = {26},
number = {2},
}