{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T06:26:45Z","timestamp":1763706405203,"version":"3.45.0"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031827020"},{"type":"electronic","value":"9783031827037"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-82703-7_8","type":"book-chapter","created":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T06:49:45Z","timestamp":1737614985000},"page":"163-184","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Automated Flaw Detection for Industrial Robot RESTful Service"],"prefix":"10.1007","author":[{"given":"Yuncheng","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Puzhuo","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yaowen","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongliang","family":"Fang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuaizong","family":"Si","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiwen","family":"Pan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weidong","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Limin","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,1,23]]},"reference":[{"key":"8_CR1","unstructured":"ABB: Abb robotstudio (2023). https:\/\/new.abb.com\/products\/robotics\/zh\/robotstudio"},{"key":"8_CR2","unstructured":"AG, K.: Kuka (2024). https:\/\/www.kuka.com"},{"key":"8_CR3","unstructured":"APIFuzzer: Apifuzzer (2022). https:\/\/github.com\/KissPeter\/APIFuzzer"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Arcuri, A.: Restful api automated test case generation with evomaster. ACM Trans. Softw. Eng. Methodol. (TOSEM) 28(1), 1\u201337 (2019). http:\/\/dx.doi.org\/10.1145\/3293455","DOI":"10.1145\/3293455"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Atlidakis, V., Godefroid, P., Polishchuk, M.: Restler: stateful rest api fuzzing. In: 2019 IEEE\/ACM 41st International Conference on Software Engineering (ICSE), pp. 748\u2013758 (2019). http:\/\/dx.doi.org\/10.1109\/icse.2019.00083","DOI":"10.1109\/ICSE.2019.00083"},{"key":"8_CR6","unstructured":"Bennett, J.: Autoit scripting language (2024). https:\/\/www.autoitscript.com\/site\/autoit\/"},{"key":"8_CR7","unstructured":"Center, A.D.: Robot web service. https:\/\/developercenter.robotstudio.com\/api\/RWS (2020)"},{"key":"8_CR8","unstructured":"Commission, I.E.: Iec 61508\u20131:2010, functional safety of electrical\/electronic\/programmable electronic safety-related systems. Tech. rep, IEC (2010)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Corradini, D., Zampieri, A., Pasqua, M., Viglianisi, E., Dallago, M., Ceccato, M.: Automated black-box testing of nominal and error scenarios in restful apis. Softw. Testing Verification Reliability 32(5), e1808 (2022). http:\/\/dx.doi.org\/10.1002\/stvr.1808","DOI":"10.1002\/stvr.1808"},{"key":"8_CR10","unstructured":"Dailymail: \u201ctesla robot attacks an engineer at company\u2019s texas factory during violent malfunction\u201d (2023). https:\/\/www.dailymail.co.uk\/sciencetech\/article-12869629"},{"key":"8_CR11","unstructured":"Deng, G., et al.: Nautilus: automated restful api vulnerability detection. In: 32nd USENIX Security Symposium (USENIX Security 23), pp. 5593\u20135609 (2023). https:\/\/dlnext.acm.org\/doi\/10.5555\/3620237.3620550"},{"key":"8_CR12","unstructured":"Du, W., et al.: Vulnerability-oriented testing for restful apis. In: 33rd USENIX Security Symposium (USENIX Security 24), pp. 739\u2013755 (2024)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Ed-Douibi, H., Izquierdo, J.L.C., Cabot, J.: Automatic generation of test cases for rest apis: A specification-based approach. In: 2018 IEEE 22nd international enterprise distributed object computing conference (EDOC). pp. 181\u2013190. IEEE (2018), http:\/\/dx.doi.org\/10.1109\/edoc.2018.00031","DOI":"10.1109\/EDOC.2018.00031"},{"key":"8_CR14","unstructured":"Fielding, R.T., Taylor, R.N.: Architectural Styles and the Design of Network-based Software Architectures. Ph.D. thesis, University of California, Irvine (2000)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Gamez-Diaz, A., Fernandez, P., Ruiz-Cortes, A.: An analysis of restful apis offerings in the industry. In: International Conference on Service-Oriented Computing, pp. 589\u2013604. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-319-69035-3_43","DOI":"10.1007\/978-3-319-69035-3_43"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Huang, B.Y., Polishchuk, M.: Intelligent rest api data fuzzing. In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 725\u2013736 (2020). http:\/\/dx.doi.org\/10.1145\/3368089.3409719","DOI":"10.1145\/3368089.3409719"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Gosewehr, F., Wermann, J., Borsych, W., Colombo, A.W.: Specification and design of an industrial manufacturing middleware. In: 2017 IEEE 15th International Conference on Industrial Informatics (INDIN), pp. 1160\u20131166. IEEE (2017). http:\/\/dx.doi.org\/10.1109\/indin.2017.8104937","DOI":"10.1109\/INDIN.2017.8104937"},{"key":"8_CR18","unstructured":"Group, A.: Abb (2024). https:\/\/global.abb\/group\/en"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"H\u00e4gele, M., Nilsson, K., Pires, J.N., Bischoff, R.: Industrial robotics. Springer handbook of robotics, pp. 1385\u20131422 (2016). https:\/\/doi.org\/10.1007\/978-3-319-32552-1_54","DOI":"10.1007\/978-3-319-32552-1_54"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Hatfield-Dodds, Z., Dygalo, D.: Deriving semantics-aware fuzzers from web api schemas. In: Proceedings of the ACM\/IEEE 44th International Conference on Software Engineering: Companion Proceedings, pp. 345\u2013346 (2022), http:\/\/dx.doi.org\/10.1109\/icse-companion55297.2022.9793781","DOI":"10.1145\/3510454.3528637"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Heyer, C.: Human-robot interaction and future industrial robotics applications. In: 2010 IEEE\/RSJ International Conference on Intelligent Robots and Systems, pp. 4749\u20134754. IEEE (2010). http:\/\/dx.doi.org\/10.1109\/iros.2010.5651294","DOI":"10.1109\/IROS.2010.5651294"},{"key":"8_CR22","unstructured":"Hils, M.: An interactive https proxy (2024). https:\/\/mitmproxy.org"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Hodov\u00e1n, R., Kiss, \u00c1., Gyim\u00f3thy, T.: Grammarinator: a grammar-based open source fuzzer. In: Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, pp. 45\u201348 (2018). http:\/\/dx.doi.org\/10.1145\/3278186.3278193","DOI":"10.1145\/3278186.3278193"},{"key":"8_CR24","unstructured":"ISO: Robots and robotic devices - Safety requirements for industrial robots - Part 2: Robot systems and integration. Standard ISO 10218-2:2011(E) (2011)"},{"key":"8_CR25","unstructured":"ISO: Robotics - Vocabulary. Standard ISO 8373:2021(E) (2021)"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Li, C., Park, J., Kim, H., Chrysostomou, D.: How can i help you? an intelligent virtual assistant for industrial robots. In: Companion of the 2021 ACM\/IEEE International Conference on Human-Robot Interaction, pp. 220\u2013224. ACM (2021). http:\/\/dx.doi.org\/10.1145\/3434074.3447163","DOI":"10.1145\/3434074.3447163"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Liu, Y., et al.: Morest: model-based restful api testing with execution feedback. In: 2022 IEEE\/ACM 44th International Conference on Software Engineering (ICSE), pp. 1406\u20131417 (2022). http:\/\/dx.doi.org\/10.1145\/3510003.3510133","DOI":"10.1145\/3510003.3510133"},{"key":"8_CR28","unstructured":"OpenAI: Gpt-4 (2024). https:\/\/openai.com\/gpt-4"},{"key":"8_CR29","unstructured":"OpenAPI: Openapi initiative (2024). https:\/\/www.openapis.org"},{"key":"8_CR30","unstructured":"OpenAPI: Swagger (2024). https:\/\/swagger.io"},{"key":"8_CR31","unstructured":"OWASP: The owasp zed attack proxy (zap) (2024). https:\/\/www.zaproxy.org"},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"Pogliani, M., Maggi, F., Balduzzi, M., Quarta, D., Zanero, S.: Detecting insecure code patterns in industrial robot programs. In: Proceedings of the 15th ACM Asia Conference on Computer and Communications Security (2020). http:\/\/dx.doi.org\/10.1145\/3320269.3384735","DOI":"10.1145\/3320269.3384735"},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"Pogliani, M., Quarta, D., Polino, M., Vittone, M., Maggi, F., Zanero, S.: Security of controlled manufacturing systems in the connected factory: the case of industrial robots. J. Comput. Virology Hacking Tech. 15, 161 \u2013 175 (2019). http:\/\/dx.doi.org\/10.1007\/s11416-019-00329-8","DOI":"10.1007\/s11416-019-00329-8"},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"Quarta, D., Pogliani, M., Polino, M., Maggi, F., Zanchettin, A.M., Zanero, S.: An experimental security analysis of an industrial robot controller. In: 2017 IEEE Symposium on Security and Privacy (SP), pp. 268\u2013286 (2017). http:\/\/dx.doi.org\/10.1109\/sp.2017.20","DOI":"10.1109\/SP.2017.20"},{"key":"8_CR35","unstructured":"of\u00a0Robotics, I.F.: World robotics 2023 report (2023). https:\/\/ifr.org\/ifr-press-releases\/news\/world-robotics-2023-report-asia-ahead-of-europe-and-the-americas"},{"key":"8_CR36","unstructured":"Sandiland, D.: Stop spending millions on robot downtime now (2022). https:\/\/www.robotics247.com\/article\/stop_spending_millions_on_robot_downtime_now\/supply_chain"},{"key":"8_CR37","doi-asserted-by":"crossref","unstructured":"Souza, R., Pinho, F., Olivi, L., Cardozo, E.: A restful platform for networked robotics. In: 2013 10th International Conference on Ubiquitous Robots and Ambient Intelligence (URAI), pp. 423\u2013428. IEEE (2013). http:\/\/dx.doi.org\/10.1109\/urai.2013.6677301","DOI":"10.1109\/URAI.2013.6677301"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-82703-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T06:13:51Z","timestamp":1763705631000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-82703-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031827020","9783031827037"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-82703-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"23 January 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"VMCAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Verification, Model Checking, and Abstract Interpretation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denver, CO","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 January 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 January 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"vmcai2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/VMCAI-2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}