Relational String Abstract Domains
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara
Topics & Concepts
SubstringString (physics)Computer scienceString searching algorithmString metricTheoretical computer scienceProgramming languageApproximate string matchingSet (abstract data type)AlgorithmData structurePattern matchingMathematicsMathematical physicsWeb Application Security VulnerabilitiesSoftware Testing and Debugging TechniquesAdvanced Malware Detection Techniques