A review approach to detecting structural consistency violations in programs
Yuting Chen,Shaoying Liu,Fumiko Nagoya