Author:
Liew Daniel,Schemmel Daniel,Cadar Cristian,Donaldson Alastair F.,Zahl Rafael,Wehrle Klaus
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Partial Solution Based Constraint Solving Cache in Symbolic Execution;Proceedings of the ACM on Software Engineering;2024-07-12
2. SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories;Proceedings of the ACM on Programming Languages;2024-06-20
3. Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust;Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice;2024-04-14
4. Formal Verification of Source-to-Source Transformations for HLS;Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays;2024-04
5. soid: A Tool for Legal Accountability for Automated Decision Making;Lecture Notes in Computer Science;2024