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

Flow control
Monitoring

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). New York, NY: ACM Digital Library. https://doi.org/10.1145/2480362.2480656
Gouw, Stijn de ; Boer, Frank S. de ; Johnsen, Einar Broch ; Wong, Peter Y. H. / Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. Symposium on Applied Computing '13: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013. New York, NY : ACM Digital Library, 2013. pp. 1573-1578
@inproceedings{6f2f6db8c7614be7b3fbed07fd69b780,
title = "Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study",
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.",
author = "Gouw, {Stijn de} and Boer, {Frank S. de} and Johnsen, {Einar Broch} and Wong, {Peter Y. H.}",
year = "2013",
doi = "10.1145/2480362.2480656",
language = "English",
isbn = "978-1-4503-1656-9",
pages = "1573--1578",
booktitle = "Symposium on Applied Computing '13",
publisher = "ACM Digital Library",

}

Gouw, SD, Boer, FSD, Johnsen, EB & Wong, PYH 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. ACM Digital Library, New York, NY, pp. 1573-1578, 28th Annual Symposium on Applied Computing, Coimbra, Portugal, 18/03/13. https://doi.org/10.1145/2480362.2480656

Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study. / Gouw, Stijn de; Boer, Frank S. de; Johnsen, Einar Broch; Wong, Peter Y. H.

Symposium on Applied Computing '13: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013. New York, NY : ACM Digital Library, 2013. p. 1573-1578.

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

TY - GEN

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

AU - Gouw, Stijn de

AU - Boer, Frank S. de

AU - Johnsen, Einar Broch

AU - Wong, Peter Y. H.

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

UR - https://dl.acm.org/citation.cfm?id=2480362&picked=prox

U2 - 10.1145/2480362.2480656

DO - 10.1145/2480362.2480656

M3 - Conference article in proceeding

SN - 978-1-4503-1656-9

SP - 1573

EP - 1578

BT - Symposium on Applied Computing '13

PB - ACM Digital Library

CY - New York, NY

ER -

Gouw SD, Boer FSD, Johnsen EB, Wong PYH. 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. New York, NY: ACM Digital Library. 2013. p. 1573-1578 https://doi.org/10.1145/2480362.2480656