B. Beizer, Software testing techniques, 1990.

D. [. Bergadano and . Gunetti, Testing by means of inductive program learning, ACM Transactions on Software Engineering and Methodology, vol.5, issue.2, pp.119-145, 1996.
DOI : 10.1145/227607.227611

M. [. Bernot, B. Gaudel, and . Marre, Software testing based on formal specifications: a theory and a tool, Software Engineering Journal, vol.6, issue.6, 1991.
DOI : 10.1049/sej.1991.0040

]. A. Bie78 and . Biermann, The inference of regular LISP programs from examples, IEEE trans. Systems, Man, and Cybernetics, vol.8, issue.8, pp.585-600, 1978.

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-278, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

O. [. Consel and . Danvy, Tutorial notes on partial evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, pp.493-501, 1993.
DOI : 10.1145/158511.158707

]. E. Dij75 and . Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, CACM, vol.18, issue.8, pp.453-457, 1975.

A. [. Demillo and . Offutt, Constraint-based automatic test data generation, IEEE Transactions on Software Engineering, vol.17, issue.9, 1991.
DOI : 10.1109/32.92910

]. C. Hoa69 and . Hoare, An axiomatic basis for computer programming, CACM, vol.12, issue.10, 1969.

]. R. Mil78 and . Milner, A theory of type polymorphism in programming, J. Computer and System Sciences, vol.17, pp.348-375, 1978.

F. [. Nielson and . Nielson, Semantics with Applications : A Formal Introduction, 1992.

B. Pierce, S. Dietzen, and S. Michaylov, Programming in higher-order typed lambda-calculi, 1989.

]. E. Sha83 and . Shapiro, Algorithmic Programming Debugging, 1983.

]. F. Tip95 and . Tip, A survey of program slicing techniques, Journal of programming languages, vol.3, pp.121-189, 1995.

M. [. Van-aertryck, D. L. Benveniste, and . Métayer, CASTING: a formally based software test generation method, Proceedings First IEEE International Conference on Formal Engineering Methods, 1997.
DOI : 10.1109/ICFEM.1997.630411

]. E. Wey83 and . Weyuker, Assessing test data adequacy through program inference, ACM trans. Programming Languages and Systems, vol.5, issue.4, pp.641-655, 1983.