 Path Analysis for Effective Fault Localization in Deep Neural NetworksApplied Soft Computing (Appl. Soft Comput.), 2023 |
 Inferring Data Preconditions from Deep Learning Models for Trustworthy
Prediction in DeploymentInternational Conference on Software Engineering (ICSE), 2024 |
 QNNRepair: Quantized Neural Network RepairIEEE International Conference on Software Engineering and Formal Methods (SEFM), 2023 |
 Semantic-Based Neural Network RepairInternational Symposium on Software Testing and Analysis (ISSTA), 2023 |
 DelBugV: Delta-Debugging Neural Network VerifiersFormal Methods in Computer-Aided Design (FMCAD), 2023 |
 Verifying Generalization in Deep LearningInternational Conference on Computer Aided Verification (CAV), 2023 |
 Causality-based Neural Network RepairInternational Conference on Software Engineering (ICSE), 2022 |
 Verification-Aided Deep Ensemble SelectionFormal Methods in Computer-Aided Design (FMCAD), 2022 |
 An Abstraction-Refinement Approach to Verifying Convolutional Neural
NetworksAutomated Technology for Verification and Analysis (ATVA), 2022 |
