B. P. Douglass, Real-Time UML, 1997.
DOI : 10.1007/3-540-45739-9_4

M. Utting and B. Legeard, Practical model-based testing: a tools approach, 2007.

T. Y. Chen, F. Kuoa, R. G. Merkela, and T. Tseb, Adaptive Random Testing: The ART of test case diversity, Journal of Systems and Software, vol.83, issue.1, 2010.
DOI : 10.1016/j.jss.2009.02.022

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

G. Myers, The Art of Software Testing, 1979.
DOI : 10.1002/9781119202486

M. Z. Iqbal, A. Arcuri, and L. Briand, Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies, ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2010.
DOI : 10.1007/978-3-642-16145-2_20

D. Clarke and I. Lee, Testing real-time constraints in a process algebraic setting, Proceedings of the 17th international conference on Software engineering , ICSE '95, pp.51-60, 1995.
DOI : 10.1145/225014.225019

M. Krichen and S. Tripakis, Conformance testing for real-time systems, Formal Methods in System Design, vol.10, issue.1???2, pp.238-304, 2009.
DOI : 10.1007/s10703-009-0065-1

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

A. En-nouaary, A scalable method for testing real-time systems, Software Quality Journal, vol.254, issue.4, pp.3-22, 2008.
DOI : 10.1007/s11219-007-9021-8

T. Miicke and M. Huhn, Generation of Optimized Testsuites for UML Statecharts with Time, IFIP international conference on testing of communicating systems, pp.128-143, 2004.
DOI : 10.1007/978-3-662-09438-9

M. Zheng, V. Alagar, and O. Ormandjieva, Automated generation of test suites from formal specifications of real-time reactive systems, Journal of Systems and Software, vol.81, issue.2, pp.286-304, 2008.
DOI : 10.1016/j.jss.2007.05.009

M. Auguston, J. B. Michael, and M. T. Shing, Environment behavior models for automation of testing and assessment of system safety, Information and Software Technology, vol.48, issue.10, pp.971-980, 2006.
DOI : 10.1016/j.infsof.2006.03.005

M. Harman, S. A. Mansouri, and Y. Zhang, Search based software engineering: A comprehensive analysis and review of trends techniques and applications, College, 2009.

V. Garousi, L. C. Briand, and Y. Labiche, Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms, Journal of Systems and Software, vol.81, issue.2, pp.161-185, 2008.
DOI : 10.1016/j.jss.2007.05.037

F. Lindlar, A. Windisch, and J. Wegener, Integrating Model-Based Testing with Evolutionary Functional Testing, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, 2010.
DOI : 10.1109/ICSTW.2010.10

B. P. Zeigler, H. Praehofer, and T. G. Kim, Theory of modeling and simulation, 2000.

J. W. Duran and S. C. Ntafos, An Evaluation of Random Testing, IEEE Transactions on Software Engineering, vol.10, issue.4, pp.438-444, 1984.
DOI : 10.1109/TSE.1984.5010257

A. Arcuri, M. Z. Iqbal, and L. Briand, Formal analysis of the effectiveness and predictability of random testing, Proceedings of the 19th international symposium on Software testing and analysis, ISSTA '10, 2010.
DOI : 10.1145/1831708.1831736

R. Lefticaru and F. Ipate, Functional Search-based Testing from State Machines, 2008 International Conference on Software Testing, Verification, and Validation, pp.525-528, 2010.
DOI : 10.1109/ICST.2008.32

A. Arcuri, It Does Matter How You Normalise the Branch Distance in Search Based Software Testing, 2010 Third International Conference on Software Testing, Verification and Validation, pp.205-214, 2010.
DOI : 10.1109/ICST.2010.17

D. H. Wolpert and W. G. Macready, No free lunch theorems for optimization, IEEE Transactions on Evolutionary Computation, vol.1, issue.1, pp.67-82, 1997.
DOI : 10.1109/4235.585893

W. Feller, An Introduction to Probability Theory and Its Applications, 1968.

A. Arcuri, Longer is Better: On the Role of Test Sequence Length in Software Testing, 2010 Third International Conference on Software Testing, Verification and Validation, pp.469-478, 2010.
DOI : 10.1109/ICST.2010.16

J. Cohen, A power primer., Psychological Bulletin, vol.112, issue.1, pp.155-159, 1992.
DOI : 10.1037/0033-2909.112.1.155

A. Vargha and H. D. Delaney, A critique and improvement of the CL common language effect size statistics of McGraw and Wong, Journal of Educational and Behavioral Statistics, vol.25, issue.2, pp.101-132, 2000.

M. Harman, L. Hu, R. Hierons, J. Wegener, H. Sthamer et al., Testability transformation, IEEE Transactions on Software Engineering, vol.30, issue.1, pp.3-16, 2004.
DOI : 10.1109/TSE.2004.1265732