FM2021Top-tier venue
Z3str4: A Multi-armed String Solver
Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh
2021Year
30Citations
11Top-tier citations
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get fd45ca68-68b5-41e5-ac7f-97799b05c1b5Cited by top-tier papers11
- Word Equations in Synergy with Regular ConstraintsFrantisek Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtech Havlena et al.FM 2023 · 16 citations
- Even Faster Conflicts and Lazier Reductions for String SolversAndres Nötzli, Andrew Reynolds, Haniel Barbosa, Clark W. Barrett et al.CAV 2022 · 13 citations
- Solving String Constraints Using SATKevin Lotz, Amit Goel, Bruno Dutertre, Benjamin Kiesl-Reiter et al.CAV 2023 · 11 citations
- Black Ostrich: Web Application Scanning with String SolversBenjamin Eriksson, Amanda Stjerna, Riccardo De Masellis, Philipp Rümmer et al.CCS 2023 · 9 citations
- Ferry: Toward Better Understanding of Input/Output Space for Data Wrangling ScriptsZhongsu Luo, Kai Xiong, Jiajun Zhu, Ran Chen et al.IEEE VIS 2024 · 4 citations
Related papers
- BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement LearningJoseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora et al.FM 2021 · 20 citations
- An SMT Solver for Regular Expressions and Linear Arithmetic over String LengthMurphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea et al.CAV 2021 · 37 citations
- 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 citations
- Solving String Constraints with Lengths by StabilizationYu-Fang Chen, David Chocholatý, Vojtech Havlena, Lukás Holík et al.OOPSLA 2023 · 18 citations
