Meng Wang, Cong Tian, Nan Zhang 0001, Zhenhua Duan. Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution. IEEE Transactions on Reliability, 68(3):1101-1116, 2019. [doi]
@article{WangTZD19,
title = {Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution},
author = {Meng Wang and Cong Tian and Nan Zhang 0001 and Zhenhua Duan},
year = {2019},
doi = {10.1109/TR.2018.2876333},
url = {https://doi.org/10.1109/TR.2018.2876333},
researchr = {https://researchr.org/publication/WangTZD19},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Reliability},
volume = {68},
number = {3},
pages = {1101-1116},
}