R. 1. Binkley and D. , Using semantic differencing to reduce the cost of regression testing, Proceedings Conference on Software Maintenance 1992, pp.41-50, 1992.
DOI : 10.1109/ICSM.1992.242560

D. Brumley, P. Poosankam, D. Song, and J. Zheng, Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications, 2008 IEEE Symposium on Security and Privacy (sp 2008), pp.143-157, 2008.
DOI : 10.1109/SP.2008.17

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973

URL : https://hal.archives-ouvertes.fr/hal-01108790

D. Gao, M. K. Reiter, and D. Song, BinHunt: Automatically Finding Semantic Differences in Binary Programs, Information and Communications Security, pp.238-255, 2008.
DOI : 10.1007/978-3-540-73368-3_52

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259

S. Horwitz, Identifying the semantic and textual differences between two versions of a program, ACM SIGPLAN Notices, vol.25, issue.6, pp.234-245, 1990.
DOI : 10.1145/93548.93574

D. Jackson and D. A. Ladd, Semantic Diff: a tool for summarizing the effects of modifications, Proceedings International Conference on Software Maintenance ICSM-94, pp.243-252, 1994.
DOI : 10.1109/ICSM.1994.336770

S. K. Lahiri, C. Hawblitzel, M. Kawaguchi, and H. Rebêlo, SYMDIFF: A Language-Agnostic Semantic Diff Tool for Imperative Programs, 24th International Conference on Computer Aided Verification. CAV'12, pp.712-717, 2012.
DOI : 10.1007/978-3-642-31424-7_54

S. K. Lahiri, K. Vaswani, and C. A. Hoare, Differential static analysis, Proceedings of the FSE/SDP workshop on Future of software engineering research, FoSER '10, pp.201-204, 2010.
DOI : 10.1145/1882362.1882405

X. Leroy, Formal verification of a realistic compiler, Communications of the ACM, vol.52, issue.7, pp.107-115, 2009.
DOI : 10.1145/1538788.1538814

URL : https://hal.archives-ouvertes.fr/inria-00415861

N. Partush and E. Yahav, Abstract Semantic Differencing for Numerical Programs, Static Analysis Symposium, pp.238-258, 2013.
DOI : 10.1007/978-3-642-38856-9_14

N. Partush and E. Yahav, Abstract semantic differencing via speculative correlation, ACM International Conference on Object Oriented Programming Systems Languages & Applications. OOPSLA '14, pp.811-828, 2014.

S. Person, M. B. Dwyer, S. Elbaum, and C. S. P?as?areanup?as?p?as?areanu, Differential symbolic execution, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, pp.226-237, 2008.
DOI : 10.1145/1453101.1453131

O. Strichman and B. Godlin, Regression Verification - A Practical Way to Verify Programs, LNCS, vol.178, issue.1, pp.496-501, 2008.
DOI : 10.1007/BFb0054170

G. Yang, S. Person, N. Rungta, and S. Khurshid, Directed Incremental Symbolic Execution, ACM Transactions on Software Engineering and Methodology, vol.24, issue.1, pp.1-342, 2014.
DOI : 10.1145/2629536