Real-Time UML, 1997. ,
DOI : 10.1007/3-540-45739-9_4
Practical model-based testing: a tools approach, 2007. ,
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
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
The Art of Software Testing, 1979. ,
DOI : 10.1002/9781119202486
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
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
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
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 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
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
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
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
Search based software engineering: A comprehensive analysis and review of trends techniques and applications, College, 2009. ,
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
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
Theory of modeling and simulation, 2000. ,
An Evaluation of Random Testing, IEEE Transactions on Software Engineering, vol.10, issue.4, pp.438-444, 1984. ,
DOI : 10.1109/TSE.1984.5010257
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
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
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
No free lunch theorems for optimization, IEEE Transactions on Evolutionary Computation, vol.1, issue.1, pp.67-82, 1997. ,
DOI : 10.1109/4235.585893
An Introduction to Probability Theory and Its Applications, 1968. ,
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
A power primer., Psychological Bulletin, vol.112, issue.1, pp.155-159, 1992. ,
DOI : 10.1037/0033-2909.112.1.155
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. ,
Testability transformation, IEEE Transactions on Software Engineering, vol.30, issue.1, pp.3-16, 2004. ,
DOI : 10.1109/TSE.2004.1265732