Contract-based testing, " in Formal Methods at the Crossroads: From Panacea to Foundational Support, ser. Lecture Notes in Computer Science, pp.34-48, 2003. ,
Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992. ,
DOI : 10.1109/2.161279
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
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
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
The PHP website, 2010. ,
Hoa project, a set of PHP libraries, 2010. ,
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
Consistency in networks of relations, Artificial Intelligence, vol.8, issue.1, pp.99-118, 1977. ,
DOI : 10.1016/0004-3702(77)90007-8
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
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
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 CLP Framework for Computing Structural Test Data, Computational Logic, ser. Lecture Notes in Computer Science ,
DOI : 10.1007/3-540-44957-4_27
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
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
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