| 2021 | Disclosing the Fragility Problem of Virtual Safety Testing for Autonomous Driving Systems. | Zhisheng Hu, Shengjian Guo, Zhenyu Zhong, Kang Li |
| 2021 | Targeted Code Inspection based on Human Errors. | Fuqun Huang, Henrique Madeira |
| 2021 | Software Requirement Criteria based on Human Errors. | Fuqun Huang |
| 2021 | iReview: an Intelligent Code Review Evaluation Tool using Biofeedback. | Haytham Hijazi, Jos Cruz, Joo Castelhano, Ricardo Couceiro, Miguel Castelo-Branco, Paulo de Carvalho, Henrique Madeira |
| 2021 | The Behavioral Diversity of Java JSON Libraries. | Nicolas Harrand, Thomas Durieux, David Broman, Benoit Baudry |
| 2021 | Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks. | Xingwu Guo, Wenjie Wan, Zhaodi Zhang, Min Zhang, Fu Song, Xuejun Wen |
| 2021 | On the Necessity of Explicit Artifact Links in Safety Assurance Cases for Machine Learning. | Lydia Gauerhof, Roman Gansch, Christian Heinzemann, Matthias Woehrle, Andreas Heyl |
| 2021 | Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty. | Joritz Galarraga, Aitor Arrieta Marcos, Shaukat Ali, Goiuria Sagardui, Maite Arratibel |
| 2021 | Semi-automated model extraction from observations for dependability analysis. | Andrs Fldvri, Andrs Pataricza |
| 2021 | My Services Got Old! Can Kubernetes Handle the Aging of Microservices? | Jos Flora, Paulo Gonalves, Miguel Teixeira, Nuno Antunes |
| 2021 | Migration of Monoliths through the Synthesis of Microservices using Combinatorial Optimization. | Gianluca Filippone, Marco Autili, Fabrizio Rossi, Massimo Tivoli |
| 2021 | Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems. | Marie Farrell, Matt Luckcuck, Laura Pullum, Michael Fisher, Ali Hessami, Danit Gal, Zvikomborero Murahwi, Ken R. Wallace |
| 2021 | Static Bound Analysis of Dynamically Allocated Resources for C Programs. | Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang |
| 2021 | BEIRUT: Repository Mining for Defect Prediction. | Amir Elmishali, Bruno Sotto-Mayor, Inbal Roshanski, Amit Sultan, Meir Kalech |
| 2021 | Simplify Array Processing Loops for Efficient Program Verification. | Xiang Du, Liangze Yin, Wei Dong |
| 2021 | What to Blame? On the Granularity of Fault Localization for Deep Neural Networks. | Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa |
| 2021 | MultiCode: A Unified Code Analysis Framework based on Multi-type and Multi-granularity Semantic Learning. | Xu Duan, Jingzheng Wu, Mengnan Du, Tianyue Luo, Mutian Yang, Yanjun Wu |
| 2021 | An Empirical Study on Common Bugs in Deep Learning Compilers. | Xiaoting Du, Zheng Zheng, Lei Ma, Jianjun Zhao |
| 2021 | Failure Prediction for Cloud Applications through Ensemble Learning. | Jomar Domingos |
| 2021 | Aging and Rejuvenation Models of Load Changing Attacks in Micro-Grids. | Ricardo M. Czekster, Alberto Avritzer, Daniel Sadoc Menasch |
| 2021 | The protection of LP-WAN Endpoints via TEE: a Chemical Storage Case Study. | Luigi Coppolino, Salvatore D'Antonio, Giovanni Mazzeo, Luigi Romano, Irene Bonetti, Elena Spagnuolo |
| 2021 | Peeking into the Gray Area of Mobile World: An Empirical Study of Unlabeled Android Apps. | Sen Chen, Lingling Fan, Cuiyun Gao, Fu Song, Yang Liu |
| 2021 | (WiP) LLTFI: Low-Level Tensor Fault Injector. | Abraham Chan, Udit Kumar Agarwal, Karthik Pattabiraman |
| 2021 | Black-Box Testing of Deep Neural Networks. | Taejoon Byun, Sanjai Rayadurgam, Mats P. E. Heimdahl |
| 2021 | Lessons Learned from the Development of a Mechanical Ventilator for COVID-19. | Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada |