B. K. Aichernig, Contract-based testing In Formal Methods at the Crossroads: From Panacea to Foundational Support, LNCS, vol.2757, pp.34-48

S. Artzi, A. Kiezun, J. Dolby, F. Tip, D. 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

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

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 ACM SIGSOFT international symposium on Software testing and analysis, pp.123-133, 2002.

C. Campbell, W. Grieskamp, L. Nachmanson, W. Schulte, N. Tillmann et al., Testing Concurrent Object-Oriented Systems with Spec Explorer, International Symposium of Formal Methods (FM'2005), pp.542-547, 2005.
DOI : 10.1007/11526841_38

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

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

I. Ciupa, A. Leitner, M. Oriol, and B. Meyer, ARTOO, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.71-80, 2008.
DOI : 10.1145/1368088.1368099

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

I. Enderlin, Hoa Framework project URL: http://hoa-project, 2010.

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

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

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

G. T. Leavens, Y. Cheon, C. Clifton, C. Ruby, and D. R. Cok, How the design of JML accommodates both runtime assertion checking and formal verification

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

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

C. Oriat, R. Reussner, J. Mayer, J. A. Stafford, S. Overhage et al., Jartege: A Tool for Random Generation of Unit Tests for Java Classes, First Int. Conf. on the Quality of Software Architectures, QoSA 2005 and Second Int. Workshop on Software Quality, pp.242-256, 2005.
DOI : 10.1007/11558569_18

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

P. Group, The PHP website, 2010.

N. Tillmann and J. De-halleux, Pex???White Box Test Generation for .NET, Tests and Proofs, pp.134-153, 2008.
DOI : 10.1007/978-3-540-79124-9_10

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=