{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:11Z","timestamp":1750219931382,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"BBVA Fundation","award":[""],"award-info":[{"award-number":[""]}]},{"DOI":"10.13039\/501100003086","name":"Eusko Jaurlaritza","doi-asserted-by":"publisher","award":["T1519-22"],"award-info":[{"award-number":["T1519-22"]}],"id":[{"id":"10.13039\/501100003086","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,12]]},"DOI":"10.1145\/3597926.3598117","type":"proceedings-article","created":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T20:12:53Z","timestamp":1689279173000},"page":"1055-1067","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Applying and Extending the Delta Debugging Algorithm for Elevator Dispatching Algorithms (Experience Paper)"],"prefix":"10.1145","author":[{"given":"Pablo","family":"Valle","sequence":"first","affiliation":[{"name":"Mondragon University, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aitor","family":"Arrieta","sequence":"additional","affiliation":[{"name":"Mondragon University, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maite","family":"Arratibel","sequence":"additional","affiliation":[{"name":"Orona, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/3180155.3180160"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/3395363.3397386"},{"key":"e_1_3_2_1_3_1","volume-title":"2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST). 1\u20132.","author":"Ali Shaukat","year":"2015","unstructured":"Shaukat Ali and Tao Yue . 2015 . U-test: evolving, modelling and testing realistic uncertain behaviours of cyber-physical systems . In 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST). 1\u20132. Shaukat Ali and Tao Yue. 2015. U-test: evolving, modelling and testing realistic uncertain behaviours of cyber-physical systems. In 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST). 1\u20132."},{"volume-title":"Principles of cyber-physical systems","author":"Alur Rajeev","unstructured":"Rajeev Alur . 2015. Principles of cyber-physical systems . MIT press . Rajeev Alur. 2015. Principles of cyber-physical systems. MIT press.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","volume-title":"Parameter-Based Testing and Debugging of Autonomous Driving Systems. In 2021 IEEE Intelligent Vehicles Symposium Workshops (IV Workshops). 197\u2013202","author":"Arcaini Paolo","year":"2021","unstructured":"Paolo Arcaini , Alessandro Cal\u00f2 , Fuyuki Ishikawa , Thomas Laurent , Xiao-Yi Zhang , Shaukat Ali , Florian Hauer , and Anthony Ventresque . 2021 . Parameter-Based Testing and Debugging of Autonomous Driving Systems. In 2021 IEEE Intelligent Vehicles Symposium Workshops (IV Workshops). 197\u2013202 . Paolo Arcaini, Alessandro Cal\u00f2, Fuyuki Ishikawa, Thomas Laurent, Xiao-Yi Zhang, Shaukat Ali, Florian Hauer, and Anthony Ventresque. 2021. Parameter-Based Testing and Debugging of Autonomous Driving Systems. In 2021 IEEE Intelligent Vehicles Symposium Workshops (IV Workshops). 197\u2013202."},{"key":"e_1_3_2_1_6_1","volume-title":"Automating Test Oracle Generation in DevOps for Industrial Elevators. In 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). 284\u2013288","author":"Arrieta Aitor","year":"2022","unstructured":"Aitor Arrieta , Maialen Otaegi , Liping Han , Goiuria Sagardui , Shaukat Ali , and Maite Arratibel . 2022 . Automating Test Oracle Generation in DevOps for Industrial Elevators. In 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). 284\u2013288 . Aitor Arrieta, Maialen Otaegi, Liping Han, Goiuria Sagardui, Shaukat Ali, and Maite Arratibel. 2022. Automating Test Oracle Generation in DevOps for Industrial Elevators. In 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). 284\u2013288."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/3532182"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1016\/j.infsof.2019.06.009"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","first-page":"1055","DOI":"10.1109\/TII.2017.2788019","article-title":"Employing multi-objective search to enhance reactive test case generation and prioritization for testing industrial cyber-physical systems","volume":"14","author":"Arrieta Aitor","year":"2017","unstructured":"Aitor Arrieta , Shuai Wang , Urtzi Markiegi , Goiuria Sagardui , and Leire Etxeberria . 2017 . Employing multi-objective search to enhance reactive test case generation and prioritization for testing industrial cyber-physical systems . IEEE Transactions on Industrial Informatics , 14 , 3 (2017), 1055 \u2013 1066 . Aitor Arrieta, Shuai Wang, Urtzi Markiegi, Goiuria Sagardui, and Leire Etxeberria. 2017. Employing multi-objective search to enhance reactive test case generation and prioritization for testing industrial cyber-physical systems. IEEE Transactions on Industrial Informatics, 14, 3 (2017), 1055\u20131066.","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the Genetic and Evolutionary Computation Conference","author":"Arrieta Aitor","year":"2016","unstructured":"Aitor Arrieta , Shuai Wang , Goiuria Sagardui , and Leire Etxeberria . 2016 . Test case prioritization of configurable cyber-physical systems with weight-based search algorithms . In Proceedings of the Genetic and Evolutionary Computation Conference 2016. 1053\u20131060. Aitor Arrieta, Shuai Wang, Goiuria Sagardui, and Leire Etxeberria. 2016. Test case prioritization of configurable cyber-physical systems with weight-based search algorithms. In Proceedings of the Genetic and Evolutionary Computation Conference 2016. 1053\u20131060."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1016\/j.jss.2018.09.055"},{"key":"e_1_3_2_1_12_1","volume-title":"2020 IEEE 28th International Requirements Engineering Conference (RE). 280\u2013290","author":"Ayerdi Jon","year":"2020","unstructured":"Jon Ayerdi , Aitor Garciandia , Aitor Arrieta , Wasif Afzal , Eduard Enoiu , Aitor Agirre , Goiuria Sagardui , Maite Arratibel , and Ola Sellin . 2020 . Towards a taxonomy for eliciting design-operation continuum requirements of cyber-physical systems . In 2020 IEEE 28th International Requirements Engineering Conference (RE). 280\u2013290 . Jon Ayerdi, Aitor Garciandia, Aitor Arrieta, Wasif Afzal, Eduard Enoiu, Aitor Agirre, Goiuria Sagardui, Maite Arratibel, and Ola Sellin. 2020. Towards a taxonomy for eliciting design-operation continuum requirements of cyber-physical systems. In 2020 IEEE 28th International Requirements Engineering Conference (RE). 280\u2013290."},{"key":"e_1_3_2_1_13_1","volume-title":"2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE). 104\u2013114","author":"Ayerdi Jon","year":"2020","unstructured":"Jon Ayerdi , Sergio Segura , Aitor Arrieta , Goiuria Sagardui , and Maite Arratibel . 2020 . Qos-aware metamorphic testing: An elevation case study . In 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE). 104\u2013114 . Jon Ayerdi, Sergio Segura, Aitor Arrieta, Goiuria Sagardui, and Maite Arratibel. 2020. Qos-aware metamorphic testing: An elevation case study. In 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE). 104\u2013114."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/3468264.3473920"},{"key":"e_1_3_2_1_15_1","volume-title":"Cyber-physical systems. The impact of control technology, 12, 1","author":"Baheti Radhakisan","year":"2011","unstructured":"Radhakisan Baheti and Helen Gill . 2011. Cyber-physical systems. The impact of control technology, 12, 1 ( 2011 ), 161\u2013166. Radhakisan Baheti and Helen Gill. 2011. Cyber-physical systems. The impact of control technology, 12, 1 (2011), 161\u2013166."},{"volume-title":"Elevator traffic handbook: theory and practice","author":"Barney Gina","unstructured":"Gina Barney and Lutfi Al-Sharif . 2015. Elevator traffic handbook: theory and practice . Routledge . Gina Barney and Lutfi Al-Sharif. 2015. Elevator traffic handbook: theory and practice. Routledge.","key":"e_1_3_2_1_16_1"},{"doi-asserted-by":"crossref","unstructured":"Ezio Bartocci Niveditha Manjunath Leonardo Mariani Cristinel Mateis and Dejan Ni\u010dkovi\u0107. 2021. CPSDebug: Automatic failure explanation in CPS models. International Journal on Software Tools for Technology Transfer 1\u201314. \t\t\t\t  Ezio Bartocci Niveditha Manjunath Leonardo Mariani Cristinel Mateis and Dejan Ni\u010dkovi\u0107. 2021. CPSDebug: Automatic failure explanation in CPS models. International Journal on Software Tools for Technology Transfer 1\u201314.","key":"e_1_3_2_1_17_1","DOI":"10.1007\/s10009-020-00599-4"},{"key":"e_1_3_2_1_18_1","volume-title":"Search-based Testing for Accurate Fault Localization in CPS. In 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE). 145\u2013156","author":"Bartocci Ezio","year":"2022","unstructured":"Ezio Bartocci , Leonardo Mariani , Dejan Ni\u010dkovi\u0107 , and Drishti Yadav . 2022 . Search-based Testing for Accurate Fault Localization in CPS. In 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE). 145\u2013156 . Ezio Bartocci, Leonardo Mariani, Dejan Ni\u010dkovi\u0107, and Drishti Yadav. 2022. Search-based Testing for Accurate Fault Localization in CPS. In 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE). 145\u2013156."},{"key":"e_1_3_2_1_19_1","volume-title":"2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 305\u2013316","author":"Chen Junjie","year":"2019","unstructured":"Junjie Chen , Guancheng Wang , Dan Hao , Yingfei Xiong , Hongyu Zhang , and Lu Zhang . 2019 . History-guided configuration diversification for compiler test-program generation . In 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 305\u2013316 . Junjie Chen, Guancheng Wang, Dan Hao, Yingfei Xiong, Hongyu Zhang, and Lu Zhang. 2019. History-guided configuration diversification for compiler test-program generation. In 2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE). 305\u2013316."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"e_1_3_2_1_21_1","volume-title":"2018 ACM\/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS). 220\u2013231","author":"Deshmukh Jyotirmoy","year":"2018","unstructured":"Jyotirmoy Deshmukh , Xiaoqing Jin , Rupak Majumdar , and Vinayak Prabhu . 2018 . Parameter optimization in control software using statistical fault localization techniques . In 2018 ACM\/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS). 220\u2013231 . Jyotirmoy Deshmukh, Xiaoqing Jin, Rupak Majumdar, and Vinayak Prabhu. 2018. Parameter optimization in control software using statistical fault localization techniques. In 2018 ACM\/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS). 220\u2013231."},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the ACM\/IEEE 42nd international conference on software engineering. 385\u2013396","author":"Feng Joshua","year":"2020","unstructured":"Garcia, Joshua and Feng , Yang and Shen , Junjie and Almanee , Sumaya and Xia , Yuan and Chen , and Qi Alfred . 2020 . A comprehensive study of autonomous vehicle bugs . In Proceedings of the ACM\/IEEE 42nd international conference on software engineering. 385\u2013396 . Garcia, Joshua and Feng, Yang and Shen, Junjie and Almanee, Sumaya and Xia, Yuan and Chen, and Qi Alfred. 2020. A comprehensive study of autonomous vehicle bugs. In Proceedings of the ACM\/IEEE 42nd international conference on software engineering. 385\u2013396."},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 2020 International Symposium on Software Testing and Analysis.","author":"Gopinath Rahul","year":"2020","unstructured":"Rahul Gopinath , Alexander Kampmann , Nikolas Havrikov , Ezekiel Soremekun , and Andreas Zeller . 2020 . Abstracting Failure-Inducing Inputs . In Proceedings of the 2020 International Symposium on Software Testing and Analysis. Rahul Gopinath, Alexander Kampmann, Nikolas Havrikov, Ezekiel Soremekun, and Andreas Zeller. 2020. Abstracting Failure-Inducing Inputs. In Proceedings of the 2020 International Symposium on Software Testing and Analysis."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1145\/2786805.2786846"},{"unstructured":"Liping Han Shaukat Ali Tao Yue Aitor Arrieta and Maite Arratibel. 2022. Uncertainty-aware Robustness Assessment of Industrial Elevator Systems. ACM Transactions on Software Engineering and Methodology. \t\t\t\t  Liping Han Shaukat Ali Tao Yue Aitor Arrieta and Maite Arratibel. 2022. Uncertainty-aware Robustness Assessment of Industrial Elevator Systems. ACM Transactions on Software Engineering and Methodology.","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1331\u20131342","author":"Han Liping","year":"2022","unstructured":"Liping Han , Tao Yue , Shaukat Ali , Aitor Arrieta , and Maite Arratibel . 2022 . Are elevator software robust against uncertainties? results and experiences from an industrial case study . In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1331\u20131342 . Liping Han, Tao Yue, Shaukat Ali, Aitor Arrieta, and Maite Arratibel. 2022. Are elevator software robust against uncertainties? results and experiences from an industrial case study. In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1331\u20131342."},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the 44th International Conference on Software Engineering. 462\u2013473","author":"Han Ruidong","year":"2022","unstructured":"Ruidong Han , Chao Yang , Siqi Ma , JiangFeng Ma , Cong Sun , Juanru Li , and Elisa Bertino . 2022 . Control parameters considered harmful: Detecting range specification bugs in drone configuration modules via learning-guided search . In Proceedings of the 44th International Conference on Software Engineering. 462\u2013473 . Ruidong Han, Chao Yang, Siqi Ma, JiangFeng Ma, Cong Sun, Juanru Li, and Elisa Bertino. 2022. Control parameters considered harmful: Detecting range specification bugs in drone configuration modules via learning-guided search. In Proceedings of the 44th International Conference on Software Engineering. 462\u2013473."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_28_1","DOI":"10.1145\/347324.348938"},{"doi-asserted-by":"crossref","unstructured":"Dmytro Humeniuk Foutse Khomh and Giuliano Antoniol. 2022. A search-based framework for automatic generation of testing environments for cyber-physical systems. Information and Software Technology 106936. \t\t\t\t  Dmytro Humeniuk Foutse Khomh and Giuliano Antoniol. 2022. A search-based framework for automatic generation of testing environments for cyber-physical systems. Information and Software Technology 106936.","key":"e_1_3_2_1_29_1","DOI":"10.1016\/j.infsof.2022.106936"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1145\/3368089.3409687"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.1002\/stvr.1605"},{"key":"e_1_3_2_1_32_1","volume-title":"2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER). 1, 146\u2013156","author":"Liu Bing","year":"2016","unstructured":"Bing Liu , Shiva Nejati , Lionel Briand , and Thomas Bruckmann . 2016 . Localizing multiple faults in simulink models . In 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER). 1, 146\u2013156 . Bing Liu, Shiva Nejati, Lionel Briand, and Thomas Bruckmann. 2016. Localizing multiple faults in simulink models. In 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER). 1, 146\u2013156."},{"key":"e_1_3_2_1_33_1","volume-title":"2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER). 359\u2013370","author":"Liu Bing","year":"2017","unstructured":"Bing Liu , Shiva Nejati , and Lionel C Briand . 2017 . Improving fault localization for Simulink models using search-based testing and prediction models . In 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER). 359\u2013370 . Bing Liu, Shiva Nejati, and Lionel C Briand. 2017. Improving fault localization for Simulink models using search-based testing and prediction models. In 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER). 359\u2013370."},{"doi-asserted-by":"crossref","unstructured":"Bing Liu Shiva Nejati and Lionel C Briand. 2018. Effective fault localization of automotive Simulink models: achieving the trade-off between test oracle effort and fault localization accuracy. Empirical Software Engineering 1\u201347. \t\t\t\t  Bing Liu Shiva Nejati and Lionel C Briand. 2018. Effective fault localization of automotive Simulink models: achieving the trade-off between test oracle effort and fault localization accuracy. Empirical Software Engineering 1\u201347.","key":"e_1_3_2_1_34_1","DOI":"10.1007\/s10664-018-9611-z"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_35_1","DOI":"10.1109\/ASE51524.2021.9678883"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_36_1","DOI":"10.1145\/2884781.2884797"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_37_1","DOI":"10.1109\/TSE.2018.2811489"},{"key":"e_1_3_2_1_38_1","volume-title":"2020 IEEE\/ACM 42nd International Conference on Software Engineering (ICSE). 372\u2013384","author":"Menghi Claudio","year":"2020","unstructured":"Claudio Menghi , Shiva Nejati , Lionel Briand , and Yago Isasi Parache . 2020 . Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification . In 2020 IEEE\/ACM 42nd International Conference on Software Engineering (ICSE). 372\u2013384 . Claudio Menghi, Shiva Nejati, Lionel Briand, and Yago Isasi Parache. 2020. Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification. In 2020 IEEE\/ACM 42nd International Conference on Software Engineering (ICSE). 372\u2013384."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_39_1","DOI":"10.1145\/3338906.3338920"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_40_1","DOI":"10.1145\/1134285.1134307"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_41_1","DOI":"10.1016\/j.jss.2020.110813"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_42_1","DOI":"10.1145\/3213846.3213852"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_43_1","DOI":"10.1145\/3377811.3380353"},{"key":"e_1_3_2_1_44_1","volume-title":"2022 IEEE 29th International Conference on Software Analysis, Evolution and Reengineering (SANER). 549\u2013553","author":"Valle Pablo","year":"2022","unstructured":"Pablo Valle and Aitor Arrieta . 2022 . Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough? In 2022 IEEE 29th International Conference on Software Analysis, Evolution and Reengineering (SANER). 549\u2013553 . Pablo Valle and Aitor Arrieta. 2022. Towards the Isolation of Failure-Inducing Inputs in Cyber-Physical Systems: is Delta Debugging Enough? In 2022 IEEE 29th International Conference on Software Analysis, Evolution and Reengineering (SANER). 549\u2013553."},{"key":"e_1_3_2_1_45_1","volume-title":"2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 396\u2013408","author":"Valle Pablo","year":"2023","unstructured":"Pablo Valle , Aitor Arrieta , and Maite Arratibel . 2023 . Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms . In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 396\u2013408 . Pablo Valle, Aitor Arrieta, and Maite Arratibel. 2023. Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). 396\u2013408."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_46_1","DOI":"10.1145\/3468264.3468559"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_47_1","DOI":"10.1109\/32.988498"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_48_1","DOI":"10.1007\/s10270-017-0609-6"},{"key":"e_1_3_2_1_49_1","volume-title":"European conference on modelling foundations and applications. 247\u2013264","author":"Zhang Man","year":"2016","unstructured":"Man Zhang , Bran Selic , Shaukat Ali , Tao Yue , Oscar Okariz , and Roland Norgren . 2016 . Understanding uncertainty in cyber-physical systems: a conceptual model . In European conference on modelling foundations and applications. 247\u2013264 . Man Zhang, Bran Selic, Shaukat Ali, Tao Yue, Oscar Okariz, and Roland Norgren. 2016. Understanding uncertainty in cyber-physical systems: a conceptual model. In European conference on modelling foundations and applications. 247\u2013264."},{"key":"e_1_3_2_1_50_1","volume-title":"2018 33rd IEEE\/ACM International Conference on Automated Software Engineering (ASE). 802\u2013807","author":"Zhou Xiang","year":"2018","unstructured":"Xiang Zhou , Xin Peng , Tao Xie , Jun Sun , Wenhai Li , Chao Ji , and Dan Ding . 2018 . Delta debugging microservice systems . In 2018 33rd IEEE\/ACM International Conference on Automated Software Engineering (ASE). 802\u2013807 . Xiang Zhou, Xin Peng, Tao Xie, Jun Sun, Wenhai Li, Chao Ji, and Dan Ding. 2018. Delta debugging microservice systems. In 2018 33rd IEEE\/ACM International Conference on Automated Software Engineering (ASE). 802\u2013807."}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"],"acronym":"ISSTA '23","name":"ISSTA '23: 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis","location":"Seattle WA USA"},"container-title":["Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598117","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597926.3598117","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:42Z","timestamp":1750182522000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597926.3598117"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":50,"alternative-id":["10.1145\/3597926.3598117","10.1145\/3597926"],"URL":"https:\/\/doi.org\/10.1145\/3597926.3598117","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}