| 2020 | A Reactive Batching Strategy of Apache Kafka for Reliable Stream Processing in Real-time. | Han Wu, Zhihao Shang, Guang Peng, Katinka Wolter |
| 2020 | Exposing Android Event-Based Races by Selective Branch Instrumentation. | Diyu Wu, Dongjie He, Shiping Chen, Jingling Xue |
| 2020 | A Reconfiguration Approach for Open Adaptive Systems-of-Systems. | Bjrn Wudka, Carsten Thomas, Lennart Siefke, Volker Sommer |
| 2020 | Detecting Implementation Bugs in Graph Convolutional Network based Node Classifiers. | Yiwei Wang, Wei Wang, Yujun Cai, Bryan Hooi, Beng Chin Ooi |
| 2020 | Fault Localization for Declarative Models in Alloy. | Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid |
| 2020 | Declarative Dashboard Generation. | Alessandro Tundo, Chiara Castelnovo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani |
| 2020 | Test-First for Abstracted Behavior of Software Using Extended Finite State Machine. | Tomohiko Takagi, Koichiro Sakata |
| 2020 | Detecting Struct Member-Related Memory Leaks Using Error Code Analysis in Linux Kernel. | Keita Suzuki, Takafumi Kubota, Kenji Kono |
| 2020 | AFLTurbo: Speed up Path Discovery for Greybox Fuzzing. | Lei Sun, Xumei Li, Haipeng Qu, Xiaoshuai Zhang |
| 2020 | Safety-Critical Software - Quantification of Test Results. | Johan Sundell, Kristina Lundqvist, Hkan Forsberg |
| 2020 | Towards Anomaly Detectors that Learn Continuously. | Andrea Stocco, Paolo Tonella |
| 2020 | Using Semantic Analysis and Graph Mining Approaches to Support Software Fault Fixation. | Maninder Singh, Gursimran S. Walia |
| 2020 | Designing Neural Networks Using Logical Specs. | Shikhar Singh, Marko Vasic, Sarfraz Khurshid |
| 2020 | Independent Verification and Validation for the Space Industry: Guide Evolution Experience. | Nuno Silva, Xavier Ferreira, Jesper T. Troelsen, Tomasz Kacmajor |
| 2020 | On failures of RGB cameras and their effects in autonomous driving applications. | Francesco Secci, Andrea Ceccarelli |
| 2020 | Multi-label Classification of Commit Messages using Transfer Learning. | Muhammad Usman Sarwar, Sarim Zafar, Mohamed Wiem Mkaouer, Gursimran Singh Walia, Muhammad Zubair Malik |
| 2020 | Towards Automated Evidence Generation for Rapid and Continuous Software Certification. | Joanna C. S. Santos, Ali Shokri, Mehdi Mirakhorli |
| 2020 | TDABD: Test-Driven-Assurance-Based Development. | Jonathan C. Rowanhill, Ashlie B. Hocking, William Hawkins |
| 2020 | Locating the Clues of Declining Success Rate of Service Calls. | Guoping Rong, Hao Wang, Yong You, He Zhang, Jialin Sun, Dong Shao, Yangchen Xu |
| 2020 | Model-Driven Fault Injection in Java Source Code. | Elder Rodrigues Jr., Leonardo Montecchi, Andrea Ceccarelli |
| 2020 | Multi-Level Execution Trace Based Lock Contention Analysis. | Majid Rezazadeh, Naser Ezzati-Jivan, Evan Galea, Michel R. Dagenais |
| 2020 | CRESCO Framework and Checker: Automatic generation of Reflective UML State Machine's C++ Code and Checker. | Miren Illarramendi Rezabal, Leire Etxeberria, Felix Larrinaga, Goiuria Sagardui |
| 2020 | Fuzzing C++ class interfaces for generating and running tests with libFuzzer. | Zoltn Porkolb |
| 2020 | Ensuring Dataset Quality for Machine Learning Certification. | Sylvaine Picard, Camille Chapdelaine, Cyril Cappi, Laurent Gardes, Eric Jenn, Baptiste Lefvre, Thomas Soumarmon |
| 2020 | Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks. | David Pereira, Joo F. Ferreira, Alexandra Mendes |