Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

A formal approach to fixing bugs

Tools
- Tools
+ Tools

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

[img]
Preview
PDF
WRAP_Kalvala_postprint.pdf - Accepted Version - Requires a PDF viewer.

Download (475Kb) | Preview
[img] PDF
main.pdf - Published Version
Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer.

Download (244Kb)
Official URL: http://dx.doi.org/10.1007/978-3-642-25032-3_12

Request Changes to record.

Abstract

Bugs within programs typically arise within well-known motifs, such as complex language features or misunderstood programming interfaces. Some software development tools often detect some of these situations, and some integrated development environments suggest automated fixes for some of the simple cases. However, it is usually difficult to hand-craft and integrate more complex bug-fixing into these environments. 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. We demonstrate the approach with a prototype implementation.

Item Type: Book Item
Subjects: Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software
Divisions: Faculty of Science, Engineering and Medicine > Science > Computer Science
Library of Congress Subject Headings (LCSH): Java (Computer program language), Debugging in computer science, Formal methods (Computer science)
Series Name: Lecture Notes in Computer Science
Publisher: Springer-Verlag
Place of Publication: Berlin
ISBN: 9783642250316
ISSN: 0302-9743
Book Title: Formal methods, foundations and applications
Editor: Simao, A. and Morgan, C.
Official Date: 2011
Dates:
DateEvent
2011Published
Volume: Volume 7021
Page Range: pp. 172-187
DOI: 10.1007/978-3-642-25032-3_12
Status: Peer Reviewed
Publication Status: Published
Access rights to Published version: Restricted or Subscription Access
Description:

Proceedings of 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011

Funder: Engineering and Physical Sciences Research Council (EPSRC)
Grant number: EP/DO32466/1 (EPSRC)
Conference Paper Type: Paper
Title of Event: 14th Brazilian Symposium, SBMF 2011
Type of Event: Other
Location of Event: São Paulo, Brazil
Date(s) of Event: 26-30 Sep 2011

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us