{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T13:59:30Z","timestamp":1742997570046,"version":"3.40.3"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030217587"},{"type":"electronic","value":"9783030217594"}],"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-21759-4_7","type":"book-chapter","created":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T23:30:20Z","timestamp":1559518220000},"page":"111-128","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Component-aware Input-Output Conformance"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Graf-Brill","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,29]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","unstructured":"Benes, N., Daca, P., Henzinger, T.A., Kret\u00ednsk\u00fd, J., Nickovic, D.: Complete composition operators for IOCO-testing theory. In: Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015, Montreal, QC, Canada, 4\u20138 May 2015, pp. 101\u2013110 (2015). https:\/\/doi.org\/10.1145\/2737166.2737175","DOI":"10.1145\/2737166.2737175"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-24617-6_7","volume-title":"Formal Approaches to Software Testing","author":"M van der Bijl","year":"2004","unstructured":"van der Bijl, M., Rensink, A., Tretmans, J.: Compositional testing with ioco. In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 86\u2013100. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24617-6_7"},{"issue":"4","key":"7_CR3","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/j.entcs.2006.09.003","volume":"164","author":"NCWM Braspenning","year":"2006","unstructured":"Braspenning, N.C.W.M., van de Mortel-Fronczak, J.M., Rooda, J.E.: A model-based integration and testing method to reduce system development effort. Electron. Notes Theor. Comput. Sci. 164(4), 13\u201328 (2006). https:\/\/doi.org\/10.1016\/j.entcs.2006.09.003","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"7_CR4","unstructured":"CAN in Automation International Users and Manufacturers Group e.V.: CiA 301 CANopen Application Layer and Comm. Profile, v. 4.2.0, February 2011"},{"key":"7_CR5","unstructured":"CAN in Automation International Users and Manufacturers Group e.V., EnergyBus e.V.: CiA 454 Draft Standard Proposal Application profile for energy management systems - doc. series 1\u201314, v. 2.0.0, June 2014"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-39955-8_8","volume-title":"Multicore Software Engineering, Performance, and Tools","author":"R Carver","year":"2013","unstructured":"Carver, R., Lei, Y.: A modular approach to model-based testing of concurrent programs. In: Louren\u00e7o, J.M., Farchi, E. (eds.) MUSEPAT 2013. LNCS, vol. 8063, pp. 85\u201396. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39955-8_8"},{"key":"7_CR7","doi-asserted-by":"publisher","unstructured":"Daca, P., Henzinger, T.A., Krenn, W., Nickovic, D.: Compositional specifications for IOCO testing. In: Seventh IEEE International Conference on Software Testing, Verification and Validation, ICST 2014, Cleveland, Ohio, USA, 31 March\u20134 April 2014, pp. 373\u2013382. IEEE Computer Society (2014). https:\/\/doi.org\/10.1109\/ICST.2014.50","DOI":"10.1109\/ICST.2014.50"},{"issue":"2","key":"7_CR8","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/BF00264365","volume":"24","author":"R De Nicola","year":"1987","unstructured":"De Nicola, R.: Extensional equivalences for transition systems. Acta Inf. 24(2), 211\u2013237 (1987). https:\/\/doi.org\/10.1007\/BF00264365","journal-title":"Acta Inf."},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R De Nicola","year":"1984","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theor. Comput. Sci. 34, 83\u2013133 (1984). https:\/\/doi.org\/10.1016\/0304-3975(84)90113-0","journal-title":"Theor. Comput. Sci."},{"issue":"4\u20135","key":"7_CR10","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s00236-015-0226-1","volume":"52","author":"H Garavel","year":"2015","unstructured":"Garavel, H., Lang, F., Mateescu, R.: Compositional verification of asynchronousconcurrent systems using CADP. Acta Inf. 52(4\u20135), 337\u2013392 (2015). https:\/\/doi.org\/10.1007\/s00236-015-0226-1","journal-title":"Acta Inf."},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/11754008_15","volume-title":"Testing of Communicating Systems","author":"R Gotzhein","year":"2006","unstructured":"Gotzhein, R., Khendek, F.: Compositional testing of communication systems. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol. 3964, pp. 227\u2013244. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11754008_15"},{"issue":"5","key":"7_CR12","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/BF01211911","volume":"8","author":"S Graf","year":"1996","unstructured":"Graf, S., Steffen, B., L\u00fcttgen, G.: Compositional minimisation of finitestate systems using interface specifications. Formal Aspects Comput. 8(5), 607\u2013616 (1996). https:\/\/doi.org\/10.1007\/BF01211911","journal-title":"Formal Aspects Comput."},{"key":"7_CR13","doi-asserted-by":"publisher","unstructured":"Graf-Brill, A., Hartmanns, A., Hermanns, H., Rose, S.: Modelling and certification for electric mobility. In: 15th IEEE International Conference on Industrial Informatics, INDIN 2017, Emden, Germany, 24\u201326 July 2017, pp. 109\u2013114. IEEE (2017). https:\/\/doi.org\/10.1109\/INDIN.2017.8104755","DOI":"10.1109\/INDIN.2017.8104755"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-319-67113-0_5","volume-title":"Critical Systems: Formal Methods and Automated Verification","author":"A Graf-Brill","year":"2017","unstructured":"Graf-Brill, A., Hermanns, H.: Model-based testing for asynchronous systems. In: Petrucci, L., Seceleanu, C., Cavalcanti, A. (eds.) FMICS\/AVoCS -2017. LNCS, vol. 10471, pp. 66\u201382. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67113-0_5"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-662-43613-4_6","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"A Graf-Brill","year":"2014","unstructured":"Graf-Brill, A., Hermanns, H., Garavel, H.: A model-based certification framework for the EnergyBus standard. In: \u00c1brah\u00e1m, E., Palamidessi, C. (eds.) FORTE 2014. LNCS, vol. 8461, pp. 84\u201399. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-43613-4_6"},{"key":"7_CR16","unstructured":"Heerink, L.: Ins and Outs in refusal testing. Ph.D. thesis, University of Twente, Enschede, Netherlands (1998)"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/BFb0028765","volume-title":"Computer Aided Verification","author":"TA Henzinger","year":"1998","unstructured":"Henzinger, T.A., Qadeer, S., Rajamani, S.K.: You assume, we guarantee: methodology and case studies. In: Hu, A.J., Vardi, M.Y. (eds.) CAV 1998. LNCS, vol. 1427, pp. 440\u2013451. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0028765"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Janssen, R., Tretmans, J.: Matching implementations to specifications: the corner cases of IOCO. In: ACM\/SIGAPP Symp. on Applied Computing - Software Verification and Testing Track, pp. 2196\u20132205. ACM, USA (2019). https:\/\/sumbat.cs.ru.nl\/Publications","DOI":"10.1145\/3297280.3297496"},{"key":"7_CR19","unstructured":"Langerak, R.: A testing theory for LOTOS using Deadlock detection. In: Brinksma, E., Scollo, G., Vissers, C.A. (eds.) Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6\u20139 June, 1989, pp. 87\u201398. North-Holland (1989)"},{"key":"7_CR20","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"},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"51","DOI":"10.4204\/EPTCS.111.5","volume":"111","author":"Neda Noroozi","year":"2013","unstructured":"Noroozi, N., Mousavi, M.R., Willemse, T.A.C.: Decomposability in input output conformance testing. In: Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013, pp. 51\u201366 (2013). https:\/\/doi.org\/10.4204\/EPTCS.111.5","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"7_CR22","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0304-3975(87)90117-4","volume":"50","author":"I Phillips","year":"1987","unstructured":"Phillips, I.: Refusal testing. Theor. Comput. Sci. 50, 241\u2013284 (1987). https:\/\/doi.org\/10.1016\/0304-3975(87)90117-4","journal-title":"Theor. Comput. Sci."},{"key":"7_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing","author":"J Tretmans","year":"2008","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) Formal Methods and Testing. LNCS, vol. 4949, pp. 1\u201338. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78917-8_1"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Objects, Components, and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-21759-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T00:03:31Z","timestamp":1685750611000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-21759-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030217587","9783030217594"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-21759-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"29 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Techniques for Distributed Objects, Components, and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Copenhagen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","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":"17 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"39","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"forte2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.discotec.org\/2019\/forte","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":"42","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":"15","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":"36% - 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.1","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":"5","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"}]}}