Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects.

Bernd Burgstaller Johann Blieberger

Published in: Ada-Europe (2014)

Keyphrases

static analysis
symbolic execution
dynamic analysis
source code
abstract interpretation
malicious code
d objects
object oriented languages
regular expressions
test generation
java card
databases
spatial relations
test suite
java programs
object identity