Affiliation:
1. Imperial College London, UK
Funder
Engineering and Physical Sciences Research Council
European Research Council
DSO National Laboratories - Singapore
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Enhancing DNN-Based Binary Code Function Search With Low-Cost Equivalence Checking;IEEE Transactions on Software Engineering;2023-01-01
2. Enhancing Safety Checking Coverage with Multi-swarm Particle Swarm Optimization;Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection;2023
3. FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
4. Feedback-Driven Incremental Symbolic Execution;2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE);2022-10
5. Lightweight, Multi-Stage, Compiler-Assisted Application Specialization;2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P);2022-06