A. Arcuri, M. Z. Iqbal, and L. Briand, Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing, Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems, pp.95-110, 2010.
DOI : 10.1007/978-3-642-16573-3_8
URL : https://hal.archives-ouvertes.fr/hal-01055241

R. Brummayer, Efficient SMT Solving for Bit-Vectors and the Extensional Theory of Arrays, 2009.

R. Brummayer and A. Biere, Local two-level and-inverter graph minimization without blowup, Proceedings of the 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, p.6, 2006.

R. Brummayer and A. Biere, Lemmas on demand for the extensional theory of arrays, Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning, SMT '08/BPR '08
DOI : 10.1145/1512464.1512467

A. David, K. G. Larsen, S. Li, and B. Nielsen, Timed Testing under Partial Observability, 2009 International Conference on Software Testing Verification and Validation, pp.61-70, 2009.
DOI : 10.1109/ICST.2009.38
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.204.8788

N. Eén, A. Mishchenko, and N. Sörensson, Applying Logic Synthesis for Speeding Up SAT, Theory and Applications of Satisfiability Testing, pp.272-286, 2007.
DOI : 10.1007/978-3-540-72788-0_26

D. Harel and A. Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.293-333, 1996.
DOI : 10.1145/235321.235322

M. J. Harrold and G. Rothermel, Siemens programs, hr variants

S. Jha, R. Limaye, and S. Seshia, Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic, Computer Aided Verification, pp.668-674978, 2009.
DOI : 10.1007/978-3-642-02658-4_53
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.148.3508

H. Löding and J. Peleska, Timed Moore Automata: Test Data Generation and Model Checking, 2010 Third International Conference on Software Testing, Verification and Validation, 2010.
DOI : 10.1109/ICST.2010.60

S. Lu, Z. Li, F. Quin, L. Tan, P. Zhou et al., Bugbench: Benchmarks for evaluating bug detection tools, Workshop on the evaluation of software defect detection tools, 2005.

B. Nielsen and A. Skou, Automated test generation from timed automata, International Journal on Software Tools for Technology Transfer, vol.34, issue.1, pp.59-77, 2003.
DOI : 10.1016/S0304-3975(99)00134-6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.204.8990

J. Peleska, E. Vorobev, F. Lapschies, M. Bobaru, K. Havelund et al., Automated test case generation with SMTsolving and abstract interpretation, Nasa Formal Methods, Third International Symposium, NFM 2011, pp.298-312, 2011.
DOI : 10.1007/978-3-642-20398-5_22

J. Peleska, E. Vorobev, F. Lapschies, and C. Zahlten, Automated modelbased testing with RT-Tester, 167: Software Considerations in Airborne Systems and Equipment Certification , RTCA/DO-178B. RTCA, 1992.

J. Springintveld, F. Vaandrager, and P. D-'argenio, Testing timed automata, Theoretical Computer Science, vol.254, issue.1-2, pp.225-257, 2001.
DOI : 10.1016/S0304-3975(99)00134-6
URL : http://doi.org/10.1016/s0304-3975(99)00134-6

S. Systems, Enterprise architect 8.0, 2011.

S. Weißleder, Test Models and Coverage Criteria for Automatic Model-Based Test Generation with UML State Machines, 2010.