Author:
Shriver David,Elbaum Sebastian,Dwyer Matthew B.
Funder
National Science Foundation
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Harnessing Neuron Stability to Improve DNN Verification;Proceedings of the ACM on Software Engineering;2024-07-12
2. Data-Driven Falsification of Cyber-Physical Systems;Proceedings of the 17th Innovations in Software Engineering Conference;2024-02-22
3. Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-02-06
4. Training for Verification: Increasing Neuron Stability to Scale DNN Verification;Lecture Notes in Computer Science;2024
5. Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30