{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:51Z","timestamp":1750306491868,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,9,28]],"date-time":"2015-09-28T00:00:00Z","timestamp":1443398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,9,28]]},"DOI":"10.1145\/2811681.2811691","type":"proceedings-article","created":{"date-parts":[[2015,11,5]],"date-time":"2015-11-05T20:49:20Z","timestamp":1446756560000},"page":"49-53","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Efficient Testing based on Logical Architecture"],"prefix":"10.1145","author":[{"given":"Huai","family":"Liu","sequence":"first","affiliation":[{"name":"RMIT University, Melbourne, Australia"}]},{"given":"Maria","family":"Spichkova","sequence":"additional","affiliation":[{"name":"RMIT University, Melbourne, Australia"}]},{"given":"Heinz W.","family":"Schmidt","sequence":"additional","affiliation":[{"name":"RMIT University, Melbourne, Australia"}]},{"given":"Andreas","family":"Ulrich","sequence":"additional","affiliation":[{"name":"Siemens AG, Corporate Technology, Munich, Germany"}]},{"given":"Horst","family":"Sauer","sequence":"additional","affiliation":[{"name":"Siemens AG, Corporate Technology, Munich, Germany"}]},{"given":"Jan","family":"Wieghardt","sequence":"additional","affiliation":[{"name":"Siemens AG, Corporate Technology, Munich, Germany"}]}],"member":"320","published-online":{"date-parts":[[2015,9,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASEW.2008.4686294"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-3532-2_2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2013.2240898"},{"key":"e_1_3_2_1_4_1","unstructured":"European Telecommunications Standards Institute (ETSI). http:\/\/www.etsi.org\/.  European Telecommunications Standards Institute (ETSI). http:\/\/www.etsi.org\/."},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. of UCAAT'14","author":"Fr\u00f6hlich J.","year":"2014","unstructured":"J. Fr\u00f6hlich , S. Jell , and A. Ulrich . Applying TDL to describe tests of a distributed RT control system . In Proc. of UCAAT'14 , 2014 . J. Fr\u00f6hlich, S. Jell, and A. Ulrich. Applying TDL to describe tests of a distributed RT control system. In Proc. of UCAAT'14, 2014."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1318471.1318532"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000259.2000263"},{"key":"e_1_3_2_1_8_1","unstructured":"M. Spichkova. Formalisation and analysis of component dependencies. Archive of Formal Proofs.  M. Spichkova. Formalisation and analysis of component dependencies. Archive of Formal Proofs."},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. of WAHESE'15","author":"Spichkova M.","year":"2015","unstructured":"M. Spichkova , H. Liu , M. Laali , and H. Schmidt . Human factors in software reliability engineering . In Proc. of WAHESE'15 , 2015 . in press. M. Spichkova, H. Liu, M. Laali, and H. Schmidt. Human factors in software reliability engineering. In Proc. of WAHESE'15, 2015. in press."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/APSCC.2014.29"},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. of MODELSWARD'13","author":"Spichkova M.","year":"2013","unstructured":"M. Spichkova , X. Zhu , and D. Mou . Do we really need to write documentation for a system ? In Proc. of MODELSWARD'13 , 2013 . arXiv:1404.7265. M. Spichkova, X. Zhu, and D. Mou. Do we really need to write documentation for a system? In Proc. of MODELSWARD'13, 2013. arXiv:1404.7265."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00402648"},{"key":"e_1_3_2_1_13_1","first-page":"601","volume-title":"Proc. of MODELSWARD'14","author":"Ulrich A.","year":"2014","unstructured":"A. Ulrich , S. Jell , A. Votintseva , and A. Kull . The ETSI Test Description Language TDL and its application . In Proc. of MODELSWARD'14 , pages 601 -- 608 , 2014 . A. Ulrich, S. Jell, A. Votintseva, and A. Kull. The ETSI Test Description Language TDL and its application. In Proc. of MODELSWARD'14, pages 601--608, 2014."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2819009.2819135"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"}],"event":{"name":"ASWEC ' 15 Vol. II: ASWEC 2015 24th Australasian Software Engineering Conference","sponsor":["Australian Comp Soc Australian Computer Society"],"location":"Adelaide SA Australia","acronym":"ASWEC ' 15 Vol. II"},"container-title":["Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2811681.2811691","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2811681.2811691","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:38Z","timestamp":1750225718000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2811681.2811691"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,28]]},"references-count":15,"alternative-id":["10.1145\/2811681.2811691","10.1145\/2811681"],"URL":"https:\/\/doi.org\/10.1145\/2811681.2811691","relation":{},"subject":[],"published":{"date-parts":[[2015,9,28]]},"assertion":[{"value":"2015-09-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}