{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:33Z","timestamp":1750306473677,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,5,4]],"date-time":"2015-05-04T00:00:00Z","timestamp":1430697600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ARTEMIS JU","award":["295373"],"award-info":[{"award-number":["295373"]}]},{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["267989"],"award-info":[{"award-number":["267989"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["S11402-N23, Z211-N23"],"award-info":[{"award-number":["S11402-N23, Z211-N23"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001823","name":"Ministry of Education, Youth and Sports","doi-asserted-by":"publisher","award":["CZ.1.07\/2.3.00\/30.0009"],"award-info":[{"award-number":["CZ.1.07\/2.3.00\/30.0009"]}],"id":[{"id":"10.13039\/501100001823","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["REA 291734"],"award-info":[{"award-number":["REA 291734"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001824","name":"Czech Science Foundation","doi-asserted-by":"publisher","award":["P202\/12\/G061"],"award-info":[{"award-number":["P202\/12\/G061"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,5,4]]},"DOI":"10.1145\/2737166.2737175","type":"proceedings-article","created":{"date-parts":[[2015,4,28]],"date-time":"2015-04-28T12:44:02Z","timestamp":1430225042000},"page":"101-110","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Complete Composition Operators for IOCO-Testing Theory"],"prefix":"10.1145","author":[{"given":"Nikola","family":"Bene\u0161","sequence":"first","affiliation":[{"name":"Masaryk University, Brno, Czech Rep"}]},{"given":"Przemys\u0142aw","family":"Daca","sequence":"additional","affiliation":[{"name":"IST Austria, Klosterneuburg, Austria"}]},{"given":"Thomas A.","family":"Henzinger","sequence":"additional","affiliation":[{"name":"IST Austria, Klosterneuburg, Austria"}]},{"given":"Jan","family":"K\u0159et\u00ednsk\u00fd","sequence":"additional","affiliation":[{"name":"IST Austria, Klosterneuburg, Austria"}]},{"given":"Dejan","family":"Ni\u010dkovi\u0107","sequence":"additional","affiliation":[{"name":"AIT Austrian Institute of Technology GmbH, Vienna, Austria"}]}],"member":"320","published-online":{"date-parts":[[2015,5,4]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40184-8_8"},{"key":"e_1_3_2_1_3_1","volume-title":"ATVA","author":"Bene\u0161 N.","year":"2011","unstructured":"N. Bene\u0161 , I. \u010cern\u00e1 , and J. Kretinsky . Modal transition systems: Composition and LTL model checking . In ATVA , 2011 . N. Bene\u0161, I. \u010cern\u00e1, and J. Kretinsky. Modal transition systems: Composition and LTL model checking. In ATVA, 2011."},{"key":"e_1_3_2_1_4_1","volume-title":"FMCO","author":"Benveniste A.","year":"2007","unstructured":"A. Benveniste , B. Caillaud , A. Ferrari , L. Mangeruca , R. Passerone , and C. Sofronis . Multiple viewpoint contract-based specification and design . In FMCO , 2007 . A. Benveniste, B. Caillaud, A. Ferrari, L. Mangeruca, R. Passerone, and C. Sofronis. Multiple viewpoint contract-based specification and design. In FMCO, 2007."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.50"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646787.703887"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450070"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2089116.2089119"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113738"},{"key":"e_1_3_2_1_11_1","volume-title":"FACS","author":"Noroozi N.","year":"2013","unstructured":"N. Noroozi , M. R. Mousavi , and T. A. C. Willemse . On the complexity of input output conformance testing . In FACS , 2013 . N. Noroozi, M. R. Mousavi, and T. A. C. Willemse. On the complexity of input output conformance testing. In FACS, 2013."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.06.023"},{"key":"e_1_3_2_1_13_1","volume-title":"A modal interface theory for component-based design. Fundam. Inform., 108(1--2):119--149","author":"Raclet J.","year":"2011","unstructured":"J. Raclet , E. Badouel , A. Benveniste , B. Caillaud , A. Legay , and R. Passerone . A modal interface theory for component-based design. Fundam. Inform., 108(1--2):119--149 , 2011 . J. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay, and R. Passerone. A modal interface theory for component-based design. Fundam. Inform., 108(1--2):119--149, 2011."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2009.22"},{"key":"e_1_3_2_1_15_1","volume-title":"outputs and repetitive quiescence. Software - Concepts and Tools, 17(3):103--120","author":"Tretmans J.","year":"1996","unstructured":"J. Tretmans . Test generation with inputs , outputs and repetitive quiescence. Software - Concepts and Tools, 17(3):103--120 , 1996 . J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools, 17(3):103--120, 1996."},{"key":"e_1_3_2_1_16_1","volume-title":"FATES","author":"van der Bijl M.","year":"2003","unstructured":"M. van der Bijl , A. Rensink , and J. Tretmans . Compositional testing with ioco . In FATES , 2003 . M. van der Bijl, A. Rensink, and J. Tretmans. Compositional testing with ioco. In FATES, 2003."},{"key":"e_1_3_2_1_17_1","volume-title":"FMICS\/PDMC","author":"Willemse T. A. C.","year":"2006","unstructured":"T. A. C. Willemse . Heuristics for ioco-based test-based modelling . In FMICS\/PDMC , 2006 . T. A. C. Willemse. Heuristics for ioco-based test-based modelling. In FMICS\/PDMC, 2006."}],"event":{"name":"CompArch '15: Federated Events on Component-Based Software Engineering and Software Architecture","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS\\DATC IEEE Computer Society"],"location":"Montr\u00e9al QC Canada","acronym":"CompArch '15"},"container-title":["Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2737166.2737175","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2737166.2737175","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:11Z","timestamp":1750225691000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2737166.2737175"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,4]]},"references-count":16,"alternative-id":["10.1145\/2737166.2737175","10.1145\/2737166"],"URL":"https:\/\/doi.org\/10.1145\/2737166.2737175","relation":{},"subject":[],"published":{"date-parts":[[2015,5,4]]},"assertion":[{"value":"2015-05-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}