. Génération-basée-sur-la-couverture........., 74 Concrétisation aléatoire isotropique de lexèmes, p.75

. Grammaire-des-pcre-en-langage, 1, nous précisons que les lexèmes des grammaires sont exprimés avec des expressions régulières Ces dernières utilisent le vocabulaire des PCRE3.3, lorsque nous expliquons comment une séquence de lexèmes est concrétisée vers une chaîne de caractère, nous expliquons que nous utilisons la grammaire des PCRE pour obtenir un AST (Abstract Syntax Tree) après analyse de chaque lexème. Cet AST est visité pour appliquer un algorithme de génération aléatoire isotropique. Cette partie présente la grammaire des PCRE au format PP. La dernière version de la grammaire est disponible à l'adresse : http://central.hoa-project All rights reserved, 1997.

T. Software, . Provided, . The, . Holders, . Contributors et al., AS, INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE

/. , A. In, . Way, . Of, . The et al., Provide grammar of PCRE (Perl Compatible Regular Expression)for the LL(k) // parser. More informations at http://pcre.org/pcre.txt, sections pcrepattern & // pcresyntaxbook : assigning programs to meanings, 2005.

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

S. Artzi, A. Kiezun, J. Dolby, F. Tip, D. Dig et al., Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking, IEEE Transactions on Software Engineering, vol.36, issue.4, pp.474-494, 2010.
DOI : 10.1109/TSE.2010.31

D. Balzarotti, M. Cova, V. Felmetsger, N. Jovanovic, E. Kirda et al., Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications, 2008 IEEE Symposium on Security and Privacy (sp 2008), pp.387-401, 2008.
DOI : 10.1109/SP.2008.22

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

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

M. Barnett, B. E. Chang, R. Deline, B. Jacobs, and K. R. Leino, Boogie: A Modular Reusable Verifier for Object-Oriented Programs, Lecture Notes in Computer Science, vol.4111, pp.364-387, 2005.
DOI : 10.1007/11804192_17

A. Iso-c, Specification Language Version 1.7, 2013

M. Benedikt, J. Freire, and P. Godefroid, VeriWeb : Automatically testing dynamic web sites Citeseer, Proceedings of 11th International World Wide Web Conference, 2002.

G. Bernot, M. Gaudel, and B. Marre, A Formal Approach to Software Testing, AMAST, Workshops in Computing, pp.243-253, 1991.

B. Botella, M. Delahaye, S. H. Ha, N. Kosmatov, P. Mouy et al., Automating structural testing of C programs: Experience with PathCrawler, 2009 ICSE Workshop on Automation of Software Test, pp.70-78, 2009.
DOI : 10.1109/IWAST.2009.5069043

F. Bouquet, F. Dadeau, B. Legeard, and M. Utting, JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP, Lecture Notes in Computer Science, vol.3440, pp.551-556, 2005.
DOI : 10.1007/978-3-540-31980-1_37
URL : https://hal.archives-ouvertes.fr/inria-00329995

F. Bouquet, F. Dadeau, and B. Legeard, Automated Boundary Test Generation from JML Specifications, Lecture Notes in Computer Science, vol.4085, pp.428-443, 2006.
DOI : 10.1007/11813040_29
URL : https://hal.archives-ouvertes.fr/inria-00329979

C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler, EXE : automatically generating inputs of death, ACM Conference on Computer and Communications Security, pp.322-335, 2006.

C. Cadar, D. Dunbar, D. R. Engler, and . Klee, Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs, OSDI, pp.209-224, 2008.

V. Cadar, P. M. Ganesh, D. L. Pawlowski, D. R. Dill, and . Engler, EXE : Automatically Generating Inputs of Death, ACM Trans. Inf. Syst. Secur, vol.12, issue.2, 2008.

K. C. Castillos, Génération automatique de scénarios de tests à partir de propriétés temporelles et de modèles comportementaux, 2013.

K. C. Castillos, F. Dadeau, J. Julliand, B. Kanso, and S. Taha, A Compositional Automata-Based Semantics for Property Patterns, Lecture Notes in Computer Science, vol.7940, pp.316-330
DOI : 10.1007/978-3-642-38613-8_22
URL : https://hal.archives-ouvertes.fr/hal-00831526

