B. K. Aichernig, Contract-Based Testing, Lecture Notes in Computer Science, vol.2757, pp.34-48, 2003.
DOI : 10.1007/978-3-540-40007-3_3

A. Artzi, J. Kiezun, F. Dolby, D. Tip, A. Dig et al., Finding bugs in dynamic web applications, Proceedings of the 2008 international symposium on Software testing and analysis, ISSTA '08, pp.261-272, 2008.
DOI : 10.1145/1390630.1390662

S. Bardin and A. Gotlieb, fdcc: A Combined Approach for Solving Constraints over Finite Domains and Arrays, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimzation Problems -9th International Conference Proceedings, volume 7298 of Lecture Notes in Computer Science, pp.17-33, 2012.
DOI : 10.1007/978-3-642-29828-8_2

M. Barnett, K. R. 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, pp.49-69, 2004.
DOI : 10.1007/978-3-540-30569-9_3

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

B. Beizer, Black Box Testing: Techniques for Functional Testing of Software and Systems, IEEE Software, vol.13, issue.5, 1995.
DOI : 10.1109/MS.1996.536464

F. Bouquet, F. Dadeau, and B. Legeard, Automated Boundary Test Generation from JML Specifications, FM'06, 14th Int. Conf. on Formal Methods, pp.428-443, 2006.
DOI : 10.1007/11813040_29
URL : https://hal.archives-ouvertes.fr/inria-00329979

C. Boyapati, S. Khurshid, D. Marinov, and . Korat, Automated Testing based on Java Predicates, ISSTA'02: Proceedings of the 2002 International Symposium on Software Testing and Analysis, pp.123-133, 2002.

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

Y. Cheon and C. E. Rubio-medrano, Random Test Data Generation for Java Classes Annotated with JML Specifications, Software Engineering Research and Practice, pp.385-391, 2007.

D. Coppit and J. Lian, yagg, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.356-359, 2005.
DOI : 10.1145/1101908.1101969

F. Dadeau, Y. Ledru, and L. Bousquet, Measuring a Java Test Suite Coverage Using JML Specifications, MBT'07, 3rd Int, pp.21-32, 2007.
DOI : 10.1016/j.entcs.2007.08.003

I. Enderlin14-]-i, F. Enderlin, A. Dadeau, A. B. Giorgetti, and . Othman, Praspel: A Specification Language for Contract-Based Testing in PHP, Testing Software and Systems -23rd IFIP WG 6.1 International Conference Proceedings, volume 7019 of Lecture Notes in Computer Science, pp.64-79, 2010.
DOI : 10.1007/978-3-642-24580-0_6

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

I. Enderlin, A. Giorgetti, and F. Bouquet, A Constraint Solver for PHP Arrays, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, 2013.
DOI : 10.1109/ICSTW.2013.80
URL : https://hal.archives-ouvertes.fr/hal-00935308

P. Flajolet, P. Zimmerman, and B. Van-cutsem, A calculus for the random generation of labelled combinatorial structures, Theoretical Computer Science, vol.132, issue.1-2, pp.1-35, 1994.
DOI : 10.1016/0304-3975(94)90226-7
URL : https://hal.archives-ouvertes.fr/hal-00917729

A. Giorgetti, J. Groslambert, J. Julliand, and O. Kouchnarenko, Verification of class liveness properties with Java modelling language, IET Software, vol.2, issue.6, pp.500-514, 2008.
DOI : 10.1049/iet-sen:20080008

M. Gligoric, T. Gvero, V. Jagannath, S. Khurshid, V. Kuncak et al., Test generation through programming in UDITA, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.225-234, 2010.
DOI : 10.1145/1806799.1806835

P. Godefroid, A. Kiezun, and M. Y. Levin, Grammar-based whitebox fuzzing, Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation , PLDI '08, pp.206-215, 2008.

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, TCAS software verification using constraint programming, The Knowledge Engineering Review, vol.99, issue.03, pp.343-360, 2012.
DOI : 10.1109/TSE.2004.22
URL : https://hal.archives-ouvertes.fr/hal-00807905

A. Gotlieb, B. Botella, and M. Rueher, A CLP Framework for Computing Structural Test Data, Computational Logic -CL 2000, First International Conference Proceedings, volume 1861 of Lecture Notes in Computer Science, pp.24-28, 2000.
DOI : 10.1007/3-540-44957-4_27

P. Heidegger and P. Thiemann, Contract-Driven Testing of JavaScript Code, TOOLS 2010 -48th Int. Conf. on Objects, Models, Components, Patterns, pp.154-172, 2010.
DOI : 10.1007/978-3-642-13953-6_9

M. Hennessy and J. F. Power, Analysing the effectiveness of rule-coverage as a reduction criterion for test suites of grammar-based software, Empirical Software Engineering, vol.28, issue.4, pp.343-368, 2008.
DOI : 10.1007/s10664-008-9067-7

D. Hoffman, H. Wang, M. Chang, and D. Ly-gagnon, Grammar Based Testing of HTML Injection Vulnerabilities in RSS Feeds, 2009 Testing: Academic and Industrial Conference, Practice and Research Techniques, pp.105-110, 2009.
DOI : 10.1109/TAICPART.2009.34

D. M. Hoffman, D. Ly-gagnon, P. Strooper, and H. Wang, Grammar-based test generation with YouGen, Software: Practice and Experience, vol.22, issue.3, pp.427-447, 2011.
DOI : 10.1002/spe.1017

W. E. Howden, Functional program testing and analysis, 1986.

R. Lämmel and W. Schulte, Controllable Combinatorial Coverage in Grammar-Based Testing, The 18th IFIP International Conference on Testing Communicating Systems, 2006.
DOI : 10.1007/11754008_2

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

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

P. Madsen, Enhancing Design by Contract with Knowledge about Equivalence Partitions., The Journal of Object Technology, vol.3, issue.4, 2004.
DOI : 10.5381/jot.2004.3.4.a1

D. Marinov and S. Khurshid, TestEra: a novel framework for automated testing of Java programs, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), p.22, 2001.
DOI : 10.1109/ASE.2001.989787

M. Peter and . Maurer, Generating test data with enhanced context-free grammars, IEEE Softw, vol.7, pp.50-55, 1990.

B. Meyer, Eiffel: programming for reusability and extendibility, ACM SIGPLAN Notices, vol.22, issue.2, pp.85-94, 1987.
DOI : 10.1145/24686.24694

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

C. Oriat, Jartege: A Tool for Random Generation of Unit Tests for Java Classes, Lecture Notes in Computer Science, vol.3712, pp.242-256
DOI : 10.1007/11558569_18
URL : https://hal.archives-ouvertes.fr/hal-00003466

K. Sullivan, J. Yang, D. Coppit, S. Khurshid, and D. Jackson, Software assurance by bounded exhaustive testing, ISSTA'04: Proceedings of the 2004 International Symposium on Software Testing and Analysis, pp.133-142, 2004.

M. Utting, A. Pretschner, and B. Legeard, A taxonomy of model-based testing approaches. Software Testing, Verification and Reliability, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00940611

W. Visser, C. S. P?as?areanup?as?p?as?areanu, and S. Khurshid, Test input generation with java PathFinder, ACM SIGSOFT Software Engineering Notes, vol.29, issue.4, pp.97-107, 2004.
DOI : 10.1145/1013886.1007526