Automatically Adding Missing Libraries to Java Projects to Foster Better Results from Static Analysis.
Thomas AtzenhoferReinhold PlöschPublished in: SCAM (2017)
Keyphrases
- static analysis
- source code
- dynamic analysis
- java card
- software projects
- open source java
- open source
- symbolic execution
- digital libraries
- malicious code
- test generation
- case study
- object oriented
- software systems
- regular expressions
- web applications
- programming language
- missing data
- test suite
- database applications
- project management
- formal specification
- software development
- java programs
- relational databases
- abstract interpretation
- database