A Symbolic Simulator Platform for the Static Analysis of Thin Plates.

Diogo M. S. Costa Gonçalo M. S. Bernardo Maria A. R. Loja

Published in: Int. J. Online Eng. (2016)

Keyphrases

static analysis
dynamic analysis
source code
simulation platform
malicious code
test generation
simulation environment
java card
symbolic execution
abstract interpretation
simulation model
symbolic representation
simulation tool
object oriented
regular expressions
test suite