Z3str4: A Multi-armed String Solver
Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh
2021年份
30被引次数
11顶会引用
问问这篇 Paper
问问你的智能体。
Lune 读过与它相关的顶会 Paper，每个回答都会注明依据哪几篇。
引用它的顶会 Paper11
- Word Equations in Synergy with Regular ConstraintsFrantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena 等FM 2023 · 被引用 16 次
- Even Faster Conflicts and Lazier Reductions for String SolversAndres Nötzli, Andrew Reynolds, Haniel Barbosa, Clark W. Barrett 等CAV 2022 · 被引用 13 次
- Solving String Constraints Using SATKevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter 等CAV 2023 · 被引用 11 次
- Black Ostrich: Web Application Scanning with String SolversBenjamin Eriksson, Amanda Stjerna, Riccardo De Masellis, Philipp Rümmer 等CCS 2023 · 被引用 9 次
- Ferry: Toward Better Understanding of Input/Output Space for Data Wrangling ScriptsZhongsu Luo, Kai Xiong, Jiajun Zhu, Ran Chen 等IEEE VIS 2024 · 被引用 4 次
相关 Paper
- BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement LearningJoseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora 等FM 2021 · 被引用 20 次
- An SMT Solver for Regular Expressions and Linear Arithmetic over String LengthMurphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea 等CAV 2021 · 被引用 37 次
- Truffle: Maliciously Secure Three-Party Shuffles with Applications to ParsingNidhish Bhimrajka, Yashvanth Kondi, Daniel Noble, Bhavish Raj GopalCCS 2026
- Inter-theory dependency analysis for SMT string solversMinh-Thai Trinh, Duc-Hiep Chu, Joxan JaffarOOPSLA 2020 · 被引用 5 次
- Solving String Constraints with Lengths by StabilizationYu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík 等OOPSLA 2023 · 被引用 18 次
