ThanhVu Nguyen, KimHao Nguyen, Matthew B. Dwyer. Using Symbolic States to Infer Numerical Invariants. IEEE Trans. Software Eng., 48(10):3877-3899, 2022. [doi]
@article{NguyenND22-3,
title = {Using Symbolic States to Infer Numerical Invariants},
author = {ThanhVu Nguyen and KimHao Nguyen and Matthew B. Dwyer},
year = {2022},
doi = {10.1109/TSE.2021.3106964},
url = {https://doi.org/10.1109/TSE.2021.3106964},
researchr = {https://researchr.org/publication/NguyenND22-3},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {48},
number = {10},
pages = {3877-3899},
}