Login / Signup
High Performance Static Analysis for Industry.
Mark Bradley
Franck Cassez
Ansgar Fehnker
Thomas Given-Wilson
Ralf Huuck
Published in:
Electron. Notes Theor. Comput. Sci. (2012)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
abstract interpretation
case study
java card
malicious code
test generation
regular expressions
databases
object oriented databases
open source
object oriented
information extraction
data model
artificial intelligence
real world