Differential monitoring

Mühlböck, Fabian; Henzinger, Thomas A

Differential monitoring

Mühlböck F, Henzinger TA. 2021. Differential monitoring, IST Austria, 17p.

Download

differentialmonitoring-techreport.pdf 320.45 KB [Published Version]

DOI

10.15479/AT:ISTA:9946

Technical Report | Published | English

Author

Mühlböck, Fabian^ISTA ; Henzinger, Thomas A^ISTA

Department

Henzinger_Thomas Group

Grant

Wittgenstein Award – Thomas Henzinger

Series Title

IST Austria Technical Report

Abstract

We argue that the time is ripe to investigate differential monitoring, in which the specification of a program's behavior is implicitly given by a second program implementing the same informal specification. Similar ideas have been proposed before, and are currently implemented in restricted form for testing and specialized run-time analyses, aspects of which we combine. We discuss the challenges of implementing differential monitoring as a general-purpose, black-box run-time monitoring framework, and present promising results of a preliminary implementation, showing low monitoring overheads for diverse programs.

Keywords

run-time verification; software engineering; implicit specification

Publishing Year

2021

Date Published

2021-09-01

Publisher

IST Austria

Acknowledgement

The authors would like to thank Borzoo Bonakdarpour, Derek Dreyer, Adrian Francalanza, Owolabi Legunsen, Matthew Milano, Manuel Rigger, Cesar Sanchez, and the members of the IST Verification Seminar for their helpful comments and insights on various stages of this work, as well as the reviewers of RV’21 for their helpful suggestions on the actual paper.

Page

ISSN

2664-1690

IST-REx-ID

9946