Login / Signup
On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises.
Mario Gleirscher
Dmitriy Golubitskiy
Maximilian Irlbeck
Stefan Wagner
Published in:
CoRR (2016)
Keyphrases
</>
static analysis
small and medium sized
dynamic analysis
source code
high tech
symbolic execution
regular expressions
java card
malicious code
abstract interpretation
test suite
test generation
databases
object oriented
business processes
semi automatic