The Library

A formal approach to fixing bugs

Tools

Kalvala, Sara (2011) A formal approach to fixing bugs. In: Simao, A. and Morgan, C., (eds.) Formal methods : foundations and applications. Lecture Notes in Computer Science (Vol.7021). Springer Verlag, pp. 172-187. ISBN 9783642250316 (In Press)

This is the latest version of this item.

Full text not available from this repository.

Abstract

Bugs within programs typically arise within well-known motifs, such as complex language features or misunderstood programming interfaces. We present a language for specifying program transformations which is paired with a novel methodology for identifying and fixing bug patterns within Java source code. We propose a combination of source code and bytecode analyses: this allows for using the control flow in the bytecode to help identify the bugs while generating corrected source code. The specification language uses a combination of syntactic rewrite rules and dataflow analysis generated from temporal logic based conditions.

Item Type: Book Item
Subjects: Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Divisions: Faculty of Science > Computer Science
Series Name: Lecture Notes in Computer Science
Publisher: Springer Verlag
ISBN: 9783642250316
Book Title: Formal methods : foundations and applications
Editor: Simao, A. and Morgan, C.
Date: December 2011
Number: Vol.7021
Page Range: pp. 172-187
Status: Peer Reviewed
Publication Status: In Press
Access rights to Published version: Restricted or Subscription Access
Funder: Engineering and Physical Sciences Research Council (EPSRC)
Grant number: EP/DO32466/1 (EPSRC)
Related URLs:
URI: http://wrap.warwick.ac.uk/id/eprint/45672

Request changes to a record

Available Versions of this Item

Actions (login required)

View Item View Item