2014-06-01
Combining Monitoring with Run-Time Assertion Checking
Publication
Publication
Presented at the
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinoro, Italy
According to a study in 2002 commissioned 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.
| Additional Metadata | |
|---|---|
| , , , | |
| Springer | |
| M. Bernardo , F. Damiani , R. Hähnle (Reiner) , E.B. Johnsen (Einar Broch) , I. Schaefer | |
| doi.org/10.1007/978-3-319-07317-0_6 | |
| International School on Formal Methods for the Design of Computer, Communication, and Software Systems | |
| Organisation | Computer Security |
|
de Boer, F., & de Gouw, S. (2014). Combining Monitoring with Run-Time Assertion Checking. In M. Bernardo, F. Damiani, R. Hähnle, E. B. Johnsen, & I. Schaefer (Eds.), Proceedings of International School on Formal Methods for the Design of Computer, Communication, and Software Systems 2014 (SFM 14) (pp. 217–262). Springer. doi:10.1007/978-3-319-07317-0_6 |
|
