WenQian Liu

• Rule-based detection of inconsistency in software design