{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T21:10:33Z","timestamp":1767993033057,"version":"3.49.0"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030312794","type":"print"},{"value":"9783030312800","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-31280-0_5","type":"book-chapter","created":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T23:06:50Z","timestamp":1570489610000},"page":"67-85","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Bombarda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvia","family":"Bonfanti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Gargantini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Radavelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Lei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,8]]},"reference":[{"key":"5_CR1","unstructured":"ISO\/IEC\/IEEE international standard - health informatics - personal health device communication - part 20601: Application profile - optimized exchange protocol, June 2016"},{"key":"5_CR2","unstructured":"Abu-Ein, A.A.-K.H., Said, M., Hatamleh, A.M., Sharadqeh, A.A.M.: Using finite state machine at the testing of network protocols. Aust. J. Basic Appl. Sci., 956\u2013960 (2011)"},{"issue":"P4","key":"5_CR3","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/j.scico.2014.05.004","volume":"97","author":"BK Aichernig","year":"2015","unstructured":"Aichernig, B.K., J\u00f6bstl, E., Tiran, S.: Model-based mutation testing via symbolic refinement checking. Sci. Comput. Program. 97(P4), 383\u2013404 (2015)","journal-title":"Sci. Comput. Program."},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-642-38916-0_2","volume-title":"Tests and Proofs","author":"BK Aichernig","year":"2013","unstructured":"Aichernig, B.K., Lorber, F., Ni\u010dkovi\u0107, D.: Time for mutants\u2014model-based mutation testing with timed automata. In: Veanes, M., Vigan\u00f2, L. (eds.) TAP 2013. LNCS, vol. 7942, pp. 20\u201338. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38916-0_2"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Peischl, B., Weiglhofer, M., Wotawa, F.: Protocol conformance testing a SIP registrar: an industrial application of formal methods. In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007). IEEE, September 2007","DOI":"10.1109\/SEFM.2007.31"},{"issue":"4","key":"5_CR6","doi-asserted-by":"publisher","first-page":"447","DOI":"10.5028\/jatm.v6i4.369","volume":"6","author":"Ana Maria Ambrosio","year":"2014","unstructured":"Ambrosio, A.M., Pinheiro, A.C., Sim\u00e3o, A.: FSM-based test case generation methods applied to test the communication software on board the ITASAT university satellite: a case study. J. Aerospace Technol. Manag. 6(4), 447\u2013461 (2014)","journal-title":"Journal of Aerospace Technology and Management"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-030-29662-9","volume-title":"Proceedings Tests and Proofs - 13th International Conference","author":"\u00c9 Andr\u00e9","year":"2019","unstructured":"Andr\u00e9, \u00c9., Arcaini, P., Gargantini, A., Radavelli, M.: Repairing timed automata clock guards through abstraction and testing. In: Beyer, D., Keller, C. (eds.) TAP 2019. LNCS, vol. 11823, pp. 1\u201318. Springer, Heidelberg (2019)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-319-41591-8_17","volume-title":"Software Engineering and Formal Methods","author":"P Arcaini","year":"2016","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E.: SMT-based automatic proof of ASM model refinement. In: De Nicola, R., K\u00fchn, E. (eds.) SEFM 2016. LNCS, vol. 9763, pp. 253\u2013269. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41591-8_17"},{"issue":"2","key":"5_CR9","first-page":"155","volume":"41","author":"Paolo Arcaini","year":"2011","unstructured":"Arcaini, P., Gargantini, A., Riccobene, E., Scandurra, P.: A model-driven process for engineering a toolset for a formal method. Softw.: Practice Exp. 41, 155\u2013166 (2011)","journal-title":"Software: Practice and Experience"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Arcaini, P., Riccobene, E.: Automatic refinement of ASM abstract test cases. In: 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 1\u201310 (2019)","DOI":"10.1109\/ICSTW.2019.00025"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-642-34691-0_10","volume-title":"Testing Software and Systems","author":"B Bannour","year":"2012","unstructured":"Bannour, B., Escobedo, J.P., Gaston, C., Le Gall, P.: Off-line test case generation for timed symbolic model-based conformance testing. In: Nielsen, B., Weise, C. (eds.) ICTSS 2012. LNCS, vol. 7641, pp. 119\u2013135. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34691-0_10"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-319-57288-8_21","volume-title":"NASA Formal Methods","author":"S Bonfanti","year":"2017","unstructured":"Bonfanti, S., Carissoni, M., Gargantini, A., Mashkoor, A.: Asm2C++: a tool for code generation from abstract state machines to arduino. In: Barrett, C., Davies, M., Kahsai, T. (eds.) NFM 2017. LNCS, vol. 10227, pp. 295\u2013301. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57288-8_21"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Bonfanti, S., Gargantini, A., Mashkoor, A.: Generation of C++ unit tests from abstract state machines specifications. In: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 185\u2013193. IEEE (2018)","DOI":"10.1109\/ICSTW.2018.00049"},{"key":"5_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines","author":"Egon B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., Stark, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, New York (2003). https:\/\/doi.org\/10.1007\/978-3-642-18216-7"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-540-68524-1_9","volume-title":"Testing of Software and Communicating Systems","author":"AD Brucker","year":"2008","unstructured":"Brucker, A.D., Br\u00fcgger, L., Wolff, B.: Model-based firewall conformance testing. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) FATES\/TestCom -2008. LNCS, vol. 5047, pp. 103\u2013118. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68524-1_9"},{"issue":"1","key":"5_CR16","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/s10703-017-0312-9","volume":"52","author":"A Cimatti","year":"2018","unstructured":"Cimatti, A., Demasi, R., Tonetta, S.: Tightening the contract refinements of a system architecture. Formal Methods Syst. Des. 52(1), 88\u2013116 (2018)","journal-title":"Formal Methods Syst. Des."},{"issue":"12","key":"5_CR17","doi-asserted-by":"publisher","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, A.R., Yevtushenko, N.: FSM-based conformance testing methods: a survey annotated with experimental evaluation. Inf. Softw. Technol. 52(12), 1286\u20131297 (2010)","journal-title":"Inf. Softw. Technol."},{"issue":"6","key":"5_CR18","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S. Fujiwara","year":"1991","unstructured":"Fujiwara, S., Bochmann, G.V., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state models. IEEE Trans. Softw. Eng. 17(6), 591\u2013603 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR19","unstructured":"Fukada, A., Nakata, A., Kitamichi, J., Higashino, T., Cavalli, A.: A conformance testing method for communication protocols modeled as concurrent DFSMs. Treatment of non-observable non-determinism. In: Proceedings 15th International Conference on Information Networking. IEEE Computer Society (2001)"},{"issue":"11","key":"5_CR20","first-page":"1050","volume":"7","author":"A Gargantini","year":"2001","unstructured":"Gargantini, A., Riccobene, E.: ASM-based testing: coverage criteria and automatic test sequence. J. Univ. Comput. Sci. 7(11), 1050\u20131067 (2001)","journal-title":"J. Univ. Comput. Sci."},{"key":"5_CR21","unstructured":"Garguilo, J.J., Martinez, S., Cherkaoui, M.: Medical device communication: a standards-based conformance testing approach. In: 9th International HL7 Interoperability Conference (2008)"},{"key":"5_CR22","unstructured":"Gebase, L., Snelick, R., Skall, M.: Conformance testing and interoperability: a case study in healthcare data exchange. In: Software Engineering Research and Practice, pp. 143\u2013151 (2008)"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Hemmati, H.: How effective are code coverage criteria? In: 2015 IEEE International Conference on Software Quality, Reliability and Security. IEEE, August 2015","DOI":"10.1109\/QRS.2015.30"},{"issue":"2","key":"5_CR24","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/s10703-010-0106-9","volume":"37","author":"RD Jeffords","year":"2010","unstructured":"Jeffords, R.D., Heitmeyer, C.L., Archer, M.M., Leonard, E.I.: Model-based construction and verification of critical systems using composition and partial refinement. Formal Methods Syst. Des. 37(2), 265\u2013294 (2010)","journal-title":"Formal Methods Syst. Des."},{"issue":"3\/4","key":"5_CR25","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1504\/IJCCBS.2018.096437","volume":"8","author":"Moez Krichen","year":"2018","unstructured":"Krichen, M., Ma\u00e2lej, A.J., Lahami, M.: A model-based approach to combine conformance and load tests: an eHealth case study. Int. J. Critical Comput.-Based Syst. 8(3\/4), 282 (2018)","journal-title":"International Journal of Critical Computer-Based Systems"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Lim, J.H., Park, C., Park, S.J., Lee, K.C.: ISO\/IEEE 11073 PHD message generation toolkit to standardize healthcare device. In: 2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC, pp. 1161\u20131164. IEEE (2011)","DOI":"10.1109\/IEMBS.2011.6090272"},{"key":"5_CR27","volume-title":"Practical Model-Based Testing","author":"BLM Utting","year":"2007","unstructured":"Utting, B.L.M.: Practical Model-Based Testing. Elsevier LTD, Oxford (2007)"},{"key":"5_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-319-89963-3_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Marsso","year":"2018","unstructured":"Marsso, L., Mateescu, R., Serwe, W.: TESTOR: a modular tool for on-the-fly conformance test case generation. In: Beyer, D., Huisman, M. (eds.) TACAS 2018. LNCS, vol. 10806, pp. 211\u2013228. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-89963-3_13"},{"issue":"3","key":"5_CR29","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1109\/TITB.2009.2016086","volume":"13","author":"T Namli","year":"2009","unstructured":"Namli, T., Aluc, G., Dogac, A.: An interoperability test framework for HL7-based systems. IEEE Trans. Inf. Technol. Biomed. 13(3), 389\u2013399 (2009)","journal-title":"IEEE Trans. Inf. Technol. Biomed."},{"key":"5_CR30","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-319-00948-3_7","volume-title":"Software Engineering Research, Management and Applications","author":"S\u00e9bastien Salva","year":"2014","unstructured":"Salva, S., Cao, T.-D.: A model-based testing approach combining passive conformance testing and runtime verification: application to web service compositions deployed in clouds. In: Lee, R. (ed.) Software Engineering Research, Management and Applications. SCI, pp. 99\u2013116. Springer, Heidelberg (2014)"},{"issue":"5","key":"5_CR31","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1109\/TSE.1987.233197","volume":"SE-13","author":"B. Sarikaya","year":"1987","unstructured":"Sarikaya, B., Bochmann, G.V., Cerny, E.: A test design methodology for protocol testing. IEEE Trans. Softw. Eng. SE-13(5), 518\u2013531 (1987)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-319-99927-2_2","volume-title":"Testing Software and Systems","author":"S Bonfanti","year":"2018","unstructured":"Bonfanti, S., Gargantini, A., Mashkoor, A.: Validation of transformation from abstract state machine models to C++ code. In: Medina-Bulo, I., Merayo, M.G., Hierons, R. (eds.) ICTSS 2018. LNCS, vol. 11146, pp. 17\u201332. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99927-2_2"},{"issue":"1\u20132","key":"5_CR33","doi-asserted-by":"publisher","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, P.R.: Testing timed automata. Theoret. Comput. Sci. 254(1\u20132), 225\u2013257 (2001)","journal-title":"Theoret. Comput. Sci."},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Yu, L., Lei, Y., Kacker, R.N., Kuhn, D.R., Sriram, R.D., Brady, K.: A general conformance testing framework for IEEE 11073 PHD\u2019s communication model. In: Proceedings of the 6th International Conference on PErvasive Technologies Related to Assistive Environments, PETRA 2013, pp. 12:1\u201312:8. ACM, New York (2013)","DOI":"10.1145\/2504335.2504347"},{"key":"5_CR35","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/j.scico.2014.04.002","volume":"96","author":"Yang Zhao","year":"2014","unstructured":"Zhao, Y., Rozier, K.Y.: Formal specification and verification of a coordination protocol for an automated air traffic control system. Sci. Comput. Program. 96, 337\u2013353 (2014). Special Issue on Automated Verification of Critical Systems (AVoCS 2012)","journal-title":"Science of Computer Programming"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-31280-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T20:58:46Z","timestamp":1710363526000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-31280-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030312794","9783030312800"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-31280-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"8 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Testing Software and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pts2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ictss2019.centralesupelec.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2,1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}