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

E. Bayse, A. Cavalli, M. Núñez, and F. Za¨?diza¨?di, A passive testing approach based on invariants: application to the WAP, Computer Networks, vol.48, issue.2, pp.247-266, 2005.
DOI : 10.1016/j.comnet.2004.09.009

G. Berry and R. Sethi, From regular expressions to deterministic automata, Theoretical Computer Science, vol.48, issue.3, pp.117-126, 1986.
DOI : 10.1016/0304-3975(86)90088-5
URL : https://hal.archives-ouvertes.fr/inria-00075904

A. Cavalli, C. Gervy, and S. Prokopenko, New approaches for passive testing using an extended finite state machine specification. Information and Software Technology, pp.837-852, 2003.
DOI : 10.1016/s0950-5849(03)00063-6

C. Colombo, G. J. Pace, and P. Abela, Safer asynchronous runtime monitoring using compensations. Formal Methods in System Design, pp.269-294, 2012.
DOI : 10.1007/s10703-012-0142-8

R. P. Dilworth, A decomposition theorem for partially ordered sets, Annals of Mathematics, vol.51, issue.1, p.161166, 1950.
DOI : 10.1007/978-0-8176-4842-8_10

M. Gaudel, Testing can be formal, too! In 6th Int. Joint Conf, Theory and Practice of Software Development, TAPSOFT'95, pp.82-96, 1995.

W. Grieskamp, N. Kicillof, K. Stobie, and V. Braberman, Model-based quality assurance of protocol documentation: tools and methodology. Software Testing, Verification and Reliability, pp.55-71, 2011.

C. Hagenah and A. Muscholl, )) Time, RAIRO - Theoretical Informatics and Applications, vol.34, issue.4, pp.257-278, 2000.
DOI : 10.1051/ita:2000116

F. C. Hennie, Fault-detecting experiments for sequential circuits, 5th Annual Symposium on Switching Circuit Theory and Logical Design, pp.95-110, 1964.

O. Henniger, On test case generation from asynchronously communicating state machines, 10th Int. Workshop on Testing of Communicating Systems, IWTCS'97, pp.255-271, 1997.
DOI : 10.1007/978-0-387-35198-8_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.5004

R. M. Hierons, The complexity of asynchronous model based testing, Theoretical Computer Science, vol.451, pp.70-82, 2012.
DOI : 10.1016/j.tcs.2012.05.038

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

R. M. Hierons, M. G. Merayo, and M. Núñez, Scenarios-based testing of systems with distributed ports. Software -Practice and Experience, pp.41999-1026, 2011.

R. M. Hierons, M. G. Merayo, and M. Núñez, Implementation relations and test generation for systems with distributed interfaces, Distributed Computing, vol.21, issue.13, pp.35-62, 2012.
DOI : 10.1007/s00446-011-0149-1

R. M. Hierons, M. G. Merayo, and M. Núñez, Using Time to Add Order to Distributed Testing, 18th Symposium on Formal Methods, FM'12, pp.232-246, 2012.
DOI : 10.1007/978-3-642-32759-9_20

J. Hromkovic, S. Seibert, and T. Wilke, Translating Regular Expressions into Small ??-Free Nondeterministic Finite Automata, Journal of Computer and System Sciences, vol.62, issue.4, pp.565-588, 2001.
DOI : 10.1006/jcss.2001.1748

J. Huo and A. Petrenko, On testing partially specified IOTS through lossless queues, 16th Int. Conf. on Testing Communicating Systems, TestCom'04, pp.76-94, 2004.

J. Huo and A. Petrenko, Transition covering tests for systems with queues, Software Testing, Verification and Reliability, vol.7, issue.4, pp.55-83, 2009.
DOI : 10.1002/stvr.396

D. Lee, A. N. Netravali, K. K. Sabnani, B. Sugla, and A. John, Passive testing and applications to network management, Proceedings 1997 International Conference on Network Protocols, pp.113-122, 1997.
DOI : 10.1109/ICNP.1997.643699

A. Mammar, A. R. Cavalli, W. Jimenez, W. Mallouli, and E. Montes-de-oca, Using Testing Techniques for Vulnerability Detection in C Programs, 23rd Int. Conf. on Testing Software and Systems, ICTSS'11, pp.80-96, 2011.
DOI : 10.1007/978-3-642-24580-0_7
URL : https://hal.archives-ouvertes.fr/hal-01303013

G. H. Mealy, A method for synthesizing sequential circuits, The Bell System Technical Journal, vol.34, issue.5, pp.1045-1079, 1955.
DOI : 10.1002/j.1538-7305.1955.tb03788.x

G. Morales, S. Maag, A. R. Cavalli, W. Mallouli, E. Montes-de-oca et al., Timed Extended Invariants for the Passive Testing of Web Services, 2010 IEEE International Conference on Web Services, pp.592-599, 2010.
DOI : 10.1109/ICWS.2010.17
URL : https://hal.archives-ouvertes.fr/hal-01309503

A. Simão and A. Petrenko, Generating asynchronous test cases from test purposes. Information and Software Technology, pp.1252-1262, 2011.