Z3str4: A Multi-armed String Solver
Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh
Topics & Concepts
Computer scienceSolverString (physics)Satisfiability modulo theoriesAbstractionParallel computingConstraint (computer-aided design)Theoretical computer scienceAlgorithmProgramming languageMathematicsMathematical physicsGeometryEpistemologyPhilosophyWeb Application Security VulnerabilitiesSoftware Testing and Debugging TechniquesSoftware Engineering Research