Differential monitoring

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

Download
OA differentialmonitoring-techreport.pdf 320.45 KB

Technical Report | Published | English
Department
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.
Publishing Year
Date Published
2021-09-01
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
17
ISSN
IST-REx-ID

Cite this

Mühlböck F, Henzinger TA. Differential Monitoring. IST Austria; 2021. doi:10.15479/AT:ISTA:9946
Mühlböck, F., & Henzinger, T. A. (2021). Differential monitoring. IST Austria. https://doi.org/10.15479/AT:ISTA:9946
Mühlböck, Fabian, and Thomas A Henzinger. Differential Monitoring. IST Austria, 2021. https://doi.org/10.15479/AT:ISTA:9946.
F. Mühlböck and T. A. Henzinger, Differential monitoring. IST Austria, 2021.
Mühlböck F, Henzinger TA. 2021. Differential monitoring, IST Austria, 17p.
Mühlböck, Fabian, and Thomas A. Henzinger. Differential Monitoring. IST Austria, 2021, doi:10.15479/AT:ISTA:9946.
All files available under the following license(s):
Copyright Statement:
This Item is protected by copyright and/or related rights. [...]
Main File(s)
Access Level
OA Open Access
Date Uploaded
2021-08-20
MD5 Checksum
0f9aafd59444cb6bdca6925d163ab946


Material in IST:
In other Relation

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar