Subject
Computer Science Applications,Theoretical Computer Science,Software
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment;Proceedings of the 46th IEEE/ACM International Conference on Software Engineering;2024-02-06
2. Monotonicity and the Precision of Program Analysis;Proceedings of the ACM on Programming Languages;2024-01-05
3. Abstract Interpretation-Based Feature Importance for Support Vector Machines;Lecture Notes in Computer Science;2023-12-30
4. HOBAT: Batch Verification for Homogeneous Structural Neural Networks;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
5. CC: Causality-Aware Coverage Criterion for Deep Neural Networks;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05