Author:
Cordeiro Lucas,Fischer Bernd,Marques-Silva Joao
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
111 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ESBMC-Python: A Bounded Model Checker for Python Programs;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. FuSeBMC v4: Improving Code Coverage with Smart Seeds via BMC, Fuzzing and Static Analysis;Formal Aspects of Computing;2024-06-26
3. Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection;2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS);2024-05-13
4. ESBMC v7.4: Harnessing the Power of Intervals;Lecture Notes in Computer Science;2024
5. The FormAI Dataset: Generative AI in Software Security through the Lens of Formal Verification;Proceedings of the 19th International Conference on Predictive Models and Data Analytics in Software Engineering;2023-12-08