G. Barthe, P. R. D-'argenio, and T. Rezk, Secure information flow by self-composition, Mathematical Structures in Computer Science, vol.4, issue.06, pp.1207-1252, 2011.
DOI : 10.1145/5397.5399

P. Baudin, F. Bobot, L. Correnson, and Z. Dargaye, WP Plugin Manual v1, 2017.

P. Baudin, P. Cuoq, J. C. Filliâtre, C. Marché, B. Monate et al., ACSL : ANSI/ISO C Specification Language

L. Blatter, N. Kosmatov, P. L. Gall, and V. Prevosto, RPP: Automatic Proof of Relational Properties by Self-composition, Proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.391-397, 2017.
DOI : 10.1093/comjnl/25.4.465

URL : https://hal.archives-ouvertes.fr/cea-01808885

L. Blatter, N. Kosmatov, L. Gall, P. Prevosto, V. Petiot et al., Static and Dynamic Verification of Relational Properties on Self-composed C Code, Proceedings of the 12th Conference on Tests and Proofs, 2018.
DOI : 10.1145/3092255.3092269

URL : https://hal.archives-ouvertes.fr/cea-01835470

A. Gotlieb and B. Botella, Automated metamorphic testing, Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003, pp.34-40, 2003.
DOI : 10.1109/CMPSAC.2003.1245319

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, 1969.

D. Sannella and A. Tarlecki, Foundations of Algebraic Specification and Formal Software Development, (2012) Approches Formelles dans l'Assistance au Développement de Logiciels ? AFADL'18
DOI : 10.1007/978-3-642-17336-3