A formal approach to fixing bugs
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.
Official URL: http://www.springer.com/computer/swe/book/978-3-64...
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|
|Book Title:||Formal methods : foundations and applications|
|Editor:||Simao, A. and Morgan, C.|
|Page Range:||pp. 172-187|
|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)|
Available Versions of this Item
Operads and Γ-homology of commutative rings. (deposited 18 Jun 2009 10:45)
- A formal approach to fixing bugs. (deposited 18 Oct 2011 15:31) [Currently Displayed]
Actions (login required)