ASE 2023 (series) / Journal-first Papers /
Automated Identification and Qualitative Characterization of Safety Concerns Reported in UAV Software Platforms
| J1 presentation: “Automated Identification and Qualitative Characterization of Safety Concerns Reported in UAV Software Platforms”. Transactions on Software Engineering and Methodology. (ASE2023-UAV-safety-bugs_compressed.pdf) | 6.38MiB |
Wed 13 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 13 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:30 - 17:00 | Autonomous Systems and AgentsResearch Papers / NIER Track / Journal-first Papers / Tool Demonstrations at Room E Chair(s): Alessio Gambi IMC University of Applied Sciences Krems | ||
15:30 12mTalk | TEASER: Simulation-based CAN Bus Regression Testing for Self-driving Cars Software Tool Demonstrations Christian Birchler Zurich University of Applied Sciences, Cyrill Rohrbach University of Bern, Switzerland, Hyeongkyun Kim University of Zurich, Switzerland, Alessio Gambi IMC University of Applied Sciences Krems, Tianhai Liu aicas GmbH, Germany, Jens Horneber aicas GmbH, Germany, Timo Kehrer University of Bern, Sebastiano Panichella Zurich University of Applied Sciences Pre-print File Attached | ||
15:42 12mTalk | Automated Identification and Qualitative Characterization of Safety Concerns Reported in UAV Software Platforms Journal-first Papers Andrea Di Sorbo University of Sannio, Fiorella Zampetti University of Sannio, Italy, Corrado A. Visaggio University of Sannio, Italy, Massimiliano Di Penta University of Sannio, Italy, Sebastiano Panichella Zurich University of Applied Sciences File Attached | ||
15:54 12mTalk | Towards a Formal Framework for Normative Requirements Elicitation NIER Track Nick Feng University of Toronto, Lina Marsso University of Toronto, Sinem Getir Yaman University of York, UK, Beverley Townsend University of York, Ana Cavalcanti University of York, Radu Calinescu University of York, UK, Marsha Chechik University of Toronto File Attached | ||
16:06 12mTalk | Detecting Smart Home Automation Application Interferences with Domain Knowledge Research Papers Tao Wang Institute of Software at Chinese Academy of Sciences, Wei Chen Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Nanjing College, Liwei Liu Institute of Software at Chinese Academy of Sciences, Guoquan Wu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Nanjing College; China Southern Power Grid, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing School, Tao Huang Institute of Software Chinese Academy of Sciences Pre-print File Attached | ||
16:18 12mTalk | CompSuite: A Dataset of Java Library Upgrade Incompatibility Issues Tool Demonstrations Xiufeng Xu Nanyang Technological University, Chenguang Zhu Meta, Yi Li Nanyang Technological University Pre-print Media Attached File Attached | ||
16:30 12mTalk | A Comprehensive Study on Code Clones in Automated Driving SoftwareRecorded talk Research Papers Ran Mo Central China Normal University, Yingjie Jiang Central China Normal University, Wenjing Zhan Central China Normal University, Dongyu Wang Central China Normal University, Zengyang Li Central China Normal University Pre-print Media Attached File Attached | ||