{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T10:47:33Z","timestamp":1784371653614,"version":"3.55.0"},"reference-count":15,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.111.5","type":"journal-article","created":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T16:50:19Z","timestamp":1362156619000},"page":"51-66","source":"Crossref","is-referenced-by-count":6,"title":["Decomposability in Input Output Conformance Testing"],"prefix":"10.4204","volume":"111","author":[{"given":"Neda","family":"Noroozi","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology Eindhoven, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohammad Reza","family":"Mousavi","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology Eindhoven, The Netherlands and Center for Research on Embedded Systems (CERES), Halmstad University, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tim A.C.","family":"Willemse","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology Eindhoven, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2720","published-online":{"date-parts":[[2013,3,2]]},"reference":[{"key":"AsaadiKMN11","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-642-29320-7_17","article-title":"Towards Model-Based Testing of Electronic Funds Transfer Systems","volume-title":"FSEN","volume":"7141","author":"Asaadi","year":"2011"},{"key":"Berezin98","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/3-540-49213-5_4","article-title":"Compositional Reasoning in Model Checking","volume-title":"Compositionality: The Significant Difference","volume":"1536","author":"Berezin","year":"1998"},{"key":"BijlRT03","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-24617-6_7","article-title":"Compositional Testing with ioco","volume-title":"FATES","volume":"2931","author":"van der Bijl","year":"2003"},{"issue":"4","key":"VriesT00","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/s100090050044","article-title":"On-the-fly Conformance Testing using SPIN","volume":"2","author":"de Vries","year":"2000","journal-title":"STTT"},{"key":"FrantzenT06","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-74792-5_1","article-title":"Model-Based Testing of Environmental Conformance of Components","volume-title":"FMCO","volume":"4709","author":"Frantzen","year":"2006"},{"issue":"3","key":"Giannakopoulou05","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s10515-005-2641-y","article-title":"Component Verification with Automatically Generated Assumptions","volume":"12","author":"Giannakopoulou","year":"2005","journal-title":"Autom. Softw. Eng."},{"key":"Kupferman98","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/3-540-49213-5_4","article-title":"Modular model checking","volume-title":"Compositionality: The Significant Difference","volume":"1536","author":"Kupferman","year":"1998"},{"key":"Neda11","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-642-24690-6_23","article-title":"Synchronizing Asynchronous Conformance Testing","volume-title":"SEFM","volume":"7041","author":"Noroozi","year":"2011"},{"key":"Pasareanu99","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-48234-2_14","article-title":"Assume-Guarantee Model Checking of Software: A Comparative Case Study","volume-title":"Theoretical and Practical Aspects of SPIN Model Checking","volume":"1680","author":"Pasareanu","year":"1999"},{"issue":"11","key":"SimaoP11","doi-asserted-by":"publisher","first-page":"1252","DOI":"10.1016\/j.infsof.2011.06.006","article-title":"Generating asynchronous test cases from test purposes","volume":"53","author":"Sim\u00e3o","year":"2011","journal-title":"Information & Software Technology"},{"issue":"3","key":"Tretmans96","first-page":"103","article-title":"Test Generation with Inputs, Outputs and Repetitive Quiescence","volume":"17","author":"Tretmans","year":"1996","journal-title":"Software - Concepts and Tools"},{"key":"Tretmans08","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","article-title":"Model Based Testing with Labelled Transition Systems","volume-title":"Formal Methods and Testing","volume":"4949","author":"Tretmans","year":"2008"},{"key":"unknownComponent","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68759-9","volume-title":"The Unknown Component Problem, Theory and Applications","author":"Villa","year":"2012"},{"key":"WeiglhoferW09","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1109\/COMPSAC.2009.194","article-title":"Asynchronous Input-Output Conformance Testing","volume-title":"COMPSAC","author":"Weiglhofer","year":"2009"},{"key":"Willemse","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-70952-7_9","article-title":"Heuristics for ioco -Based Test-Based Modelling","volume-title":"FMICS\/PDMC","volume":"4346","author":"Willemse","year":"2006"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2013,3,7]],"date-time":"2013-03-07T18:24:20Z","timestamp":1362680660000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/arxiv.org\/abs\/1303.1009v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,2]]},"references-count":15,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.4204\/eptcs.111.5","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,2]]}}}