Corrections to "Detecting Bugs by Discovering Expectations and Their Violations"

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]

Abstract

Abstract is missing.