Constraint Programming for Dynamic Symbolic Execution of JavaScript.
Roberto AmadiniMak AndrlonGraeme GangePeter SchachteHarald SøndergaardPeter J. StuckeyPublished in: CPAIOR (2019)
Keyphrases
- constraint programming
- symbolic execution
- constraint satisfaction problems
- constraint propagation
- combinatorial problems
- constraint satisfaction
- search strategies
- global constraints
- symmetry breaking
- test generation
- constraint solving
- arc consistency
- open source
- static analysis
- constraint solver
- finite domain
- general purpose
- quality control