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]
No references recorded for this publication.
No citations of this publication recorded.