Author:
Galeotti Juan P.,Furia Carlo A.,May Eva,Fraser Gordon,Zeller Andreas
Funder
European Research Council
European Union’s Seventh Framework Programme
ERC
EU FP7
Swiss SNF
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Knowledge transfer based many-objective approach for finding bugs in multi-path loops;Complex & Intelligent Systems;2024-01-24
2. Mutation-based Fault Localization of Deep Neural Networks;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
3. Data Constraint Mining for Automatic Reconciliation Scripts Generation;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
4. An annotation-based approach for finding bugs in neural network programs;Journal of Systems and Software;2023-07
5. A K-Induction Method Extended with Value Analysis for C Program Safety Verification;2022 IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2022-12