Engineering of Complex Computer Systems, IEEE International Conference on (2006)
Aug. 15, 2006 to Aug. 17, 2006
Yuting Chen , Hosei University, Tokyo, Japan
Shaoying Liu , Hosei University, Tokyo, Japan
Fumiko Nagoya , Hosei University, Tokyo, Japan
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 identify points for further improvement.
Design and implementation, program review, structural consistency, SOFL specification
S. Liu, Y. Chen and F. Nagoya, "A Tool-Supported Review Approach to Detecting Structural Consistency Violations," 11th IEEE International Conference on Engineering of Complex Computer Systems(ICECCS), Stanford, CA, 2006, pp. 121-130.