An Automated Approach to Specification-Based Program Inspection


In this paper, we describe how formal speci…cation is adopted to improve the commonly used veri…cation and validation technique known as program inspection, in order to establish a more rigorous, repeatable, and e¢ cient inspection process than the conventional practice. We present a systematic approach to inspecting program code on the basis of the… (More)
DOI: 10.1007/11576280_29

5 Figures and Tables