Contract-based testing In Formal Methods at the Crossroads: From Panacea to Foundational Support, LNCS, vol.2757, pp.34-48 ,
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
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=10.1.1.11.2133
Black Box Testing: Techniques for Functional Testing of Software and Systems, IEEE Software, vol.13, issue.5, 1995. ,
DOI : 10.1109/MS.1996.536464
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
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. ,
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=10.1.1.126.8849
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
ARTOO, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.71-80, 2008. ,
DOI : 10.1145/1368088.1368099
Constraint-based automatic test data generation, IEEE Transactions on Software Engineering, vol.17, issue.9, pp.900-910, 1991. ,
DOI : 10.1109/32.92910
Hoa Framework project URL: http://hoa-project, 2010. ,
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=10.1.1.149.1995
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
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
How the design of JML accommodates both runtime assertion checking and formal verification ,
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
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=10.1.1.155.1438
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=10.1.1.72.7831
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
The PHP website, 2010. ,
Pex???White Box Test Generation for .NET, Tests and Proofs, pp.134-153, 2008. ,
DOI : 10.1007/978-3-540-79124-9_10
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=10.1.1.58.4263