Run-Time Verification of Coboxes

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

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

Abstract

Run-time verification is one of the most useful techniques for detecting faults. In this paper we show how to model the observable behavior of concurrently running object groups (coboxes) in SAGA (Software trace Analysis using Grammars and Attributes) which is a run-time checker that provides a smooth integration of the specification and the efficient run-time checking of both data- and protocol-oriented properties of message sequences. We illustrate the effectiveness of our method by an industrial case study from the eCommerce software company Fredhopper.
Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods
Subtitle of host publication11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
EditorsRobert M. Hierons , Mercedes G. Merayo , Mario Bravetti
PublisherSpringer
Pages259-273
Number of pages15
ISBN (Electronic)978-3-642-40561-7
ISBN (Print)978-3-642-40560-0
DOIs
Publication statusPublished - 2013
Externally publishedYes
Event11th International Conference on Software Engineering and Formal Methods - Madrid, Spain
Duration: 25 Sep 201327 Sep 2013
http://sefm2014.inria.fr/past-editions/index.html

Publication series

SeriesLecture Notes in Computer Science
Volume8137
ISSN0302-9743

Conference

Conference11th International Conference on Software Engineering and Formal Methods
Abbreviated titleSEFM 2013
CountrySpain
CityMadrid
Period25/09/1327/09/13
Internet address

Fingerprint Dive into the research topics of 'Run-Time Verification of Coboxes'. Together they form a unique fingerprint.

  • Cite this

    Boer, F. S. D., Gouw, S. D., & Wong, P. Y. H. (2013). Run-Time Verification of Coboxes. In R. M. H., M. G. M., & M. B. (Eds.), Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings (pp. 259-273). Springer. Lecture Notes in Computer Science, Vol.. 8137 https://doi.org/10.1007/978-3-642-40561-7_18