String solving with word equations and transducers: towards a logic for analysing mutation XSS.
Anthony Widjaja LinPablo BarcelóPublished in: POPL (2016)
Keyphrases
- nonlinear equations
- string matching
- polynomial equations
- algebraic equations
- co occurrence
- web browser
- genetic algorithm
- evolutionary algorithm
- data structure
- pattern matching
- finite state automata
- classical logic
- neural network
- logic programming
- set of linear equations
- fitness function
- end users
- web applications
- keywords
- numerical solution
- edit distance
- string edit distance
- differential evolution
- genetic algorithm ga
- gauss seidel method
- suffix array
- word recognition
- modal logic
- combinatorial optimization
- n gram
- knowledge representation