Automatically Customizing Static Analysis Tools to Coding Rules Really Followed by Developers.
Yuki UedaTakashi IshioKenichi MatsumotoPublished in: SANER (2021)
Keyphrases
- static analysis
- source code
- dynamic analysis
- open source
- end users
- software development
- software systems
- automated tools
- object oriented systems
- software developers
- java card
- symbolic execution
- software engineers
- software components
- abstract interpretation
- development environments
- regular expressions
- building blocks
- active databases
- coding scheme
- association rules
- reverse engineering
- test generation
- test suite
- data sets
- data exchange
- relational databases
- case study