| 2020 | Towards Automated Detection of Data Pipeline Faults. | Aiswarya Raj Munappy, Jan Bosch, Helena Holmstrm Olsson, Tian J. Wang |
| 2020 | An Asset-Based Assistance for Secure by Design. | Nan Messe, Nicolas Belloir, Vanea Chiprianov, Jamal El Hachem, Rgis Fleurquin, Salah Sadou |
| 2020 | An Integrated Framework for the Formal Analysis of Critical Interactive Systems. | Ismal Mendil, Neeraj Kumar Singh, Yamine At Ameur, Dominique Mry, Philippe A. Palanque |
| 2020 | Formal Verification of Memory Isolation for the TrustZone-based TEE. | Yuwei Ma, Qianying Zhang, Shijun Zhao, Guohui Wang, Ximeng Li, Zhiping Shi |
| 2020 | Process Debt: a First Exploration. | Antonio Martini, Terese Besker, Jan Bosch |
| 2020 | Retrofitting Quality (short paper). | Ral Martinez |
| 2020 | Software Engineering for Autonomous Robot: Challenges, Progresses and Opportunities. | Xinjun Mao, Hao Huang, Shuo Wang |
| 2020 | Automated Assessment and Evaluation of Contribution of Collaborative Software Engineering Development Process. | Kun Ma, Kun Liu, Lixin Du |
| 2020 | Understanding Build Errors in Agile Software Development Project-Based Learning. | Erina Makihara, Hiroshi Igaki, Norihiro Yoshida, Kenji Fujiwara, Hajimu Iida |
| 2020 | A Knowledge Graph-based Sensitive Feature Selection for Android Malware Classification. | Duoyuan Ma, Yude Bai, Zhenchang Xing, Lintan Sun, Xiaohong Li |
| 2020 | Multiform Logical Time & Space for Mobile Cyber-Physical System With Automated Driving Assistance System. | Qian Liu, Robert de Simone, Xiaohong Chen, Jiexiang Kang, Jing Liu, Wei Yin, Hui Wang |
| 2020 | Synthesizing Cooperative Controllers from Global Tasks of Multi-robot Systems. | Rui Li, Hao Shi, Wanwei Liu, Wei Dong |
| 2020 | Understanding the Non-Repairability Factors of Automated Program Repair Techniques. | Bo Lin, Shangwen Wang, Ming Wen, Zhang Zhang, Hongjun Wu, Yihao Qin, Xiaoguang Mao |
| 2020 | Ori: A Greybox Fuzzer for SOME/IP Protocols in Automotive Ethernet. | Yuekang Li, Hongxu Chen, Cen Zhang, Siyang Xiong, Chaoyi Liu, Yi Wang |
| 2020 | Report on the the 8 | Horst Lichter, Selin Aydin, Thanwadee Sunetnanta, Toni Anwar |
| 2020 | Model Checking of Spatial Logic. | Tengfei Li, Jing Liu, Jiexiang Kang, Haiying Sun, Xiaohong Chen, Li Han |
| 2020 | Towards the Identification of Process Anti-Patterns in Enterprise Architecture Models. | Barry-Detlef Lehmann, Peter Alexander, Horst Lichter, Simon Hacks |
| 2020 | UML-based Modeling and Analysis of 5G Service Orchestration. | Ashalatha Kunnappilly, Peter Backeman, Cristina Seceleanu |
| 2020 | Establishing International Standards for Systems and Software Quality Requirements and Evaluation. | Toshihiro Komiyama, Motoei Azuma |
| 2020 | Feature Combination to Alleviate Hubness Problem of Source Code Representation for Bug Localization. | Youngkyoung Kim, Misoo Kim, Eunseok Lee |
| 2020 | Coverage Analysis Method Using Quality Characteristics. | Daiju Kato, Hiroshi Ishikawa |
| 2020 | AI Deployment Architecture: Multi-Case Study for Key Factor Identification. | Meenu Mary John, Helena Holmstrm Olsson, Jan Bosch |
| 2020 | Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams. | Mingyue Jiao, Yanhong Huang, Jianqi Shi, Fangda Cai, Rongfeng Lin |
| 2020 | Pattern-based Analysis of Interaction Failures in Systems-of-Systems: a Case Study on Platooning. | Sangwon Hyun, Jiyoung Song, Seungchyul Shin, Young Min Baek, Doo-Hwan Bae |
| 2020 | On the Evolutionary Properties of Fix Inducing Changes. | Syed Fatiul Huq, Md. Aquib Azmain, Nadia Nahar, Md. Nurul Ahad Tawhid |