Login / Signup
Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis.
Jihyeok Park
Seungmin An
Sukyoung Ryu
Published in:
ESEC/SIGSOFT FSE (2022)
Keyphrases
</>
meta level
static analysis
dynamic analysis
object level
source code
distributed problem solving
open source
reverse engineering
web applications
regular expressions
domain knowledge
formal specification
high level
specification language
video sequences
higher level
test suite
database
query language