Scientific developers v/s static analysis tools: vision and position paper.
Rohan KrishnamurthyThomas S. HeinzeCarina HauptAndreas SchreiberMichael MeinelPublished in: CHASE@ICSE (2019)
Keyphrases
- static analysis
- source code
- dynamic analysis
- open source
- end users
- software developers
- software engineers
- software systems
- java card
- software projects
- regular expressions
- symbolic execution
- computer vision
- object oriented systems
- software development
- malicious code
- building blocks
- abstract interpretation
- data mining
- test suite
- software components
- vision system
- test generation
- scientific communities
- development environments
- reverse engineering
- scientific data
- software engineering
- artificial intelligence