A Tool-Supported Review Approach to Detecting Structural Consistency Violations.

Yuting Chen, Shaoying Liu, Fumiko Nagoya

Browse the full ICECCS paper archive.