B. K. Aichernig, Contract-based testing, " in Formal Methods at the Crossroads: From Panacea to Foundational Support, ser. Lecture Notes in Computer Science, pp.34-48, 2003.

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279

G. T. Leavens, A. L. Baker, and C. Ruby, JML: A Notation for Detailed Design, Behavioral Specifications of Businesses and Systems, pp.175-188, 1999.
DOI : 10.1007/978-1-4615-5229-1_12

M. Barnett, K. Leino, and W. Schulte, The Spec# Programming System: An Overview, Proceedings of the International Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS'04), ser. LNCS, pp.49-69, 2004.
DOI : 10.1007/978-3-540-30569-9_3

I. Enderlin, F. Dadeau, A. Giorgetti, and A. B. Othman, Praspel: A Specification Language for Contract-Based Testing in PHP, ICTSS, ser. Lecture Notes in Computer Science, pp.64-79, 2011.
DOI : 10.1007/978-3-642-24580-0_6

URL : https://hal.archives-ouvertes.fr/hal-00640279

P. Group, The PHP website, 2010.

I. Enderlin, Hoa project, a set of PHP libraries, 2010.

I. Enderlin, F. Dadeau, A. Giorgetti, and F. Bouquet, Grammar-Based Testing Using Realistic Domains in PHP, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp.509-518, 2012.
DOI : 10.1109/ICST.2012.136

URL : https://hal.archives-ouvertes.fr/hal-00931662

A. Macworth, Consistency in networks of relations, Artificial Intelligence, vol.8, issue.1, pp.99-118, 1977.
DOI : 10.1016/0004-3702(77)90007-8

Y. Cheon and G. T. Leavens, A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, ECOOP 2002 ? Object-Oriented Programming, 16th European Conference, pp.231-255, 2002.
DOI : 10.1007/3-540-47993-7_10

P. Madsen, Unit Testing Using Design by Contract and Equivalence Partitions, XP'03: Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering, pp.425-426, 2003.
DOI : 10.1007/3-540-44870-5_69

A. Gotlieb, Euclide: A Constraint-Based Testing Framework for Critical C Programs, 2009 International Conference on Software Testing Verification and Validation, pp.151-160, 2009.
DOI : 10.1109/ICST.2009.10

A. Gotlieb, B. Botella, and M. Rueher, A CLP Framework for Computing Structural Test Data, Computational Logic, ser. Lecture Notes in Computer Science
DOI : 10.1007/3-540-44957-4_27

S. Bardin and A. Gotlieb, fdcc: A Combined Approach for Solving Constraints over Finite Domains and Arrays, Lecture Notes in Computer Science, vol.7298, pp.17-33, 2012.
DOI : 10.1007/978-3-642-29828-8_2

N. Nethercote, P. J. Stuckey, R. Becket, S. Brand, G. J. Duck et al., MiniZinc: Towards a Standard CP Modelling Language, CP, ser. Lecture Notes in Computer Science, C. Bessiere, pp.529-543, 2007.
DOI : 10.1007/978-3-540-74970-7_38

V. Ganesh, A. Kiezun, S. Artzi, P. J. Guo, P. Hooimeijer et al., HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection, CAV, ser. Lecture Notes in Computer Science, G. Gopalakrishnan and S. Qadeer, pp.1-19, 2011.
DOI : 10.1109/TSE.2007.70748