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


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
Number of pages15
ISBN (Electronic)978-3-642-40561-7
ISBN (Print)978-3-642-40560-0
Publication statusPublished - 2013
Externally publishedYes
Event11th International Conference on Software Engineering and Formal Methods - Madrid, Spain
Duration: 25 Sep 201327 Sep 2013

Publication series

SeriesLecture Notes in Computer Science


Conference11th International Conference on Software Engineering and Formal Methods
Abbreviated titleSEFM 2013
Internet address

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

Cite this