J. Bach, Heuristic Risk-based Testing, Softw. Test. Qual. Eng. Mag, vol.11, issue.9, 1999.

C. Baier and J. P. Katoen, Principles of Model Checking, 2008.

T. Bauer, H. Stallbaum, A. Metzger, and R. Eschbach, Risikobasierte Ableitung und Priorisierung von Testfällen für den modellbasierten Systemtest, Softw. Eng, vol.121, pp.99-111, 2008.

N. Chen, Passive Interoperability Testing for Communication Protocols, Université Rennes, vol.1, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00869819

E. A. Feinberg and A. Shwartz, Handbook of Markov Decision Processes: Methods and Applications, 2012.
DOI : 10.1007/978-1-4615-0805-2

G. Fraser, F. Wotawa, and P. E. Ammann, Testing with model checkers: a survey, Software Testing, Verification and Reliability, vol.1, issue.1-2, pp.215-261, 2009.
DOI : 10.1109/MTV.2006.10
URL : http://www.ist.tugraz.at/staff/fraser/papers/SNA-TR-2007-P2-04.pdf

A. Groce, Coverage rewarded: Test input generation via adaptation-based programming, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.380-383, 2011.
DOI : 10.1109/ASE.2011.6100077
URL : http://www.cs.cmu.edu/~agroce/ase11.pdf

A. Groce, A. Fern, M. Erwig, J. Pinto, T. Bauer et al., Learning-Based Test Programming for Programmers, Technologies for Mastering Change, pp.572-586, 2012.
DOI : 10.1007/978-3-642-34026-0_42
URL : http://www.cs.cmu.edu/%7Eagroce/isola12.pdf

J. Kloos, T. Hussain, and R. Eschbach, Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, pp.26-33, 2011.
DOI : 10.1109/ICSTW.2011.90

G. Luo, G. V. Bochmann, and A. Petrenko, Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method, IEEE Trans. Softw. Eng, vol.20, issue.2, pp.149-162, 1994.

A. J. Offutt and R. H. Untch, Mutation 2000: Uniting the Orthogonal, Mutation testing for the new century, pp.34-44, 2001.
DOI : 10.1007/978-1-4757-5939-6_7
URL : http://www.ise.gmu.edu/~ofut/rsrch/papers/mut00.ps

S. Seol, M. Kim, S. T. Chanson, and S. Kang, Interoperability Test Generation and Minimization for Communication Protocols Based on the Multiple Stimuli Principle, IEEE Journal on Selected Areas in Communications, vol.22, issue.10, pp.2062-2074, 2004.
DOI : 10.1109/JSAC.2004.836015

H. Stallbaum and A. Metzger, Employing Requirements Metrics for Automating Early Risk Assessment, Wsh. Measuring Requirements for Project and Product Success (MeReP, pp.1-12, 2007.

R. S. Sutton and A. G. Barto, Reinforcement Learning: An Introduction, IEEE Transactions on Neural Networks, vol.9, issue.5, 1998.
DOI : 10.1109/TNN.1998.712192

M. Utting and B. Legeard, Practical Model-based Testing: A Tools Approach, 2006.

M. Veanes, P. Roy, and C. Campbell, Online Testing with Reinforcement Learning, st Joint Wsh.s Formal Approaches to Software Testing (FATES) and Runtime Verification (RV), pp.240-253, 2006.
DOI : 10.1007/11940197_16
URL : http://www.soe.ucsc.edu/~pritam/online.pdf

C. J. Watkins and P. Dayan, Q-learning, Machine Learning, vol.22, issue.3-4, pp.3-4, 1992.
DOI : 10.1007/BF00992698

M. F. Wendland, M. Kranz, and I. Schieferdecker, A Systematic Approach to Risk-based Testing Using Risk-annotated Requirements Models, 7 th Int. Conf. Software Engineering Advances (ICSEA), pp.636-642, 2012.

F. Zimmermann, R. Eschbach, J. Kloos, and T. Bauer, Risk-based Statistical Testing: A Refinement-based Approach to the Reliability Analysis of Safety-Critical Systems, th Europ. Wsh. Dependable Computing (EWDC), p.12, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00381556