TY - GEN
T1 - Differential Monitoring
AU - Muehlboeck, Fabian
AU - Henzinger, Thomas A.
N1 - Publisher Copyright:
© 2021, Springer Nature Switzerland AG.
PY - 2021
Y1 - 2021
N2 - 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.
AB - 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.
KW - Implicit specification
KW - Run-time verification
KW - Software engineering
U2 - 10.1007/978-3-030-88494-9_12
DO - 10.1007/978-3-030-88494-9_12
M3 - Conference Paper
AN - SCOPUS:85117462478
SN - 9783030884932
T3 - Lecture Notes in Computer Science
SP - 231
EP - 243
BT - Runtime Verification - 21st International Conference, RV 2021, Proceedings
A2 - Feng, Lu
A2 - Fisman, Dana
PB - Springer Science+Business Media B.V.
T2 - 21st International Conference on Runtime Verification, RV 2021
Y2 - 11 October 2021 through 14 October 2021
ER -