Author:
Converse Hayes,Filieri Antonio,Gopinath Divya,Pasareanu Corina S.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. QuanDA: GPU Accelerated Quantitative Deep Neural Network Analysis;ACM Transactions on Design Automation of Electronic Systems;2023-10-16
2. Regression Fuzzing for Deep Learning Systems;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
3. Symbolic parallel adaptive importance sampling for probabilistic program analysis;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18