Constraint programming for dynamic symbolic execution of JavaScript

DOI10.1007/978-3-030-19212-9_1MaRDI QIDQ2327235zbMATH OpenOpenAlexFDO

Authors Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Publication date 14 October 2019

Full work available at URL http://hdl.handle.net/11343/241769

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Combinatorial optimization (90C27)

Describes a project that uses

Uses Software

• ExpoSE
• SymJS
• JSAI
• Z3str3
• jCUTE
• Jalangi
• PASS
• StrSolve
• Norn
• TCAS
• S3
• Z3-str
• HAMPI
• DART
• JavaScript
• Gecode
• MiniZinc
• KLEE
• z3
• SMT-LIB
• CUTE

This page was built for publication: Constraint programming for dynamic symbolic execution of JavaScript

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2327235)