Login / Signup
The approach to finding errors in program code based on static analysis methodology.
Alexander S. Novikov
Alexey N. Ivutin
Anna G. Troshina
Sergey N. Vasiliev
Published in:
MECO (2017)
Keyphrases
</>
static analysis
program code
dynamic analysis
source code
programming language
java card
symbolic execution
abstract interpretation
regular expressions
test suite
relational databases
databases
artificial intelligence
high level
database systems
open source