Login / Signup
New Methodology for Complete Properties Extraction from Simulation Traces Guided with Static Analysis.
Mohamed Hanafy
Hazem Said
Ayman M. Wahba
Published in:
J. Electron. Test. (2016)
Keyphrases
</>
static analysis
dynamic analysis
source code
discrete event simulation
symbolic execution
simulation model
mathematical models
information extraction
mathematical model
regular expressions
java card
malicious code
data sets
databases