C. Andrés, S. Maag, A. Cavalli, M. Merayo, and M. Núñez, Analysis of the OLSR Protocol by Using Formal Passive Testing, 2009 16th Asia-Pacific Software Engineering Conference, pp.152-159, 2009.
DOI : 10.1109/APSEC.2009.37

C. Andrés, M. Merayo, and M. Núñez, Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, pp.73-82, 2009.
DOI : 10.1109/SEFM.2009.21

C. Andrés, M. Merayo, and M. Núñez, Formal passive testing of timed systems: Theory and tools. Software Testing, Verification and Reliability, 2012.

K. Derderian, M. Merayo, R. Hierons, and M. Núñez, Aiding Test Case Generation in Temporally Constrained State Based Systems Using Genetic Algorithms, 10th Int. Conf. on Artificial Neural Networks, IWANN'09, pp.327-334, 2009.
DOI : 10.1016/S0140-3664(03)00116-6

K. Derderian, M. Merayo, R. Hierons, and M. Núñez, A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems, 11th Int. Conf. on Artificial Neural Networks, IWANN'11, pp.396-403, 2011.
DOI : 10.1007/978-3-642-21498-1_50

M. C. Gaudel, Testing can be formal, too, Theory and Practice of Software Development, TAPSOFT'95, LNCS 915, pp.82-96, 1995.
DOI : 10.1007/3-540-59293-8_188
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.6013

R. V. Glabbeek, S. Smolka, and B. Steffen, Reactive, generative, and stratified models of probabilistic processes, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, pp.59-80, 1995.
DOI : 10.1109/LICS.1990.113740

M. Hennessy, Algebraic Theory of Processes, 1988.

R. Hierons, K. Bogdanov, J. Bowen, R. Cleaveland, J. Derrick et al., Using formal methods to support testing, ACM Computing Surveys, vol.41, issue.2, 2009.
DOI : 10.1145/1459352.1459354
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.9397

R. Hierons and M. Núñez, Testing Probabilistic Distributed Systems, IFIP 30th Int. Conf. on Formal Techniques for Distributed Systems, FMOODS/FORTE'10, pp.63-77, 2010.
DOI : 10.1007/978-3-642-13464-7_6
URL : https://hal.archives-ouvertes.fr/hal-01055146

L. Llana and M. Núñez, Testing semantics for RTPA, Fundamenta Informaticae, vol.90, issue.3, pp.305-335, 2009.

N. López, M. Núñez, and I. Rodríguez, Specification, testing and implementation relations for symbolic-probabilistic systems, Theoretical Computer Science, vol.353, issue.1-3, pp.228-248, 2006.
DOI : 10.1016/j.tcs.2005.10.047

M. Merayo, I. Hwang, M. Núñez, and A. Cavalli, A Statistical Approach to Test Stochastic and Probabilistic Systems, 11th Int. Conf. on Formal Engineering Methods, ICFEM'09, pp.186-205, 2009.
DOI : 10.1007/978-3-642-10373-5_10
URL : https://hal.archives-ouvertes.fr/hal-01360751

M. Merayo, M. Núñez, and R. Hierons, Testing timed systems modeled by stream X-machines. Software and Systems Modeling, pp.201-217, 2011.
DOI : 10.1007/s10270-009-0126-3
URL : http://bura.brunel.ac.uk/bitstream/2438/4081/1/Fulltext.pdf

M. Merayo, M. Núñez, and I. Rodríguez, Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts, IEEE Transactions on Computers, vol.17, issue.3, pp.835-848, 2008.
DOI : 10.1016/S0304-3975(99)00134-6

M. Merayo, M. Núñez, and I. Rodríguez, Formal testing from timed finite state machines, Computer Networks, vol.52, issue.2, pp.432-460, 2008.
DOI : 10.1016/j.comnet.2007.10.002

M. Merayo, M. Núñez, and I. Rodríguez, A formal framework to test soft and hard deadlines in timed systems, Software Testing, Verification and Reliability, vol.57, issue.2, 2011.
DOI : 10.1007/978-3-540-87531-4_28

R. De-nicola and M. Hennessy, Testing equivalences for processes, Theoretical Computer Science, vol.34, issue.1-2, pp.83-133, 1984.
DOI : 10.1016/0304-3975(84)90113-0

M. Núñez, Algebraic theory of probabilistic processes, The Journal of Logic and Algebraic Programming, vol.56, issue.1-2, pp.117-177, 2003.
DOI : 10.1016/S1567-8326(02)00069-3

M. Núñez and L. Llana, A hierarchy of equivalences for probabilistic processes, 28th IFIP Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE'08, pp.267-282, 2008.

D. Sidhu and T. K. Leung, Formal methods for protocol testing: a detailed study, IEEE Transactions on Software Engineering, vol.15, issue.4, pp.413-426, 1989.
DOI : 10.1109/32.16602

J. Tretmans, Model Based Testing with Labelled Transition Systems, Formal Methods and Testing, LNCS 4949, pp.1-38, 2008.
DOI : 10.1007/978-3-540-78917-8_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.621