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

doi:10.1145/2480362.2480656

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 proceeding › Conference Article in proceeding › Academic › peer-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 language	English
Title of host publication	Symposium on Applied Computing '13
Subtitle of host publication	Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013
Place of Publication	New York, NY
Publisher	ACM Digital Library
Pages	1573-1578
Number of pages	6
ISBN (Print)	978-1-4503-1656-9
DOIs	https://doi.org/10.1145/2480362.2480656
Publication status	Published - 2013
Externally published	Yes
Event	28th Annual Symposium on Applied Computing - Coimbra, Portugal Duration: 18 Mar 2013 → 22 Mar 2013 http://www.sigapp.org/sac/sac2013/

Conference

Conference	28th Annual Symposium on Applied Computing
Abbreviated title	SAC 2013
Country/Territory	Portugal
City	Coimbra
Period	18/03/13 → 22/03/13
Internet address	http://www.sigapp.org/sac/sac2013/

Access to Document

10.1145/2480362.2480656

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

Gouw, Stijn de ; Boer, Frank S. de ; Johnsen, Einar Broch et al. / 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",

note = "28th Annual Symposium on Applied Computing, SAC 2013 ; Conference date: 18-03-2013 Through 22-03-2013",

url = "http://www.sigapp.org/sac/sac2013/",

}

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 et al.
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 proceeding › Conference Article in proceeding › Academic › peer-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

T2 - 28th Annual Symposium on Applied Computing

Y2 - 18 March 2013 through 22 March 2013

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 doi: 10.1145/2480362.2480656

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

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this