Pan Bian, Bin Liang 0002, Yan Zhang, Chaoqun Yang, Wenchang Shi, Yan Cai 0001. Corrections to "Detecting Bugs by Discovering Expectations and Their Violations". IEEE Trans. Software Eng., 46(1):113, 2020. [doi]
@article{BianLZYSC20,
title = {Corrections to "Detecting Bugs by Discovering Expectations and Their Violations"},
author = {Pan Bian and Bin Liang 0002 and Yan Zhang and Chaoqun Yang and Wenchang Shi and Yan Cai 0001},
year = {2020},
doi = {10.1109/TSE.2019.2958750},
url = {https://doi.org/10.1109/TSE.2019.2958750},
researchr = {https://researchr.org/publication/BianLZYSC20},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {46},
number = {1},
pages = {113},
}