Shujuan Jiang, Hongyang Wang, Yanmei Zhang, Meng Xue, Junyan Qian, Miao Zhang. An Approach for Detecting Infeasible Paths Based on a SMT Solver. IEEE Access, 7:69058-69069, 2019. [doi]
@article{JiangWZXQZ19,
title = {An Approach for Detecting Infeasible Paths Based on a SMT Solver},
author = {Shujuan Jiang and Hongyang Wang and Yanmei Zhang and Meng Xue and Junyan Qian and Miao Zhang},
year = {2019},
doi = {10.1109/ACCESS.2019.2918558},
url = {https://doi.org/10.1109/ACCESS.2019.2918558},
researchr = {https://researchr.org/publication/JiangWZXQZ19},
cites = {0},
citedby = {0},
journal = {IEEE Access},
volume = {7},
pages = {69058-69069},
}