A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
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 anddoi:10.1109/iceccs.2006.1690361 fatcat:m6akzgqavzc7fegoo4kep4ih5u