@InProceedings{10.1007/978-3-030-88494-9_12,
author="Muehlboeck, Fabian
and Henzinger, Thomas A.",
editor="Feng, Lu
and Fisman, Dana",
title="Differential Monitoring",
booktitle="Runtime Verification",
year="2021",
publisher="Springer International Publishing",
address="Cham",
pages="231--243",
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.",
isbn="978-3-030-88494-9"
}