@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" }