O. Chebaro, N. Kosmatov, A. Giorgetti, and J. Julliand, Program slicing enhances a verification technique combining static and dynamic analysis, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.1284-1291, 2012.
DOI : 10.1145/2245276.2231980
URL : https://hal.archives-ouvertes.fr/hal-00746814

Y. Cheon and G. T. Leavens, A runtime assertion checker for the Java Modeling Language (JML), Proceedings of the International Conference on Software Engineering Research and Practice (SERP '02), pp.322-328, 2002.

Y. Cheon and G. T. Leavens, A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, Lecture Notes in Computer Science, vol.2374, pp.231-255, 2002.
DOI : 10.1007/3-540-47993-7_10

N. Chomsky, Three models for the description of language, IEEE Transactions on Information Theory, vol.2, issue.3, pp.113-124, 1956.
DOI : 10.1109/TIT.1956.1056813

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

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

P. Cuoq, F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles et al., Frama-C, Lecture Notes in Computer Science, vol.7504, pp.233-247, 2012.
DOI : 10.1007/978-3-642-33826-7_16

L. , D. Moura, and N. Bjørner, Z3 : An efficient SMT solver, Tools and Algorithms for the Construction and Analysis of Systems, pp.337-340, 2008.

B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in Property Specifications for Finite-State Verification, pp.411-420, 1999.

E. Standard and E. , The JSON Data Interchange Format, 2013.

I. Enderlin, F. Dadeau, A. Giorgetti, and A. B. Othman, Praspel: A Specification Language for Contract-Based Testing in PHP, Lecture Notes in Computer Science, vol.7019, pp.64-79, 2011.
DOI : 10.1007/978-3-642-24580-0_6
URL : https://hal.archives-ouvertes.fr/hal-00640279

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, pp.218-223, 2013.
DOI : 10.1109/ICSTW.2013.80
URL : https://hal.archives-ouvertes.fr/hal-00935308

J. Filliâtre and C. Marché, The Why/Krakatoa/Caduceus Platform for Deductive Program Verification, CAV, pp.173-177, 2007.
DOI : 10.1007/978-3-540-73368-3_21

R. B. Findler and M. Felleisen, Contracts for Higher-Order Functions, pp.48-59, 2002.

S. Fischer, O. Kiselyov, and C. Shan, Purely Functional Lazy Non- Deterministic Programming, pp.11-22, 2009.

P. Flajolet, P. Zimmermann, and B. V. 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

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns, 1995.

V. Ganesh and D. L. Dill, A Decision Procedure for Bit-Vectors and Arrays, CAV, pp.519-531, 2007.
DOI : 10.1007/978-3-540-73368-3_52

A. Gargantini, M. Guarnieri, and E. Magri, Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes, ICTSS, pp.168-183, 2012.
DOI : 10.1007/978-3-642-34691-0_13
URL : https://hal.archives-ouvertes.fr/hal-01482400

M. Gaudel, Checking Models, Proving Programs, and Testing Systems, Lecture Notes in Computer Science, vol.7, issue.2, pp.1-13, 2011.
DOI : 10.1007/978-3-642-19835-9_2

M. M. Geller, S. L. Graham, R. M. Graham, M. A. Harrison, W. I. Grosky et al., Test Data as an Aid in Proving Program Correctness, POPL, pp.209-218, 1976.

I. P. Gent, C. Jefferson, and I. Miguel, MINION : A Fast Scalable Constraint Solver, Frontiers in Artificial Intelligence and Applications, vol.141, pp.98-102, 2006.

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, N. Klarlund, and K. Sen, DART : Directed Automated Random Testing, PLDI, pp.213-223, 2005.

P. Godefroid, M. Y. Levin, and D. A. Molnar, SAGE, Communications of the ACM, vol.55, issue.3, p.20, 2012.
DOI : 10.1145/2093548.2093564

J. Gosling, B. Joy, and . Java, URL https, 1990.

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

J. Hatcliff, G. T. Leavens, K. R. Leino, P. Müller, and M. J. Parkinson, Behavioral interface specification languages, ACM Computing Surveys, vol.44, issue.3, p.16, 2012.
DOI : 10.1145/2187671.2187678

D. Hauzar and J. Kofron, On Security Analysis of PHP Web Applications, 2012 IEEE 36th Annual Computer Software and Applications Conference Workshops, pp.577-582, 2012.
DOI : 10.1109/COMPSACW.2012.106

P. Hazel, PCRE ? Perl Compatible Regular Expressions, 1997.

P. Heidegger and P. Thiemann, JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript., The Journal of Object Technology, vol.11, issue.1, pp.1-29, 2012.
DOI : 10.5381/jot.2012.11.1.a6

H. Project-foundation, Hoa, a set of PHP libraries, 2007.

D. Hoffman, D. Ly-gagnon, P. A. 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, A functional approach to program testing and analysis, IEEE Transactions on Software Engineering, vol.12, issue.10, pp.997-1005, 1986.
DOI : 10.1109/TSE.1986.6313016

D. Jackson, Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology, vol.11, issue.2, pp.256-290, 2002.
DOI : 10.1145/505145.505149

D. Jackson, I. Schechter, and I. Shlyakhter, Alcoa, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.730-733, 2000.
DOI : 10.1145/337180.337616

P. Jalote, Specification and testing of abstract data types, Computer Languages, vol.17, issue.1, pp.75-82, 1992.
DOI : 10.1016/0096-0551(92)90024-H

S. C. Johnson, YACC : Yet Another Compiler-Compiler, NJ, vol.32, 1975.

A. Kiezun, P. J. Guo, K. Jayaraman, and M. D. Ernst, Automatic creation of SQL Injection and cross-site scripting attacks, 2009 IEEE 31st International Conference on Software Engineering, pp.199-209, 2009.
DOI : 10.1109/ICSE.2009.5070521

B. Korel and A. M. , Automated Regression Test Generation, ISSTA, pp.143-152, 1998.

D. Kühner, Regular expressions visualization Bachelor Report TA204, Haute École Arc -Neuchâtel URL https, 2014.

R. Lämmel and W. Schulte, Controllable Combinatorial Coverage in Grammar-Based Testing, Lecture Notes in Computer Science, vol.3964, pp.19-38, 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

B. Legeard, F. Peureux, and M. Utting, Automated Boundary Testing from Z and B, Lecture Notes in Computer Science, vol.2391, pp.21-40, 2002.
DOI : 10.1007/3-540-45614-7_2

M. E. Lesk and E. Schmidt, Lex : A lexical analyzer generator, NJ, 1975.

B. Liskov and J. Guttag, Abstraction and Specification in Program Development, 1986.

B. Liskov and S. N. Zilles, Programming with abstract data types, ACM SIGPLAN Notices, vol.9, issue.4, pp.50-59, 1974.
DOI : 10.1145/942572.807045

A. K. Mackworth, Consistency in networks of relations, Consistency in Networks of Relations, pp.99-118, 1977.
DOI : 10.1016/0004-3702(77)90007-8

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

D. Marinov, A. Andoni, D. Daniliuc, S. Khurshid, and M. Rinard, An evaluation of exhaustive testing for data structures, 2003.

M. Matsumoto and T. Nishimura, Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator, ACM Transactions on Modeling and Computer Simulation, vol.8, issue.1
DOI : 10.1145/272991.272995

P. M. Maurer, Generating test data with enhanced context-free grammars. Software, IEEE, vol.7, issue.4, pp.50-55, 1990.

S. Mcallister, E. Kirda, and C. Kruegel, Leveraging User Interactions for In-Depth Testing of Web Applications, Lecture Notes in Computer Science, vol.5230, pp.191-210
DOI : 10.1007/978-3-540-87403-4_11

W. M. Mckeeman, Differential Testing for Software, Digital Technical Journal, vol.10, issue.1, pp.100-107, 1998.

P. Mcminn, Search-based software test data generation: a survey, Software Testing, Verification and Reliability, vol.14, issue.2, pp.105-156, 2004.
DOI : 10.1002/stvr.294

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

B. Meyer, J. Nerson, and M. Matsuo, Eiffel: Object-oriented design for software engineering, Lecture Notes in Computer Science, vol.289, pp.221-229, 1987.
DOI : 10.1007/BFb0022115

. Microsoft and . C#, URL http://ecma-international.org/publications, 2001.

J. C. Miller and C. J. Maloney, Systematic mistake analysis of digital computer programs, Communications of the ACM, vol.6, issue.2, pp.58-63, 1963.
DOI : 10.1145/366246.366248

G. J. Myers, The art of software testing, 2004.
DOI : 10.1002/9781119202486

T. Noll and B. Schlich, Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code, Haifa Verification Conference, pp.185-201, 2007.
DOI : 10.1007/978-3-540-77966-7_16

J. Offutt, P. Ammann, L. L. Liux, and . Doi, Mutation Testing implements Grammar-Based Testing, Second Workshop on Mutation Analysis (Mutation 2006, ISSRE Workshops 2006), p.12, 2006.
DOI : 10.1109/MUTATION.2006.11

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, Lecture Notes in Computer Science, vol.3712, pp.242-256, 2005.
DOI : 10.1007/11558569_18
URL : https://hal.archives-ouvertes.fr/hal-00003466

A. D. Raghavan and G. T. Leavens, Desugaring JML method specifications, 2005.

S. Sankar and R. Hayes, ADL -An Interface Definition Language for Specifying and Testing Software, Workshop on Interface Definition Languages, pp.13-21, 1994.

S. Sawyer, Isotropic random walks in a tree, Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete, pp.279-292, 1978.
DOI : 10.1007/BF00533464

K. Sen, D. Marinov, and G. Agha, CUTE : a Concolic Unit Testing Engine for C, ESEC/SIGSOFT FSE, pp.263-272, 2005.

J. G. Siek and W. Taha, Gradual Typing for Objects, Lecture Notes in Computer Science, vol.4609, pp.2-27, 2007.
DOI : 10.1007/978-3-540-73589-2_2

E. G. Sirer and B. N. Bershad, Using Production Grammars in Software Testing, pp.1-13, 1999.

J. M. Spivey, An introduction to Z and formal specifications, Software Engineering Journal, vol.4, issue.1, pp.40-50, 1989.
DOI : 10.1049/sej.1989.0006

K. J. Sullivan, J. Yang, D. Coppit, S. Khurshid, and D. Jackson, Software assurance by bounded exhaustive testing, pp.133-142, 2004.

N. Tillmann and J. De-halleux, Pex???White Box Test Generation for .NET, Lecture Notes in Computer Science, vol.4966, pp.134-153, 2008.
DOI : 10.1007/978-3-540-79124-9_10

E. P. Tsang, Foundations of constraint satisfaction Computation in cognitive science, 1993.

M. Utting and B. Legeard, Practical Model-Based Testing -A Tools Approach, 2007.

S. Viswanadha, S. Sankar, and . Javacc, URL https, 1996.

G. Wassermann and Z. Su, Sound and precise analysis of web applications for injection vulnerabilities, PLDI, pp.32-41, 2007.

G. Wassermann and Z. Su, Static detection of cross-site scripting vulnerabilities, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.171-180, 2008.
DOI : 10.1145/1368088.1368112

N. Williams, B. Marre, P. Mouy, and M. Roger, PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis, Lecture Notes in Computer Science, vol.3463, pp.281-292, 2005.
DOI : 10.1007/11408901_21

Y. Xie and A. Aiken, Static detection of security vulnerabilities in scripting languages, Proceedings of the 15th conference on USENIX Security Symposium, pp.179-192, 2006.

F. Yu, M. Alkhalaf, and T. Bultan, Stranger: An Automata-Based String Analysis Tool for PHP, TACAS, pp.154-157, 2010.
DOI : 10.1007/978-3-642-12002-2_13

D. M. Zimmerman and R. Nagmoti, JMLUnit: The Next Generation, FoVeOOS, pp.183-197, 2010.
DOI : 10.1145/267580.267590