A review approach to detecting structural consistency violations in programs | IEEE Conference Publication | IEEE Xplore