. The-be and . Book, The Haiku Operating System

G. Barthe, P. R. Rezk, and T. , Secure information flow by self-composition, Mathematical. Structures in Comp. Sci, vol.21, issue.6, pp.1207-1252, 2011.

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.

D. Delmas and A. Miné, Analysis of Program Differences with Numerical Abstract Interpretation, PERR 2019, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02109517

R. W. Floyd, Assigning meanings to programs, Proceedings of Symposium on Applied Mathematics, vol.19, pp.19-32, 1967.

B. Godlin and O. Strichman, Regression verification, Proceedings of DAC '09, pp.466-471, 2009.

E. Goubault and S. Putot, Static analysis of finite precision computations, pp.232-247, 2011.

E. Goubault and S. Putot, Robustness analysis of finite precision implementations. In: 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 ICSM '94, pp.243-252, 1994.

B. Jeannet and A. Miné, Apron: A library of numerical abstract domains for static analysis, Proc. of CAV'09, vol.5643, pp.661-667, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00786354

B. Jeannet, Bddapron: A logico-numerical abstract domain library, 2009.

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

S. K. Lahiri, K. L. Mcmillan, R. Sharma, and C. Hawblitzel, Differential assertion checking, Proceedings of ESEC/FSE 2013, pp.345-355, 2013.

P. D. Marinescu and C. Cadar, Katch: High-coverage testing of software patches, Proceedings of ESEC/FSE 2013, pp.235-245, 2013.

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, issue.1, pp.31-100, 2006.

F. Mora, Y. Li, J. Rubin, and M. Chechik, Client-specific equivalence checking, Proceedings of ASE 2018, pp.441-451, 2018.

C. Müller, M. Kovács, and H. Seidl, An analysis of universal information flow based on self-composition, CSF 2015, pp.380-393, 2015.

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

N. Partush and E. Yahav, Abstract semantic differencing via speculative correlation, Proceedings of OOPSLA'14, pp.811-828, 2014.

S. Person, M. B. Dwyer, S. Elbaum, and C. S. P?s?reanu, Differential symbolic execution, Proceedings of the 16th ACM 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, Proceedings of SAS 2017, pp.405-427, 2017.