{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T10:40:08Z","timestamp":1791196808583,"version":"4.1.0"},"reference-count":86,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2015,2,18]],"date-time":"2015-02-18T00:00:00Z","timestamp":1424217600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Ann. Telecommun."],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s12243-015-0457-8","type":"journal-article","created":{"date-parts":[[2015,2,17]],"date-time":"2015-02-17T05:41:34Z","timestamp":1424151694000},"page":"85-93","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":39,"title":["A survey on formal active and passive testing with applications to the cloud"],"prefix":"10.1007","volume":"70","author":[{"given":"Ana R.","family":"Cavalli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Teruo","family":"Higashino","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2015,2,18]]},"reference":[{"key":"457_CR1","doi-asserted-by":"crossref","unstructured":"Alcalde B, Cavalli A, Chen D, Khuu D, Lee D (2004) Network protocol system passive testing for fault management: A backward checking approach. In: Proceedings of 24th IFIP Int. Conf. on Formal Techniques for Networked and Distributed Systems (FORTE\u201904), Lecture Notes in Computer Science, vol. 3235. Springer, Berlin, pp 150\u2013166","DOI":"10.1007\/978-3-540-30232-2_10"},{"key":"457_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur R, Dill D (1994) A theory of timed automata. Theor Comput Sci 126:183\u2013235","journal-title":"Theor Comput Sci"},{"key":"457_CR3","unstructured":"Andr\u00e9s C, Cambronero M, Nu\u00f1ez M (2010) Formal passive testing of service-oriented systems. In: Proceedings of 2010 IEEE Int. Conf. on Services Computing (SCC 2010), pp 610-613"},{"key":"457_CR4","doi-asserted-by":"crossref","unstructured":"Andr\u00e9s C, Merayo M, N\u00fa\u00f1ez M (2008) Passive testing of timed systems. In: Proceedings of 6th Int. Symp. on Automated Technology for Verification and Analysis (ATVA 2008), Lecture Notes in Computer Science, vol.5311. Springer, Berlin, pp 418\u2013427","DOI":"10.1007\/978-3-540-88387-6_36"},{"issue":"6","key":"457_CR5","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1002\/stvr.1464","volume":"22","author":"C Andr\u00e9s","year":"2012","unstructured":"Andr\u00e9s C, Merayo MG, N\u00fa\u00f1ez M (2012) Formal passive testing of timed systems: Theory and tools. Softw Test Verification Reliab 22(6):365\u2013405","journal-title":"Softw Test Verification Reliab"},{"key":"457_CR6","doi-asserted-by":"crossref","unstructured":"Arnedo JA, Cavalli A, N\u00fa\u00f1ez M (2003) Fast testing of critical properties through passive testing. In: Proceedings of 15th IFIP Int. Conf. on Testing of Communicating Systems (TestCom 2003), Lecture Notes in Computer Science, vol. 2644. Springer, Berlin, pp 295\u2013310","DOI":"10.1007\/3-540-44830-6_22"},{"key":"457_CR7","doi-asserted-by":"crossref","unstructured":"Banzai T, Koizumi H, Kanbayashi R, Imada T, Hanawa T, Sato M (2010) D-cloud: Design of a software testing environment for reliable distributed systems using cloud computing technology. In: Proceedings of 10th IEEE\/ACM Int. Conf.on Cluster,Cloud and Grid Computing (CCGrid\u201910), pp 631\u2013636","DOI":"10.1109\/CCGRID.2010.72"},{"issue":"2","key":"457_CR8","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/j.comnet.2004.09.009","volume":"48","author":"E Bayse","year":"2005","unstructured":"Bayse E, Cavalli A, Nez MN, Za\u00efdi F (2005) A passive testing approach based on invariants: Application to the wap. Comput Netw 48(2):247\u2013266","journal-title":"Comput Netw"},{"key":"457_CR9","unstructured":"Bellard F (2005) Qemu, a fast and portable dynamic translator, a fast and portable dynamic translator. In: Proceedings of 2005 USENIX Annual Technical Conference (ATEC \u201905), pp 41 41. USENIX Association"},{"key":"457_CR10","doi-asserted-by":"crossref","unstructured":"Benharref A, Dssouli R, Serhani M, En-Nouaary A, Glitho R (2007) New approach for efsm-based passive testing of web services. In: Proceedings of 19th IFIP Int. Conf. on Testing of Software and Communicating Systems (TestCom 2007),Lecture Notes in Computer Science, vol. 4581. Springer, Berlin, pp 13\u201327","DOI":"10.1007\/978-3-540-73066-8_2"},{"key":"457_CR11","unstructured":"http:\/\/bro-ids.org\/ 2014"},{"key":"457_CR12","doi-asserted-by":"crossref","unstructured":"Buyya R, Ranjan R, Calheiros RN (2009) Modeling and simulation of scalable cloud computing environments and the CloudSim toolkit: Challenges and opportunities. In: Proceedings of 7th IEEE Int. Conf. High Performance Computing and Simulation (HPCS\u201909), pp 1\u201311","DOI":"10.1109\/HPCSIM.2009.5192685"},{"issue":"11\u201312","key":"457_CR13","doi-asserted-by":"crossref","first-page":"767","DOI":"10.1016\/S0950-5849(99)00036-1","volume":"41","author":"L Cacciari","year":"1999","unstructured":"Cacciari L, Rafiq O (1999) Controllability and observability in distributed testing. Inf Softw Technol 41(11\u201312):767\u2013780","journal-title":"Inf Softw Technol"},{"key":"457_CR14","doi-asserted-by":"crossref","unstructured":"Casanova H, Legrand A, Quinson M (2008) SimGrid: a generic framework for large-scale distributed experiments. In: Proceedings of 10th Int. Conf. on Computer Modeling and Simulation (UKSIM\u201908), pp 126\u2013131","DOI":"10.1109\/UKSIM.2008.28"},{"issue":"12","key":"457_CR15","doi-asserted-by":"crossref","first-page":"837","DOI":"10.1016\/S0950-5849(03)00063-6","volume":"45","author":"A Cavalli","year":"2003","unstructured":"Cavalli A, Gervy C, Prokopenko S (2003) New approaches for passive testing using an extended finite state machine specification. Inf Softw Technol 45(12):837\u2013852","journal-title":"Inf Softw Technol"},{"key":"457_CR16","doi-asserted-by":"crossref","unstructured":"Cavalli A, Grepet C, Maag S, Tortajada V (2004) A validation model for the dsr protocol. In: Proceedings of IEEE Int. Workshop on Wireless Ad Hoc Networking (WWAN\u201904), pp 768\u2013773","DOI":"10.1109\/ICDCSW.2004.1284120"},{"key":"457_CR17","doi-asserted-by":"crossref","unstructured":"Chan W, Mei L, Zhang Z (2009) Modeling and testing of cloud applications. In: Proceedings of 4th IEEE Int. Conf. on Asia-Pacific Services Computing (APSCC\u201909), pp 111\u2013118","DOI":"10.1109\/APSCC.2009.5394131"},{"issue":"3","key":"457_CR18","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"TS Chow","year":"1978","unstructured":"Chow TS (1978) Test design modeled by finite-state machines. IEEE Trans Softw Eng 4(3):178\u2013187","journal-title":"IEEE Trans Softw Eng"},{"issue":"6","key":"457_CR19","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1080\/19393555.2011.624162","volume":"20","author":"EH Corwin","year":"2011","unstructured":"Corwin EH (2011) Deep packet inspection: Shaping the internet and the implications on privacy and security. Inf Secur J A Glob Perspect 20(6):311\u2013316","journal-title":"Inf Secur J A Glob Perspect"},{"key":"457_CR20","doi-asserted-by":"crossref","unstructured":"Dorofeeva M, El-Fakih K, Yevtushenko N (2005) An improved conformance testing method. In: Proceedings of 25th IFIP Int. Conf. on Formal Techniques for Networked and Distributed Systems (FORTE\u201905). Springer, Berlin, pp 363\u2013378","DOI":"10.1007\/11562436_16"},{"key":"457_CR21","doi-asserted-by":"crossref","first-page":"1286","DOI":"10.1016\/j.infsof.2010.07.001","volume":"52","author":"R Dorofeeva","year":"2010","unstructured":"Dorofeeva R, El-Fakih K, Maag S, Cavalli AR, Yevtushenko N (2010) Fsm-based conformance testing methods: A survey annotated with experimental evaluation. Inf Softw Technol 52:1286\u20131297","journal-title":"Inf Softw Technol"},{"issue":"5","key":"457_CR22","doi-asserted-by":"crossref","first-page":"614","DOI":"10.1109\/TC.2004.1275300","volume":"53","author":"AY Duale","year":"2004","unstructured":"Duale AY, Uyar MU (2004) A method enabling feasible conformance test sequence generation for efsm models. IEEE Trans Comput 53(5):614\u2013627","journal-title":"IEEE Trans Comput"},{"issue":"7","key":"457_CR23","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1109\/TSE.2004.31","volume":"30","author":"K El-Fakih","year":"2004","unstructured":"El-Fakih K, Yevtushenko Nv, Bochmann G (2004) Fsm-based incremental conformance testing methods. IEEE Trans Softw Eng 30(7):425\u2013436","journal-title":"IEEE Trans Softw Eng"},{"key":"457_CR24","doi-asserted-by":"crossref","unstructured":"En-Nouaary A, Dssoul R, Khendek F, Elqortobi A (1998) Timed test cases generation based on state characterization technique. In: Proceedings of 19th IEEE Real-Time System Sympsium (RTSS\u201998), pp 220\u2013229, IEEE","DOI":"10.1109\/REAL.1998.739748"},{"issue":"6","key":"457_CR25","doi-asserted-by":"crossref","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"Sv Fujiwara","year":"1991","unstructured":"Fujiwara S v, Bochmann G, Khendek F, Amalou M, Ghedamsi A (1991) Test selection based on finite state models. IEEE Trans Softw Eng 17(6):591\u2013603","journal-title":"IEEE Trans Softw Eng"},{"key":"457_CR26","unstructured":"Garc\u00eda-Guirado A, Fern\u00e1ndez-Pascual R, Garc\u00eda JM (2009) Virtual-GEMS: an infrastructure to simulate virtual machines. In: Proceedings of 5th annual workshop on modeling, benchmarking and simulation (MoBS\u201909), pp 1\u201310"},{"key":"457_CR27","unstructured":"http:\/\/www.gnu.org\/software\/gdb\/ 2014"},{"issue":"6","key":"457_CR28","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1109\/T-C.1970.222975","volume":"C-19","author":"G Gonenc","year":"1970","unstructured":"Gonenc G (1970) A method for the design of fault detection experiments. IEEE Trans Comput C-19(6):551\u2013558","journal-title":"IEEE Trans Comput"},{"key":"457_CR29","doi-asserted-by":"crossref","unstructured":"Hall\u00e9 S, Villemaire R (2009) Runtime monitoring of web service choreographies using streaming xml. In: 2009 ACM Symposium on Applied Computing,SAC\u201909, pp 2118\u20132125","DOI":"10.1145\/1529282.1529752"},{"key":"457_CR30","doi-asserted-by":"crossref","unstructured":"Hierons R, Merayo M, N\u00fa\u00f1ez M (2013) Passive testing with asynchronous communications. In: Proceedings of 33rd IFIP Int. Conf. on Formal Techniques for Distributed Systems (FORTE\u201913), Lecture Notes in Computer Science, vol. 7892. Springer, Berlin, pp 99\u2013113","DOI":"10.1007\/978-3-642-38592-6_8"},{"issue":"3","key":"457_CR31","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1109\/TSE.2011.45","volume":"38","author":"RM Hierons","year":"2012","unstructured":"Hierons RM (2012) Oracles for distributed testing. IEEE Trans Softw Eng 38(3):629\u2013641","journal-title":"IEEE Trans Softw Eng"},{"issue":"1","key":"457_CR32","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/s00446-011-0149-1","volume":"25","author":"RM Hierons","year":"2012","unstructured":"Hierons RM, Merayo MG, N\u00fa\u00f1ez M (2012) Implementation relations and test generation for systems with distributed interfaces. Distrib Comput 25(1):35\u201362","journal-title":"Distrib Comput"},{"issue":"1","key":"457_CR33","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/32.263753","volume":"20","author":"Tv Higashino","year":"1994","unstructured":"Higashino Tv, Bochmann G (1994) Automatic analysis and test case derivation for a restricted class of lotos expressions with data parameters. IEEE Trans Softw Eng 20(1):29\u201342","journal-title":"IEEE Trans Softw Eng"},{"key":"457_CR34","doi-asserted-by":"crossref","unstructured":"Higashino T, Nakata A, Taniguchi K, Cavalli AR (1999) Generating test cases for a timed i\/o automaton model. In: Proceedings of 12th IFIP Int. Workshop on Testing of Communicating Systems (IWTCS\u201999). Springer, Berlin, pp 197\u2013214","DOI":"10.1007\/978-0-387-35567-2_13"},{"key":"457_CR35","doi-asserted-by":"crossref","unstructured":"Hiromori A, Umedu T, Yamaguchi H, Higashino T (2012) Protocol testing and performance evaluation for manets with non-uniform node density distribution. In: Proceedings of 24th IFIP Int. Conf. on Testing Software and Systems (ICTSS 2012). Springer, Berlin, pp 231\u2013246","DOI":"10.1007\/978-3-642-34691-0_17"},{"key":"457_CR36","doi-asserted-by":"crossref","unstructured":"Jard C, J\u00e9ron T, Kahlouche H, Viho C (1998) Towards automatic distribution of testers for distributed conformance testing. In: Proceedings of Int. Conf. on Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE\u201998\/PSTV\u201998). Kluwer Academic Publishers, Norwell, pp 353\u2013368","DOI":"10.1007\/978-0-387-35394-4_22"},{"issue":"10","key":"457_CR37","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/2076021.2048082","volume":"46","author":"P Joshi","year":"2011","unstructured":"Joshi P, Gunawi H, Sen K (2011) PREFAIL: a programmable tool for multiple-failure injection. ACM SIGPLAN Not 46(10):171\u2013188","journal-title":"ACM SIGPLAN Not"},{"issue":"3","key":"457_CR38","doi-asserted-by":"crossref","first-page":"1263","DOI":"10.1007\/s11227-010-0504-1","volume":"62","author":"D Kliazovich","year":"2012","unstructured":"Kliazovich D, amd SU, Khan PB (2012) GreenCloud: a packet-level simulator of energy-aware cloud computing data centers. J Supercomput 62(3):1263\u20131283","journal-title":"J Supercomput"},{"key":"457_CR39","doi-asserted-by":"crossref","unstructured":"Ladani B, Alcalde B, Cavalli A (2005) Passive testing: A constrained invariant checking approach. In: Proceedings of 17th IFIP Int. Conf. on Testing of Communicating Systems (TestCom 2005), Lecture Notes in Computer Science, vol.3502. Springer, Berlin, pp 9\u201322","DOI":"10.1007\/11430230_2"},{"key":"457_CR40","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S0164-1212(01)00132-7","volume":"62","author":"R Lai","year":"2002","unstructured":"Lai R (2002) A survey of communication protocol testing. J Syst Softw 62:21\u201346","journal-title":"J Syst Softw"},{"issue":"3","key":"457_CR41","doi-asserted-by":"crossref","first-page":"788","DOI":"10.1109\/TNET.2012.2210443","volume":"21","author":"F Lalanne","year":"2013","unstructured":"Lalanne F, Maag S (2013) A formal data-centric approach for passive testing of communication protocols. IEEE\/ACM Trans Netw 21(3):788\u2013801","journal-title":"IEEE\/ACM Trans Netw"},{"key":"457_CR42","doi-asserted-by":"crossref","unstructured":"Lee D, Chen D, Hao R, Miller R, Wu J, Yin X (2002) A formal approach for passive testing of protocol data portions. In: Proceedings of 10th IEEE Int. Conf. on Network Protocols (ICNP 2002), pp 122\u2013131","DOI":"10.1109\/ICNP.2002.1181393"},{"issue":"2","key":"457_CR43","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1109\/TNET.2006.872572","volume":"14","author":"D Lee","year":"2006","unstructured":"Lee D, Chen D, Hao R, Miller R, Wu J, Yin X (2006) Network protocol system monitoring-a formal approach with passive testing. IEEE\/ACM Trans Netw 14(2):424\u2013437","journal-title":"IEEE\/ACM Trans Netw"},{"key":"457_CR44","doi-asserted-by":"crossref","unstructured":"Lee D, Netravali A, Sabnani K, Sugla B, John A (1997) Passive testing and applications to network management. In: Proceedings of 5th IEEE Int. Conf. on Network Protocols (ICNP\u201997), pp 113\u2013122","DOI":"10.1109\/ICNP.1997.643699"},{"issue":"8","key":"457_CR45","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D Lee","year":"1996","unstructured":"Lee D, Yannakakis M (1996) Principles and methods of testing finite state machines-a survey. Proc IEEE 84(8):1090\u20131123","journal-title":"Proc IEEE"},{"issue":"5","key":"457_CR46","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker M, Schallhart C (2009) A brief account of runtime verification. J Logic Algebraic Program 78(5):293\u2013303","journal-title":"J Logic Algebraic Program"},{"key":"457_CR47","unstructured":"Li X, Higashino T, Higuchi M, Taniguchi K (1994) Automatic generation of extended uio sequences for communication protocols in an efsm model. In: Proceedings of 7th IFIP Int. Workshop on Protocol Test Systems (IWPTS\u201994). Springer, Berlin, pp 225\u2013240"},{"key":"457_CR48","unstructured":"Luo G, Dssouli R, Bochmann Gv (1993) Generating synchronizable test sequences based on finite state machine with distributed ports. In: Proceedings of 6th IFIP Int. Workshop on Protocol Test Systems (IWPTS\u201993), pp 139\u2013153. North-Holland"},{"key":"457_CR49","doi-asserted-by":"crossref","unstructured":"Maag S, Zaidi F (2006) Testing methodology for an ad hoc routing protocol. In: Proceedings of 2006 ACM Int. Workshop on Performance Monitoring,Measurement, and Evaluation of Heterogeneous Wireless and Wired Networks, pp 48\u201355","DOI":"10.1145\/1163653.1163663"},{"key":"457_CR50","doi-asserted-by":"crossref","unstructured":"Mammar A, Cavalli A, Jimenez W, Mallouli W, Montes E (2011) Using testing techniques for vulnerability detection in c programs. In: Proceedings of 23rd IFIP Int. Conf. on Testing Software and Systems (ICTSS\u201911), Lecture Notes in Computer Science, vol. 7019. Springer, Berlin, pp 80\u201396","DOI":"10.1007\/978-3-642-24580-0_7"},{"key":"457_CR51","unstructured":"Mehrotra N (2010) Cloud-testing vs. testing a cloud. In: Proceedings 10th Int. Software Testing Conf., pp 1\u20137"},{"key":"457_CR52","doi-asserted-by":"crossref","unstructured":"Mell P, Scarfone K (2007) Guide to intrusion detection and prevention systems (IDPS). http:\/\/csrc.nist.gov\/publications\/nistpubs\/800-94\/SP800-94.pdf","DOI":"10.6028\/NIST.SP.800-94"},{"key":"457_CR53","doi-asserted-by":"crossref","unstructured":"Miller R (1998) Passive testing of networks using a cfsm specification. In: Proceedings of 1998 IEEE Int. Conf. on Performance Computing and Communications (IPCCC \u201998), pp 111\u2013116","DOI":"10.1109\/PCCC.1998.659924"},{"key":"457_CR54","doi-asserted-by":"crossref","unstructured":"Miller R, Arisha K (2000) On fault location in networks by passive testing. In: Proceedings of 2000 IEEE Int. Conf. on Performance, Computing, Communications (IPCCC \u201900), pp 281\u2013287","DOI":"10.1109\/PCCC.2000.830329"},{"key":"457_CR55","doi-asserted-by":"crossref","unstructured":"Miller R, Arisha K (2001) Fault identification in networks by passive testing. In: Proceedings of 34th Simulation Symp., pp 277\u2013284","DOI":"10.1109\/SIMSYM.2001.922142"},{"key":"457_CR56","doi-asserted-by":"crossref","unstructured":"Morales G, Maag S, Cavalli A, Mallouli W, Montes E, Wehbi B (2010) Timed extended invariants for the passive testing of web services. In: Proceedings of 2010 IEEE Int. Conf. on Web Services (ICWS 2010), pp 592\u2013599","DOI":"10.1109\/ICWS.2010.17"},{"key":"457_CR57","doi-asserted-by":"crossref","unstructured":"Mouttappa P, Maag S, Cavalli A (2012) An iosts based passive testing approach for the validation of data-centric protocols. In: Proceedings of 12th Int. Conf. on Quality Software (QSIC 2012), pp 49\u201358","DOI":"10.1109\/QSIC.2012.33"},{"key":"457_CR58","doi-asserted-by":"crossref","unstructured":"Mouttappa P, Maag S, Cavalli A (2013) Monitoring based on iosts for testing functional and security properties: Application to an automotive case study. In: Proceedings of 37th IEEE Int. Conf. on Computer Software and Applications (COMPSAC \u201913), pp 1\u201310","DOI":"10.1109\/COMPSAC.2013.5"},{"issue":"15","key":"457_CR59","doi-asserted-by":"crossref","first-page":"2992","DOI":"10.1016\/j.comnet.2013.06.019","volume":"57","author":"P Mouttappa","year":"2013","unstructured":"Mouttappa P, Maag S, Cavalli A (2013) Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols. Comput Netw 57(15):2992\u20133008","journal-title":"Comput Netw"},{"key":"457_CR60","doi-asserted-by":"crossref","unstructured":"Nguyen H, Poizat P, Zaidi F (2012) Online verification of value-passing choreographies through property-oriented passive testing. In: Proceedings of 14th IEEE Int. Symp. on High-Assurance Systems Engineering (HASE 2012), pp 106\u2013113","DOI":"10.1109\/HASE.2012.15"},{"issue":"1","key":"457_CR61","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/s10723-012-9208-5","volume":"10","author":"A N\u00fa\u00f1ez","year":"2012","unstructured":"N\u00fa\u00f1ez A, Vazquez-Poletti\u0301 JL, Caminero AC, Casta\u00f1\u00e9 GG, Carretero J, Llorente IM (2012) iCanCloud: a flexible and scalable cloud infrastructure simulator. J Grid Comput 10(1):185\u2013209","journal-title":"J Grid Comput"},{"key":"457_CR62","unstructured":"Petrenko A, Yevtushenko N, Lebedev A, Das A (1993) Nondeterministic state machines in protocol conformance testing. In: Proceedings of 6th IFIP Int. Workshop on Protocol Test Systems (IWPTS\u201993), pp 363\u2013378.North-Holland"},{"issue":"2","key":"457_CR63","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1021759127956","volume":"24","author":"O Rafiq","year":"2003","unstructured":"Rafiq O, Cacciari L (2003) Coordination algorithm for distributed testing. J Supercomput 24(2):203\u2013211","journal-title":"J Supercomput"},{"key":"457_CR64","unstructured":"Richters M, Gogolla M (2003) Aspect-oriented monitoring of UML and OCL constraints. In: 4th Int. Workshop on Aspect-Oriented Modeling with UML on 6th Int. Conf. on the Unified Modeling Language (UML\u201903)"},{"key":"457_CR65","volume-title":"Object-oriented modeling and design","author":"J Rumbaugh","year":"1991","unstructured":"Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen WE, et al. (1991) Object-oriented modeling and design. Prentice-Hall Englewood Cliffs, NJ"},{"key":"457_CR66","unstructured":"Cheung SC, STC, Xu Z (2001) Toward generic timing tests for distributed multimedia software systems. In: Proceedings of 12th, I E E E Int. Symp. on Software Reliability Engineering (ISSRE\u201901), pp 210\u2013220"},{"issue":"4","key":"457_CR67","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0169-7552(88)90064-5","volume":"15","author":"K Sabnani","year":"1988","unstructured":"Sabnani K, Dahbura A (1988) A protocol test generation procedure. Comput Netw ISDN Syst 15(4):285\u2013297","journal-title":"Comput Netw ISDN Syst"},{"issue":"1","key":"457_CR68","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/j.jnca.2005.07.002","volume":"30","author":"KS Shin","year":"2007","unstructured":"Shin KS, Jung JH, Cheon JY, Choi SB (2007) Real-time network monitoring scheme based on SNMP for dynamic information. J Netw Comput Appl 30(1):331\u2013353","journal-title":"J Netw Comput Appl"},{"issue":"4","key":"457_CR69","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1109\/32.16602","volume":"15","author":"DP Sidhu","year":"1989","unstructured":"Sidhu DP, Leung TK (1989) Formal methods for protocol testing: A detailed study. IEEE Trans Softw Eng 15(4):413\u2013426","journal-title":"IEEE Trans Softw Eng"},{"key":"457_CR70","unstructured":"Simmonds J (2011) Dynamic analysis of web services.Ph.D. thesis, University of Toronto"},{"key":"457_CR71","unstructured":"http:\/\/www.snort.org\/ 2015"},{"issue":"1-2","key":"457_CR72","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S0304-3975(99)00134-6","volume":"254","author":"J Springintveld","year":"2001","unstructured":"Springintveld J, Vaandrager F, D\u2019Argenio PR (2001) Testing timed automata. Theor Comput Sci 254(1-2):225\u2013257","journal-title":"Theor Comput Sci"},{"key":"457_CR73","doi-asserted-by":"crossref","unstructured":"Sun T, Yasumoto K, Mori M, Higashino T (2003) Qos functional testing for multi-media systems. In: Proceedings of 23rd IFIP Int. Conf. on Formal Techniques for Networked and Distributed Systems (FORTE\u201903). Springer, Berlin, pp 319\u2013334","DOI":"10.1007\/978-3-540-39979-7_21"},{"issue":"11-12","key":"457_CR74","doi-asserted-by":"crossref","first-page":"813","DOI":"10.1016\/S0950-5849(99)00039-7","volume":"41","author":"M Tabourier","year":"1999","unstructured":"Tabourier M, Cavalli A (1999) Passive testing and application to the gsm-map protocol. Inf Softw Technol 41(11-12):813\u2013821","journal-title":"Inf Softw Technol"},{"issue":"1","key":"457_CR75","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/s00165-005-0083-8","volume":"18","author":"H Ural","year":"2006","unstructured":"Ural H, Williams C (2006) Constructing checking sequences for distributed testing. Form Asp Comput 18(1):84\u2013101","journal-title":"Form Asp Comput"},{"key":"457_CR76","doi-asserted-by":"crossref","unstructured":"Ural H, Xu Z (2007) An efsm-based passive fault detection approach. In: Proceedings of 19th IFIP Int. Conf. on Testing of Software and Communicating Systems (TestCom2007),Lecture Notes in Computer Science, vol 4581. Springer, Berlin, pp 335\u2013350","DOI":"10.1007\/978-3-540-73066-8_23"},{"key":"457_CR77","doi-asserted-by":"crossref","unstructured":"Ural H, Xu Z, Zhang F (2007) An improved approach to passive testing of fsm-based systems. In: Proceedings of 2nd IEEE Int. Workshop on Automation of Software Test (AST \u201907), p 6","DOI":"10.1109\/AST.2007.1"},{"key":"457_CR78","unstructured":"Misic V, STC, Cheung SC (1998) Towards a framework for testing distributed multimedia software systems. In: Proceedings of 1998 IEEE Int. Symp. on Software Engineering for Parallel and Distributed Systems (PDSE\u201998), pp 72 81"},{"key":"457_CR79","unstructured":"http:\/\/valgrind.org\/ 2014"},{"key":"457_CR80","unstructured":"Vuong ST, Chan W, Ito M (1989) The uiov-method for protocol test sequence generation. In: Proceedings of 2nd IFIP Int. Workshop on Protocol Test Systems (IWPTS\u201989), pp 161\u2013175. North-Holland"},{"key":"457_CR81","unstructured":"Wang CJ, Liu MT (1992) Axiomatic test sequence generation for extended finite state machines. In: Proceedings of 12th IEEE Int. Conf. on Distributed Computing Systems (ICDCS-12), pp 252\u2013259"},{"key":"457_CR82","doi-asserted-by":"crossref","unstructured":"Wehbi B, Montes E, Bourdelles M (2012) Events-based security monitoring using mmt tool. In: Proceedings of 5th IEEE Int. Conf. on Software Testing,Verification and Validation (ICST2012), pp 860\u2013863","DOI":"10.1109\/ICST.2012.188"},{"key":"457_CR83","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/0-306-47003-9_7","volume-title":"22nd IFIP Int. Conf. on Formal Techniques for Networked and Distributed Systems (FORTE 2002)","author":"J Wu","year":"2002","unstructured":"Wu J, Zhao Y, Yin X (2002) 22nd IFIP Int. Conf. on Formal Techniques for Networked and Distributed Systems (FORTE 2002). Springer, Berlin, pp 101\u2013116"},{"key":"457_CR84","unstructured":"Xiaoping C, Lalanne F, Maag S (2012) A logic-based passive testing approach for the validation of communicating protocols. In: Proceedings of 7th Int. Conf. on Evaluation of Novel Approaches to Software Engineering (ENASE\u201912), pp 53\u201364"},{"key":"457_CR85","doi-asserted-by":"crossref","unstructured":"Zeng W, Wang Y (2009) Design and implementation of server monitoring system based on snmp. In: Proceedings of 2009 Conf. on Artificial Intelligence (JCAI \u201909), pp 680\u2013682","DOI":"10.1109\/JCAI.2009.34"},{"issue":"2","key":"457_CR86","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/BF02948879","volume":"18","author":"Y Zhao","year":"2003","unstructured":"Zhao Y, Yin X, Wu J (2003) Problems in the information dissemination of the internet routing. J Comput Sci Technol 18(2):139\u2013152","journal-title":"J Comput Sci Technol"}],"container-title":["annals of telecommunications - annales des t\u00e9l\u00e9communications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12243-015-0457-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12243-015-0457-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12243-015-0457-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T07:54:14Z","timestamp":1747641254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12243-015-0457-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2,18]]},"references-count":86,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["457"],"URL":"https:\/\/doi.org\/10.1007\/s12243-015-0457-8","relation":{},"ISSN":["0003-4347","1958-9395"],"issn-type":[{"value":"0003-4347","type":"print"},{"value":"1958-9395","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,2,18]]}}}