Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection

Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, Ping Yu

November, 2022

Type

Publication

Proceedins of the 33rd International Symposium on Software Reliability Engineering