| 2020 | SAR Handbook Chapter: Measurements-based aging analysis. | Javier Alonso, Kalyan Vaidyanathan, Roberto Pietrantuono |
| 2020 | A flexible simulation-based framework for model-based/data-driven dependability evaluation. | Carlo Abate, Lelio Campanile, Stefano Marrone |
| 2020 | Correlating UI Contexts with Sensitive API Calls: Dynamic Semantic Extraction and Analysis. | Jie Liu, Dongjie He, Diyu Wu, Jingling Xue |
| 2019 | TCD: Statically Detecting Type Confusion Errors in C++ Programs. | Changwei Zou, Yulei Sui, Hua Yan, Jingling Xue |
| 2019 | Evaluation of Anomaly Detection Algorithms Made Easy with RELOAD. | Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli |
| 2019 | Assessing the Safety and Reliability of Autonomous Vehicles from Road Testing. | Xingyu Zhao, Valentin Robu, David Flynn, Kizito Salako, Lorenzo Strigini |
| 2019 | Analyzing and Improving Customer-Side Cloud Security Certifiability. | Shujie Zhao, Yiqun Chen, Stefan Winter, Neeraj Suri |
| 2019 | TripleAgent: Monitoring, Perturbation and Failure-Obliviousness for Automated Resilience Improvement in Java Applications. | Long Zhang, Martin Monperrus |
| 2019 | MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract. | William Zhang, Sebastian Banescu, Leonardo Pasos, Steven T. Stewart, Vijay Ganesh |
| 2019 | Identifying Crashing Fault Residence Based on Cross Project Model. | Zhou Xu, Tao Zhang, Yifeng Zhang, Yutian Tang, Jin Liu, Xiapu Luo, Jacky Keung, Xiaohui Cui |
| 2019 | HiRec: API Recommendation using Hierarchical Context. | Rensong Xie, Xianglong Kong, Lulu Wang, Ying Zhou, Bixin Li |
| 2019 | TRAK: A Testing Tool for Studying the Reliability of Data Delivery in Apache Kafka. | Han Wu, Zhihao Shang, Katinka Wolter |
| 2019 | Research Proposal: Reliability Evaluation of the Apache Kafka Streaming System. | Han Wu |
| 2019 | Continuous Deployment for Dependable Systems with Continuous Assurance Cases. | Fredrik Warg, Hans Blom, Jonas Borg, Rolf Johansson |
| 2019 | Textout: Detecting Text-Layout Bugs in Mobile Apps via Visualization-Oriented Learning. | Yaohui Wang, Hui Xu, Yangfan Zhou, Michael R. Lyu, Xin Wang |
| 2019 | Go-Sanitizer: Bug-Oriented Assertion Generation for Golang. | Cong Wang, Hao Sun, Yiwen Xu, Yu Jiang, Huafeng Zhang, Ming Gu |
| 2019 | Test Case Generation Based on Client-Server of Web Applications by Memetic Algorithm. | Weiwei Wang, Xiaohong Guo, Zheng Li, Ruilian Zhao |
| 2019 | Supervised Representation Learning Approach for Cross-Project Aging-Related Bug Prediction. | Xiaohui Wan, Zheng Zheng, Fangyun Qin, Yu Qiao, Kishor S. Trivedi |
| 2019 | Integration of Tool Support for Assurance and Certification and for Knowledge-Centric Systems Engineering. | Jose Luis de la Vara, Eugenio Parra, Luis Alonso, Roy Mendieta, Borja Lpez, Jos Mara lvarez Rodrguez |
| 2019 | The Impact of Data Preparation on the Fairness of Software Systems. | Ins Valentim, Nuno Loureno, Nuno Antunes |
| 2019 | Search-Based Testing using EFSMs. | Ana Turlea |
| 2019 | Coordinated Analysis of Heterogeneous Monitor Data in Enterprise Clouds for Incident Response. | Uttam Thakore, Harigovind V. Ramasamy, William H. Sanders |
| 2019 | Learning from Time Series with Outlier Correction for Malicious Domain Identification. | Guolin Tan, Peng Zhang, Lei Zhang, Yu Zhang, Chuang Zhang, Qingyun Liu, Xinran Liu |
| 2019 | Isolating Real-Time Safety-Critical Embedded Systems via SGX-Based Lightweight Virtualization. | Luigi De Simone, Giovanni Mazzeo |
| 2019 | Understanding and Improving Regression Test Selection in Continuous Integration. | August Shi, Peiyuan Zhao, Darko Marinov |