Parametric Trace Expressions for Runtime Verification of Java-Like Programs.
Davide AnconaAngelo FerrandoLuca FranceschiniViviana MascardiPublished in: FTfJP@ECOOP (2017)
Keyphrases
- java bytecode
- java programs
- runtime environment
- object oriented languages
- programming language
- java virtual machine
- symbolic execution
- virtual machine
- byte code
- computer programs
- facial expressions
- hardware designs
- source code
- lightweight
- neural network
- face verification
- model checking
- object oriented
- natural language
- java language
- database
- functional verification
- mathematical expressions
- garbage collection
- cross platform
- multi threaded
- java card
- development environment
- web applications
- open source
- language constructs
- asynchronous circuits
- verification method
- memory management
- parametric models
- relational databases