Ramanuj Chouksey, Chandan Karfa, Kunal Banerjee, Pankaj Kumar Kalita, Purandar Bhaduri. Counter-example generation procedure for path-based equivalence checkers. IET Software, 13(4):280-285, 2019. [doi]
@article{ChoukseyKBKB19,
title = {Counter-example generation procedure for path-based equivalence checkers},
author = {Ramanuj Chouksey and Chandan Karfa and Kunal Banerjee and Pankaj Kumar Kalita and Purandar Bhaduri},
year = {2019},
doi = {10.1049/iet-sen.2018.5203},
url = {https://doi.org/10.1049/iet-sen.2018.5203},
researchr = {https://researchr.org/publication/ChoukseyKBKB19},
cites = {0},
citedby = {0},
journal = {IET Software},
volume = {13},
number = {4},
pages = {280-285},
}