D Xu, K Xia, D Zhang, H Zhang - Comput. Inf. Sci., 2009 - pdfs.semanticscholar.org
In the past several years, various techniques were proposed to analyze various types of
structural errors, such as inconsistency (conflict rules), and circularity (circular depending …