P. Cousot and R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, POPL'77, pp.238-252, 1977.

P. Cousot and N. Halbwachs, Automatic discovery of linear restraints among variables of a program, POPL'78, pp.84-97, 1978.

B. Godlin and O. Strichman, Regression verification, Proceedings of the 46th Annual Design Automation Conference, DAC '09, pp.466-471, 2009.

E. Goubault and S. Putot, Static analysis of finite precision computations, Verification, Model Checking, and Abstract Interpretation, pp.232-247, 2011.

E. Goubault and S. Putot, Robustness analysis of finite precision implementations, Programming Languages and Systems, pp.50-57, 2013.
URL : https://hal.archives-ouvertes.fr/cea-01834989

D. Jackson and D. A. Ladd, Semantic diff: A tool for summarizing the effects of modifications, Proceedings of the International Conference on Software Maintenance, ICSM '94, pp.243-252, 1994.

B. Jeannet and A. Miné, Apron: A library of numerical abstract domains for static analysis, Proc. of the 21th Int. Conf. on Computer Aided Verification (CAV'09), vol.5643, pp.661-667, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00786354

S. K. Lahiri, C. Hawblitzel, M. Kawaguchi, and H. Rebêlo, Symdiff: A language-agnostic semantic diff tool for imperative programs, Computer Aided Verification, pp.712-717, 2012.

M. Martel, Propagation of roundoff errors in finite precision computations: A semantics approach, Programming Languages and Systems, pp.194-208, 2002.

A. Miné, The octagon abstract domain. Higher-Order and Symbolic Computation, vol.19, pp.31-100, 2006.

N. Partush and E. Yahav, Abstract semantic differencing for numerical programs, Static Analysis, pp.238-258, 2013.

N. Partush and E. Yahav, Abstract semantic differencing via speculative correlation, Proceedings of the 2014 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.

A. Trostanetski, O. Grumberg, and D. Kroening, Modular demand-driven analysis of semantic difference for program versions, Static Analysis -24th International Symposium, vol.10422, pp.405-427, 2017.