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

G. Bernot, Testing against formal specifications: A theoretical view, Theory and Practice of Software Development, pp.99-119, 1991.
DOI : 10.1007/3540539816_63

B. Marre, LOFT: A tool for assisting selection of test data sets from algebraic specifications, Theory and Practice of Software Development, pp.799-800, 1995.
DOI : 10.1007/3-540-59293-8_240

M. Aiguier, A. Arnould, C. Boin, L. Gall, P. Marre et al., Testing from algebraic specifications: test data set selection by unfolding axioms. In: Formal Approaches to Testing of Software, LNCS, vol.3997, pp.203-217, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00341963

M. Wirsing, Algebraic Specification, pp.675-788, 1990.
DOI : 10.1016/B978-0-444-88074-1.50018-4

G. Dowek, T. Hardin, and C. Kirchner, Theorem proving modulo, Journal of Automated Reasoning, vol.31, issue.1, pp.33-72, 2003.
DOI : 10.1023/A:1027357912519
URL : https://hal.archives-ouvertes.fr/hal-01199506

P. Machado, Testing from Structured Algebraic Specifications, LNCS, vol.1816, pp.529-544, 2000.
DOI : 10.1007/3-540-45499-3_37

M. Doche and V. Wiels, Extended Institutions for Testing, LNCS, vol.1816, pp.514-528, 2000.
DOI : 10.1007/3-540-45499-3_36

M. Aiguier, A. Arnould, L. Gall, P. Longuet, and D. , Exhaustive test sets for algebraic specification correctness, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01318362

E. Ohlebush, Modular Properties of Composable Term Rewriting Systems, Journal of Symbolic Computation, vol.20, issue.1, pp.1-41, 1995.
DOI : 10.1006/jsco.1995.1036

M. Aiguier, A. Arnould, L. Gall, P. Longuet, and D. , Test selection criteria from quantifierfree first-order specifications, In: Fundamentals of Software Engineering. LNCS, vol.4767, pp.144-159, 2007.

D. Longuet, M. Aiguier, L. Gall, and P. , Proof-Guided Test Selection from First-Order Specifications with Equality, Journal of Automated Reasoning, vol.4, issue.2, 2009.
DOI : 10.1007/s10817-009-9128-7
URL : https://hal.archives-ouvertes.fr/hal-00782871

L. Gall, P. Arnould, and A. , Formal specifications and test: Correctness and oracle, 11th Workshop on Algebraic Development Techniques, pp.342-358, 1996.
DOI : 10.1007/3-540-61629-2_52
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.625

F. Orejas, M. Navarro, and A. Sánchez, Implementation and behavioural equivalence : a survey In: Recent Trends in Data Type Specification, LNCS, vol.655, pp.144-163, 1993.

D. Longuet and M. Aiguier, Integration Testing from Structured First-Order Specifications via Deduction Modulo, 2009.
DOI : 10.1007/978-3-642-03466-4_17
URL : https://hal.archives-ouvertes.fr/hal-00812193