Saner
From MaRDI portal
Software:53518
No author found.
Related Items (9)
String theories involving regular membership predicates: from practice to theory and back ⋮ Symbolic String Transformations with Regular Lookahead and Rollback ⋮ Equivalence of Finite-Valued Symbolic Finite Transducers ⋮ Towards more efficient methods for solving regular-expression heavy string constraints ⋮ Context-oriented web application protection model ⋮ Automata-based symbolic string analysis for vulnerability detection ⋮ A survey on server-side approaches to securing web applications ⋮ Symbolic String Verification: Combining String Analysis and Size Analysis ⋮ Dynamic management of capabilities in a network aware coordination language
This page was built for software: Saner
