| 2023 | Multi-Objective White-Box Test Input Selection for Deep Neural Network Model Enhancement. | Hongjing Guo, Chuanqi Tao, Zhiqiu Huang |
| 2023 | Effectively Finding ICC-related Bugs in Android Apps via Reinforcement Learning. | Hui Guo, Ting Su, Xiaoqiang Liu, Siyi Gu, Jingling Sun |
| 2023 | Enhancing White-Box Search-Based Testing of RESTful APIs. | Amid Golmohammadi |
| 2023 | OPTango: Multi-central Representation Learning against Innumerable Compiler Optimization for Binary Diffing. | Hongna Geng, Ming Zhong, Peihua Zhang, Fang Lv, Xiaobing Feng |
| 2023 | Enabling Efficient Assertion Inference. | Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon |
| 2023 | Towards human-centric software complexity metrics: a neuroscience-based approach. | Hao Gao |
| 2023 | A Survey of Metrics to Enhance Training Dependability in Large Language Models. | Wenyi Fang, Hao Zhang, Ziyu Gong, Longbin Zeng, Xuhui Lu, Biao Liu, Xiaoyu Wu, Yang Zheng, Zheng Hu, Xun Zhang |
| 2023 | CBTCset: A Reference Dataset for Detecting Misbehavior Attacks in CBTC Networks. | Amin Fakhereldine, Mohammad Zulkernine, Dan Murdock |
| 2023 | Crucible: Graphical Test Cases for Alloy Models. | Adam G. Emerson, Allison Sullivan |
| 2023 | AFALog: A General Augmentation Framework for Log-based Anomaly Detection with Active Learning. | Chiming Duan, Tong Jia, Huaqian Cai, Ying Li, Gang Huang |
| 2023 | Do Mutations of Strongly Subsuming Second-Order Mutants Really Mask Each Other? | Joo Paulo Diniz, Fischer Ferreira, Fabiano Cutigi Ferrari, Eduardo Figueiredo |
| 2023 | Software Aging Analysis in a Testing Framework. | Douglas Dias, Fumio Machida, Ermeson C. Andrade |
| 2023 | Semi-formal and formal specification of a telerehabilitation system for chronic respiratory diseases: methodology and feedback. | Anne-Lise Courbis, Farid Arfi, Thomas Lambolais, Franois Bughin, Maurice Hayot |
| 2023 | Precise Lazy Initialization for Programs with Complex Heap Inputs. | Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio |
| 2023 | Finding Needle in a Haystack: An Algorithm for Real-Time Log Anomaly Detection with Real-Time Learning. | Prachi Chitnis, Abhaya Asthana |
| 2023 | Mind Your Enclave Pointers! Detecting Privacy Leaks for SGX Apps via Sparse Taint Analysis. | Yang Chen, Jianfeng Jiang, Shoumeng Yan, Hui Xu |
| 2023 | Evaluating the Effect of Common Annotation Faults on Object Detection Techniques. | Abraham Chan, Arpan Gujarati, Karthik Pattabiraman, Sathish Gopalakrishnan |
| 2023 | Building Resilient ML Applications using Ensembles against Faulty Training Data. | Abraham Chan |
| 2023 | Security Assessment and Hardening of Fog Computing Systems. | Carmine Cesarano |
| 2023 | Intrusion detection without attack knowledge: generating out-of-distribution tabular data. | Andrea Ceccarelli, Tommaso Zoppi |
| 2023 | Online Failure Prediction Through Fault Injection and Machine Learning: Methodology and Case Study. | Joo R. Campos, Ernesto Costa, Marco Vieira |
| 2023 | On the Efficacy of Smart Contract Analysis Tools. | Silvia Bonomi, Stefano Cappai, Emilio Coppa |
| 2023 | Validating the BIECO Security Evaluation Methodology within a Smart Grid Monitoring SW. | Irene Bicchierai, Enrico Araniti, Sara Nieves Matheu-Garca, Juan Francisco Martnez Gil |
| 2023 | Using Transformer Models and Textual Analysis for Log Parsing. | Vithor Gomes Ferreira Bertalan, Daniel Aloise |
| 2023 | DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilities. | Ivan Baheux, Oum-El-Kheir Aktouf, Mohammed El Amin Tebib, Mariem Graa, Pascal Andr, Yves Ledru |