Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study

Stijn de Gouw, Frank S. de Boer, Einar Broch Johnsen, Peter Y. H. Wong

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Abstract

We introduce SAGA, a general framework that combines monitoring and run-time assertion checking. SAGA integrates both data-flow and control flow properties of Java classes and interfaces in a single formalism. We evaluate the framework by conducting an industrial case study.
Original languageEnglish
Title of host publicationSymposium on Applied Computing '13
Subtitle of host publicationProceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013
Place of PublicationNew York, NY
PublisherACM Digital Library
Pages1573-1578
Number of pages6
ISBN (Print)978-1-4503-1656-9
DOIs
Publication statusPublished - 2013
Externally publishedYes
Event28th Annual Symposium on Applied Computing - Coimbra, Portugal
Duration: 18 Mar 201322 Mar 2013
http://www.sigapp.org/sac/sac2013/

Conference

Conference28th Annual Symposium on Applied Computing
Abbreviated titleSAC 2013
CountryPortugal
CityCoimbra
Period18/03/1322/03/13
Internet address

    Fingerprint

Cite this

Gouw, S. D., Boer, F. S. D., Johnsen, E. B., & Wong, P. Y. H. (2013). Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. In Symposium on Applied Computing '13: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013 (pp. 1573-1578). ACM Digital Library. https://doi.org/10.1145/2480362.2480656