A tool-supported review approach to detecting structural consistency violations

Yuting Chen, Shaoying Liu, F. Nagoya
11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06)  
The application of specification-based program verification techniques (e.g., testing, review, and proof) faces strong challenges in practice when the gap between the structure of a specification and that of its program is large. In this paper we describe a tool-supported review approach to detecting structural consistency violations by introducing the review method, discussing the design and implementation of the tool, and presenting a case study to assess the effectiveness of the tool and
more » ... of the tool and identify points for further improvement.
doi:10.1109/iceccs.2006.1690361 fatcat:m6akzgqavzc7fegoo4kep4ih5u