String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version).
Anthony W. LinPablo BarcelóPublished in: CoRR (2015)
Keyphrases
- nonlinear equations
- string matching
- web browser
- evolutionary algorithm
- differential evolution
- co occurrence
- pattern matching
- polynomial equations
- algebraic equations
- genetic algorithm
- set of linear equations
- n gram
- regular expressions
- edit distance
- string edit distance
- modal logic
- combinatorial optimization
- fitness function
- variable length
- multi valued
- classical logic
- population size
- mathematical model
- natural language