@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},
}