{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,14]],"date-time":"2026-07-14T23:09:06Z","timestamp":1784070546436,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,7,17]],"date-time":"2011-07-17T00:00:00Z","timestamp":1310860800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/G009600\/1EP\/I010386\/1"],"award-info":[{"award-number":["EP\/G009600\/1EP\/I010386\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,7,17]]},"DOI":"10.1145\/2001420.2001454","type":"proceedings-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T12:34:54Z","timestamp":1311165294000},"page":"276-286","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Iterative refinement of specification for component based embedded systems"],"prefix":"10.1145","author":[{"given":"Muzammil","family":"Shahbaz","sequence":"first","affiliation":[{"name":"University of Sheffield, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"K. C.","family":"Shashidhar","sequence":"additional","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert","family":"Eschbach","sequence":"additional","affiliation":[{"name":"Fraunhofer IESE, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,7,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31984-9_14"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321211.1321257"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831719"},{"key":"e_1_3_2_1_5_1","volume-title":"CUP","author":"de la Higuera C.","year":"2010","unstructured":"C. de la Higuera . Grammatical Inference : Learning Automata and Grammars . CUP , 2010 . C. de la Higuera. Grammatical Inference: Learning Automata and Grammars. CUP, 2010."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040291.1040292"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2009.2039630"},{"key":"e_1_3_2_1_8_1","volume-title":"European Congress on Embedded Real-Time Software and Systems","author":"Gilberg A. A.","year":"2010","unstructured":"A. A. Gilberg , B. B. Kunkel , C. A. Ribault , D. P. Robin , and E. N. Spinner . Conformance testing for the AUTOSAR standard . In European Congress on Embedded Real-Time Software and Systems , Toulouse, France. , 2010 . A. A. Gilberg, B. B. Kunkel, C. A. Ribault, D. P. Robin, and E. N. Spinner. Conformance testing for the AUTOSAR standard. In European Congress on Embedded Real-Time Software and Systems, Toulouse, France., 2010."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2006.06.001"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/646486.694482"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68524-1_16"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"e_1_3_2_1_14_1","unstructured":"MBtech. PROVEtech:TA. www.mbtech-group.com.  MBtech. PROVEtech:TA. www.mbtech-group.com."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1523336"},{"issue":"2","key":"e_1_3_2_1_16_1","first-page":"225","article-title":"Black box checking. Journal of Automata","volume":"7","author":"Peled D.","year":"2002","unstructured":"D. Peled , M. Y. Vardi , and M. Yannakakis . Black box checking. Journal of Automata , Languages and Combinatorics , 7 ( 2 ): 225 -- 246 , 2002 . D. Peled, M. Y. Vardi, and M. Yannakakis. Black box checking. Journal of Automata, Languages and Combinatorics, 7(2):225--246, 2002.","journal-title":"Languages and Combinatorics"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2005.152"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0049-6"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-009-0111-8"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885930.1885953"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_14"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2007.147"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30538-5_41"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1928028.1928038"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/69575.357231"}],"event":{"name":"ISSTA '11: International Symposium on Software Testing and Analysis","location":"Toronto Ontario Canada","acronym":"ISSTA '11","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2011 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2001420.2001454","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2001420.2001454","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:54Z","timestamp":1750244394000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2001420.2001454"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7,17]]},"references-count":24,"alternative-id":["10.1145\/2001420.2001454","10.1145\/2001420"],"URL":"https:\/\/doi.org\/10.1145\/2001420.2001454","relation":{},"subject":[],"published":{"date-parts":[[2011,7,17]]},"assertion":[{"value":"2011-07-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}