Author:
Elkarablieh Bassem,Godefroid Patrice,Levin Michael Y.
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated test data generation and stubbing method for C/C++ embedded projects;Automated Software Engineering;2024-06-10
2. Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
3. Handling Memory-Intensive Operations in Symbolic Execution;15th Innovations in Software Engineering Conference;2022-02-24
4. Symbolic execution formally explained;Formal Aspects of Computing;2021-08
5. Past-sensitive pointer analysis for symbolic execution;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-07