Author:
Chipounov Vitaly,Kuznetsov Volodymyr,Candea George
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Define-Use Guided Path Exploration for Better Forced Execution;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis;Dependable Software Engineering. Theories, Tools, and Applications;2023-12-15
3. Automatic Stub Generation for Dynamic Symbolic Execution of ARM binary;The 11th International Symposium on Information and Communication Technology;2022-12
4. Optimizing symbolic execution for malware behavior classification;Computers & Security;2020-06
5. BinRec;Proceedings of the Fifteenth European Conference on Computer Systems;2020-04-15