Abstract
According to a study in 2002 commisioned by a US Department, software bugs annually costs the US economy an estimated $59 billion. A more recent study in 2013 by Cambridge University estimated that the global cost has risen to $312 billion globally.
There exists various ways to prevent, isolate and fix software bugs, ranging from lightweight methods that are (semi)-automatic, to heavyweight methods that require significant user interaction. Our own method described in this tutorial is based on automated run-time checking of a combination of protocol- and data-oriented properties of object-oriented programs.
There exists various ways to prevent, isolate and fix software bugs, ranging from lightweight methods that are (semi)-automatic, to heavyweight methods that require significant user interaction. Our own method described in this tutorial is based on automated run-time checking of a combination of protocol- and data-oriented properties of object-oriented programs.
Original language | English |
---|---|
Title of host publication | Formal Methods for Executable Software Models |
Subtitle of host publication | 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures |
Editors | Marco Bernardo , Ferruccio Damiani , Reiner Hähnle , Einar Broch Johnsen , Ina Schaefer |
Publisher | Springer |
Pages | 217-262 |
Number of pages | 46 |
ISBN (Electronic) | 978-3-319-07317-0 |
ISBN (Print) | 978-3-319-07316-3 |
DOIs | |
Publication status | Published - 2014 |
Externally published | Yes |
Event | 14th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Executable Software Models - Bertinoro, Italy Duration: 16 Jun 2014 → 20 Jun 2014 http://www.sti.uniurb.it/events/sfm14esm/ |
Publication series
Series | Lecture Notes in Computer Science |
---|---|
Volume | 8483 |
ISSN | 0302-9743 |
Seminar
Seminar | 14th International School on Formal Methods for the Design of Computer, Communication and Software Systems |
---|---|
Abbreviated title | SFM-14: ESM |
Country/Territory | Italy |
City | Bertinoro |
Period | 16/06/14 → 20/06/14 |
Internet address |