Program Decomposition and Translation with Static Analysis.

Ali Reza Ibrahimzada

Published in: ICSE Companion (2024)

Keyphrases

static analysis
dynamic analysis
symbolic execution
source code
java card
abstract interpretation
regular expressions
malicious code
test generation
cross language information retrieval
machine translation
test suite
database
client server
decision trees
knowledge base
databases
data sets