{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:22:00Z","timestamp":1750220520177,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T00:00:00Z","timestamp":1604188800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004608","name":"Natural Science Foundation of Jiangsu Province","doi-asserted-by":"publisher","award":["BK20190299"],"award-info":[{"award-number":["BK20190299"]}],"id":[{"id":"10.13039\/501100004608","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61932021,61902173"],"award-info":[{"award-number":["61932021,61902173"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,11]]},"DOI":"10.1145\/3457913.3457919","type":"proceedings-article","created":{"date-parts":[[2021,7,22]],"date-time":"2021-07-22T04:09:06Z","timestamp":1626926946000},"page":"146-155","source":"Crossref","is-referenced-by-count":1,"title":["Simulated or Physical? An Empirical Study on Input Validation for Context-aware Systems in Different Environments"],"prefix":"10.1145","author":[{"given":"Jinchi","family":"Chen","sequence":"first","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, CN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Qin","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, CN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huiyan","family":"Wang","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, CN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chang","family":"Xu","sequence":"additional","affiliation":[{"name":"State Key Laboratory for Novel Software Technology, Nanjing University, CN"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,7,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"[ 1 ] L\u00fc J Ma X Huang Y etal Internetware: a shift of software paradigm[C]\/\/Proceedings of the First Asia-Pacific Symposium on Internetware. 2009: 1-9. [1] L\u00fc J Ma X Huang Y et al. Internetware: a shift of software paradigm[C]\/\/Proceedings of the First Asia-Pacific Symposium on Internetware. 2009: 1-9.","DOI":"10.1145\/1640206.1640213"},{"key":"e_1_3_2_1_2_1","unstructured":"[ 2 ] https:\/\/www.dji.com\/cn\/robomaster-s1. [2] https:\/\/www.dji.com\/cn\/robomaster-s1."},{"key":"e_1_3_2_1_3_1","unstructured":"[ 3 ] https:\/\/unity.com. [3] https:\/\/unity.com."},{"key":"e_1_3_2_1_4_1","unstructured":"[ 4 ] https:\/\/link.springer.com\/chapter\/10.1007\/978-3-030-00262-6_11. [4] https:\/\/link.springer.com\/chapter\/10.1007\/978-3-030-00262-6_11."},{"key":"e_1_3_2_1_5_1","unstructured":"[ 5 ] https:\/\/www.bbc.com\/news\/technology-48308852. [5] https:\/\/www.bbc.com\/news\/technology-48308852."},{"volume-title":"Preliminary Report on the Lion Air B737 MAX 8 accident","year":"2018","author":"National Transportation Safety Committee of Indonesian","key":"e_1_3_2_1_6_1"},{"issue":"4","key":"e_1_3_2_1_7_1","first-page":"427","article-title":"How context inconsistency and its resolution impact context-aware applications[J]","volume":"8","author":"Xi W","year":"2014","journal-title":"Journal of Frontiers of Computer Science and Technology"},{"volume-title":"Uncertainty in self-adaptive software systems[M]\/\/Software Engineering for Self-Adaptive Systems II","year":"2013","author":"Esfahani N","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1145\/3377811.3380379","volume-title":"Proceedings of the 42nd ACM\/IEEE International Conference on Software Engineering (ICSE 2020","author":"Huiyan Wang","year":"2020"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/839268.839271"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1656250.1656253"},{"volume-title":"Fixing inconsistencies in UML design models[C]\/\/29th International Conference on Software Engineering (ICSE\u201907)","year":"2007","author":"Egyed A.","key":"e_1_3_2_1_12_1"},{"volume-title":"Query processing in sensor networks[J]","year":"2004","author":"Gehrke J","key":"e_1_3_2_1_13_1"},{"volume-title":"Consistency management for complex applications[C]\/\/Proceedings of the 20th international conference on Software engineering","year":"1998","author":"Tarr P","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.04.078"},{"volume-title":"The Daikon system for dynamic detection of likely invariants[J]. Science of computer programming","year":"2007","author":"Ernst M D","key":"e_1_3_2_1_16_1"},{"volume-title":"Invariant Inferring and Monitoring in Robotic Systems[J]","year":"2014","author":"Jiang H.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106282"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2019.2933324"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/514183.514186"},{"volume-title":"Cheng B H C, et al. Automatically exploring how uncertainty impacts behavior of dynamically adaptive systems[C]\/\/2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE","year":"2011","author":"Ramirez A J","key":"e_1_3_2_1_21_1"},{"volume-title":"Deepxplore: Automated whitebox testing of deep learning systems[C]\/\/proceedings of the 26th Symposium on Operating Systems Principles. 2017: 1-18","author":"Pei K","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"[ 23 ] Chu X Morcos J Ilyas I F etal Katara: A data cleaning system powered by knowledge bases and crowdsourcing[C]\/\/Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data. 2015: 1247-1261. [23] Chu X Morcos J Ilyas I F et al. Katara: A data cleaning system powered by knowledge bases and crowdsourcing[C]\/\/Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data. 2015: 1247-1261.","DOI":"10.1145\/2723372.2749431"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.11"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.35"},{"volume-title":"Automated generation of context-aware tests[C]\/\/29th International Conference on Software Engineering (ICSE\u201907)","year":"2007","author":"Wang Z","key":"e_1_3_2_1_26_1"},{"volume-title":"Deeptest: Automated testing of deep-neural-network-driven autonomous cars[C]\/\/Proceedings of the 40th international conference on software engineering. 2018: 303-314","author":"Tian Y","key":"e_1_3_2_1_27_1"}],"event":{"name":"Internetware'20: 12th Asia-Pacific Symposium on Internetware","acronym":"Internetware'20","location":"Singapore Singapore"},"container-title":["12th Asia-Pacific Symposium on Internetware"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3457913.3457919","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3457913.3457919","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:38Z","timestamp":1750195478000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3457913.3457919"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11]]},"references-count":27,"alternative-id":["10.1145\/3457913.3457919","10.1145\/3457913"],"URL":"https:\/\/doi.org\/10.1145\/3457913.3457919","relation":{},"subject":[],"published":{"date-parts":[[2020,11]]}}}