Verification of Programs with Common Fragments

Authors: I. Postolski; V. Braberman; D. Garbervetsky & S. Uchitel.

Abstract:
We introduce a novel verification problem that exploits common code fragments between two programs. We discuss a solution based on Mimicry Monitors that anticipate if the execution of a Program Under Analysis has a counterpart in an Oracle Program without executing the latter. We discuss how such monitors can be leveraged in different software engineering tasks.

More information:
https://dl.acm.org/doi/10.1145/3663529.3663783