ROSA: R Optimizations with Static Analysis.

Rathijit Sen Jianqiao Zhu Jignesh M. Patel Somesh Jha

Published in: CoRR (2017)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
java card
symbolic execution
test generation
abstract interpretation
real world
relational databases
open source
regular expressions