Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code.
Andrey BelevantsevArutyun AvetisyanPublished in: Ershov Informatics Conference (2017)
Keyphrases
- static analysis
- source code
- dynamic analysis
- open source
- software systems
- symbolic execution
- open source software
- software projects
- java card
- software maintenance
- software evolution
- high level
- plagiarism detection
- object oriented systems
- software repositories
- text files
- execution traces
- regular expressions
- visual basic
- website
- source files
- api calls