You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of York » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of York

Return to search Previous output Next output

Output 67 of 139 in the submission

Article title

Formal Specification-Based Inspection for Verification of Programs

Type

D - Journal article

DOI

10.1109/TSE.2011.102

Title of journal

IEEE Transactions on Software Engineering

Article number

6035726

Volume number

Issue number

First page of article

1100

ISSN of journal

0098-5589

Year of publication

2012

URL

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6035726&sortType%3Dasc_p_Sequence%26filter%3DAND%28p_IS_Number%3A6311391%29

Number of additional authors

Additional information

<07>This work started during Liu’s sabbatical in York. Inspection is widely used in industry for program verification; it is heavily dependent on human skill for its effectiveness. The paper develops a new method for using formal specifications for guiding inspections, and compares it with manual approaches, via rigorous experiments. These experiments show, with high confidence, that the use of the approach outperforms manual review in finding function-related errors, although it is less effective with implementation errors. The work has the potential to bring some benefits from formal analysis into domains where formal verification is impractical or not cost-justified.

Interdisciplinary

Cross-referral requested

Research group

A - High Integrity Systems Engineering

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract