@inproceedings{chen2022minimizing, title = {Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection}, booktitle = {Proceedings of the 33rd {International Symposium} on {Software Reliability Engineering} ({ISSRE} 2022)}, author = {Chen, Chuyang and Wang, Huiyan and Zhang, Lingyu and Xu, Chang and Yu, Ping}, year = {2022}, month = oct, pages = {13--24}, publisher = {IEEE}, address = {Charlotte, NC, USA}, doi = {10.1109/ISSRE55969.2022.00013}, copyright = {All rights reserved}, }