Author:
Boonstoppel Peter,Cadar Cristian,Engler Dawson
Publisher
Springer Berlin Heidelberg
Cited by
106 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Sparse Symbolic Loop Execution (Registered Report);Proceedings of the 3rd ACM International Fuzzing Workshop;2024-09-13
2. LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
3. Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding;Proceedings of the ACM on Programming Languages;2024-06-20
4. Parameterized Search Heuristic Prediction for Concolic Execution;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04
5. Safe Low-Level Code Without Overhead is Practical;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05