Login / Signup
Program Decomposition and Translation with Static Analysis.
Ali Reza Ibrahimzada
Published in:
CoRR (2024)
Keyphrases
</>
static analysis
dynamic analysis
symbolic execution
source code
malicious code
abstract interpretation
regular expressions
test generation
machine translation
test suite
java card
databases
relational databases
cross language information retrieval
real world