FreeDA: deploying incompatible stock dynamic analyses in production via multi-version execution - Pina, L; Andronidis, A; Cadar, C (ACM, 2018)