| Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions? | Oct 3, 2023 | Fault localizationTranslation | —Unverified | 0 |
| SecureFalcon: Are We There Yet in Automated Software Vulnerability Detection with LLMs? | Jul 13, 2023 | Binary ClassificationBug fixing | —Unverified | 0 |
| QNNRepair: Quantized Neural Network Repair | Jun 23, 2023 | Data Free QuantizationFault localization | —Unverified | 0 |
| Distribution Network Fault Prediction Utilising Protection Relay Disturbance Recordings And Machine Learning | Jun 22, 2023 | Fault localization | —Unverified | 0 |
| Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition | Jun 10, 2023 | Deep LearningFault localization | —Unverified | 0 |
| Machine-learned Adversarial Attacks against Fault Prediction Systems in Smart Electrical Grids | Mar 28, 2023 | Defect DetectionFault Detection | —Unverified | 0 |
| FedDebug: Systematic Debugging for Federated Learning Applications | Jan 9, 2023 | Fault localizationFederated Learning | CodeCode Available | 0 |
| Physics-Constrained Backdoor Attacks on Power System Fault Localization | Nov 7, 2022 | Fault localization | —Unverified | 0 |
| Autoencoder based Anomaly Detection and Explained Fault Localization in Industrial Cooling Systems | Oct 14, 2022 | Anomaly DetectionFault localization | —Unverified | 0 |
| Causality-based Neural Network Repair | Apr 20, 2022 | Decision MakingFairness | —Unverified | 0 |
