1. Abreu, F.B., Morais, A.N.P., Cavalli, A.R., Wehbi, B., Montes de Oca, E., Mallouli, W.: An effective attack detection approach in wireless mesh networks. Int. J. Space Based Situated Comput. 5(2), 89–99 (2015)

    Article  Google Scholar 

  2. Alur, R., Dill, D.: A theory of timed automata. Theoret. Comput. Sci. 126, 183–235 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  3. Andrés, C., Merayo, M.G., Núñez, M.: Formal passive testing of timed systems: theory and tools. Softw. Test. Verif. Reliab. 22(6), 365–405 (2012)

    Article  Google Scholar 

  4. Bayse, E., Cavalli, A., Núñez, M., Zaïdi, F.: A passive testing approach based on invariants: application to the WAP. Comput. Netw. 48(2), 247–266 (2005)

    Article  MATH  Google Scholar 

  5. Berry, G., Sethi, R.: From regular expressions to deterministic automata. Theoret. Comput. Sci. 48(3), 117–126 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  6. Camacho, M.A., Merayo, M.G., Medina-Bulo, I.: PTTAC: passive testing tool for asynchronous systems. In: 10th International Conference on Signal-Image Technology & Internet-Based Systems, SITIS’14, pp. 223–229. IEEE Computer Society (2014)

  7. Cavalli, A., Gervy, C., Prokopenko, S.: New approaches for passive testing using an extended finite state machine specification. Inf. Softw. Technol. 45(12), 837–852 (2003)

    Article  Google Scholar 

  8. Cavalli, A.R., Higashino, T., Núñez, M.: A survey on formal active and passive testing with applications to the cloud. Ann. Telecommun. 70(3–4), 85–93 (2015)

    Article  Google Scholar 

  9. Che, X., Maag, S.: Passive performance testing of network protocols. Comput. Commun. 51, 36–47 (2014)

    Article  Google Scholar 

  10. Colombo, C., Pace, G.J., Abela, P.: Safer asynchronous runtime monitoring using compensations. Form. Methods Syst. Des. 41(3), 269–294 (2012)

    Article  MATH  Google Scholar 

  11. Dilworth, R.P.: A decomposition theorem for partially ordered sets. Ann. Math. 51(1), 161–166 (1950)

    Article  MathSciNet  MATH  Google Scholar 

  12. Gaudel, M.C.: Testing can be formal, too! In: 6th International Joint Conference CAAP/FASE, Theory and Practice of Software Development, TAPSOFT’95. LNCS 915, pp. 82–96. Springer (1995)

  13. Grieskamp, W., Kicillof, N., Stobie, K., Braberman, V.: Model-based quality assurance of protocol documentation: tools and methodology. Softw. Test. Verif. Reliab. 21(1), 55–71 (2011)

    Article  Google Scholar 

  14. Hagenah, C., Muscholl, A.: Computing epsilon-free NFA from regular expressions in \(O(n\cdot \log (n)^2)\) time. Inform. Théor. Appl. 34(4), 257–278 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  15. Hennie, F.C.: Fault-detecting experiments for sequential circuits. In: 5th Annual Symposium on Switching Circuit Theory and Logical Design, pp. 95–110. IEEE Computer Society (1964)

  16. Henniger, O.: On test case generation from asynchronously communicating state machines. In: 10th International Workshop on Testing of Communicating Systems, IWTCS’97, pp. 255–271. Chapman & Hall (1997)

  17. Hierons, R.M.: The complexity of asynchronous model based testing. Theoret. Comput. Sci. 451, 70–82 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  18. Hierons, R.M.: Implementation relations for testing through asynchronous channels. Comput. J. 56(11), 1305–1319 (2013)

    Article  Google Scholar 

  19. Hierons, R.M., Bogdanov, K., Bowen, J., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luettgen, G., Simons, A., Vilkomir, S., Woodward, M., Zedan, H.: Using formal specifications to support testing. ACM Comput. Surv. 41(2), 9 (2009)

  20. Hierons, R.M., Bowen, J., Harman, M. (eds.): Formal Methods and Testing. LNCS 4949. Springer (2008)

  21. Hierons, R.M., Merayo, M.G., Núñez, M.: Testing from a stochastic timed system with a fault model. J. Log. Algebr. Program. 78(2), 98–115 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  22. Hierons, R.M., Merayo, M.G., Núñez, M.: Passive testing with asynchronous communications. In: IFIP 33rd International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE’13. LNCS 7892, pp. 99–113. Springer (2013)

  23. Hierons, R.M., Merayo, M.G., Núñez, M.: Timed implementation relations for the distributed test architecture. Distrib. Comput. 27(3), 181–201 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  24. Hopcroft, J., Motwani, R., Ullman, J.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley, Boston (2006)

    MATH  Google Scholar 

  25. Hromkovic, J., Seibert, S., Wilke, T.: Translating regular expressions into small \(\epsilon \)-free nondeterministic finite automata. J. Comput. Syst. Sci. 62(4), 565–588 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  26. Huo, J., Petrenko, A.: On testing partially specified IOTS through lossless queues. In: 16th International Conference on Testing Communicating Systems, TestCom’04. LNCS 2978, pp. 76–94. Springer (2004)

  27. Huo, J., Petrenko, A.: Transition covering tests for systems with queues. Softw. Test. Verif. Reliab. 19(1), 55–83 (2009)

    Article  Google Scholar 

  28. Jard, C., Jéron, T., Tanguy, L., Viho, C.: Remote testing can be as powerful as local testing. In: 19th Joint International Conference on Protocol Specification, Testing, and Verification and Formal Description Techniques, FORTE/PSTV’99, pp. 25–40. Kluwer Academic Publishers (1999)

  29. Krichen, M., Tripakis, S.: Conformance testing for real-time systems. Form. Methods Syst. Des. 34(3), 238–304 (2009)

    Article  MATH  Google Scholar 

  30. Lalanne, F., Maag, S.: A formal data-centric approach for passive testing of communication protocols. IEEE/ACM Trans. Netw. 21(3), 788–801 (2013)

    Article  Google Scholar 

  31. Laurent, O.: Using formal methods and testability concepts in the avionics systems validation and verification (V&V) process. In: 3rd International Conference on Software Testing, Verification, and Validation, ICST’10, pp. 1–10. IEEE Computer Society (2010)

  32. Lee, D., Chen, D., Hao, R., Miller, R., Wu, J., Yin, X.: A formal approach for passive testing of protocol data portions. In: 10th IEEE International Conference on Network Protocols, ICNP’02, pp. 122–131. IEEE Computer Society (2002)

  33. Lee, D., Chen, D., Hao, R., Miller, R., Wu, J., Yin, X.: Network protocol system monitoring: a formal approach with passive testing. IEEE/ACM Trans. Netw. 14, 424–437 (2006)

    Article  Google Scholar 

  34. Lee, D., Netravali, A., Sabnani, K., Sugla, B., John, A.: Passive testing and applications to network management. In: 5th IEEE International Conference on Network Protocols, ICNP’97, pp. 113–122. IEEE Computer Society (1997)

  35. Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebr. Program. 78(5), 293–303 (2009)

    Article  MATH  Google Scholar 

  36. Mammar, A., Cavalli, A.R., Jimenez, W., Mallouli, W., Montes de Oca, E.: Using testing techniques for vulnerability detection in C programs. In: 23rd International Conference on Testing Software and Systems, ICTSS’11. LNCS 7019, pp. 80–96. Springer (2011)

  37. Marinescu, R., Seceleanu, C., Guen, H.L., Pettersson, P.: A research overview of tool-supported model-based testing of requirements-based designs. Adv. Comput. 98, 89–140 (2015)

    Article  Google Scholar 

  38. Mealy, G.: A method for synthesizing sequential circuits. Bell Syst. Tech. J. 34, 1045–1079 (1955)

    Article  MathSciNet  Google Scholar 

  39. Merayo, M.G., Núñez, A.: Passive testing of communicating systems with timeouts. Inf. Softw. Technol. 64, 19–35 (2015)

    Article  Google Scholar 

  40. Merayo, M.G., Núñez, M., Hierons, R.M.: Testing timed systems modeled by stream X-machines. Softw. Syst. Model. 10(2), 201–217 (2011)

    Article  Google Scholar 

  41. Merayo, M.G., Núñez, M., Rodríguez, I.: Formal testing from timed finite state machines. Comput. Netw. 52(2), 432–460 (2008)

    Article  MATH  Google Scholar 

  42. Morales, G., Maag, S., Cavalli, A.R., Mallouli, W., Montes de Oca, E., Wehbi, B.: Timed extended invariants for the passive testing of web services. In: 8th IEEE International Conference on Web Services, ICWS’10, pp. 592–599. IEEE Computer Society (2010)

  43. Mouttappa, P., Maag, S., Cavalli, A.R.: Using passive testing based on symbolic execution and slicing techniques: application to the validation of communication protocols. Comput. Netw. 57(15), 2992–3008 (2013)

    Article  Google Scholar 

  44. Myers, G.J.: The Art of Software Testing, 2nd edn. Wiley, Hoboken (2004)

    Google Scholar 

  45. Nguyen, H.N., Poizat, P., Zaïdi, F.: Online verification of value-passing choreographies through property-oriented passive testing. In: 14th International Symposium on High-Assurance Systems Engineering, HASE’12, pp. 106–113. IEEE Computer Society (2012)

  46. Nguyen, H.N., Zaïdi, F., Cavalli, A.R.: A framework for distributed testing of timed composite systems. In: 21st Asia-Pacific Software Engineering Conference, APSEC’14, pp. 47–54. IEEE Computer Society (2014)

  47. Noroozi, N., Khosravi, R., Mousavi, M.R., Willemse, T.A.C.: Synchrony and asynchrony in conformance testing. Softw. Syst. Model. 14(1), 149–172 (2015)

  48. Shu, G., Lee, D.: Message confidentiality testing of security protocols—passive monitoring and active checking. In: 18th International Conference on Testing Communicating Systems, TestCom’06. LNCS 3964, pp. 357–372. Springer (2006)

  49. Simão, A., Petrenko, A.: Generating asynchronous test cases from test purposes. Inf. Softw. Technol. 53(11), 1252–1262 (2011)

    Article  Google Scholar 

  50. Springintveld, J., Vaandrager, F., D’Argenio, P.: Testing timed automata. Theoret. Comput. Sci. 254(1–2), 225–257 (2001). Previously appeared as Technical Report CTIT-97-17, University of Twente, 1997

    Article  MathSciNet  MATH  Google Scholar