Coverage-biased random exploration of large models and application to testing, International Journal on Software Tools for Technology Transfer, vol.24, issue.7, pp.73-93, 2012. ,
DOI : 10.1007/s10009-011-0190-1
URL : https://hal.archives-ouvertes.fr/inria-00560621
A sentence generator for testing parsers, BIT, vol.9, issue.1, pp.366-375, 1972. ,
DOI : 10.1007/BF01932308
Automated testing of refactoring engines, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering , ESEC-FSE '07, 2007. ,
DOI : 10.1145/1287624.1287651
yagg, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.356-359, 2005. ,
DOI : 10.1145/1101908.1101969
Controllable Combinatorial Coverage in Grammar-Based Testing, pp.19-38, 2006. ,
DOI : 10.1007/11754008_2
Directed test generation using symbolic grammars, pp.134-143, 2007. ,
Grammar-based whitebox fuzzing, pp.206-215, 2008. ,
A Toolkit for Generating Sentences from Context-Free Grammars, 2010 8th IEEE International Conference on Software Engineering and Formal Methods, pp.118-122, 2010. ,
DOI : 10.1109/SEFM.2010.21
A Sentence Generation Algorithm for Testing Grammars, 2009 33rd Annual IEEE International Computer Software and Applications Conference, pp.130-135, 2009. ,
DOI : 10.1109/COMPSAC.2009.193
A Case Study in Grammar Engineering, Lecture Notes in Computer Science, vol.12, issue.4, pp.285-304, 2008. ,
DOI : 10.1007/3-540-45937-5_12
A report on random testing, ICSE '81: Proceedings of the 5th international conference on Software engineering, pp.179-183, 1981. ,
Random Testing, Encyclopedia of Software Engineering, pp.970-978, 1994. ,
DOI : 10.1002/0471028959.sof268
DART: directed automated random testing, PLDI'05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, pp.213-223, 2005. ,
Jartege: A tool for random generation of unit tests for java classes, Lecture Notes in Computer Science, vol.3712, pp.242-256, 2005. ,
Generating string at random from a context-free grammar, 1997. ,
Uniform Random Generation of Strings in a Context-Free Language, SIAM Journal on Computing, vol.12, issue.4, pp.645-655, 1983. ,
DOI : 10.1137/0212044
The design and implementation of a grammar-based data generator, Software: Practice and Experience, vol.5, issue.3, pp.223-244, 1992. ,
DOI : 10.1002/spe.4380220303
Seed: An Easy-to-Use Random Generator of Recursive Data Structures for Testing, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation, pp.60-69, 2011. ,
DOI : 10.1109/ICST.2011.31
On the Use of Uniform Random Generation of Automata for Testing, Electronic Notes in Theoretical Computer Science, vol.253, issue.2, pp.37-51, 2009. ,
DOI : 10.1016/j.entcs.2009.09.050
URL : https://hal.archives-ouvertes.fr/inria-00429236
A Random Testing Approach Using Pushdown Automata, Lecture Notes in Computer Science, vol.54, pp.119-133, 2011. ,
DOI : 10.1016/0020-0190(95)00025-8
Grammarbased testing using realistic domains in php, pp.509-518, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00931662
Analytic Combinatorics, 2008. ,
DOI : 10.1017/CBO9780511801655
URL : https://hal.archives-ouvertes.fr/inria-00072739
Uniform random generation of decomposable structures using floating-point arithmetic, Theoretical Computer Science, vol.218, issue.2, pp.233-248, 1999. ,
DOI : 10.1016/S0304-3975(98)00323-5
URL : https://hal.archives-ouvertes.fr/inria-00073447
Hoa project, a set of php libraries ,