Evaluating how static analysis tools can reduce code review effort.

Devarshi Singh Varun Ramachandra Sekar Kathryn T. Stolee Brittany Johnson

Published in: VL/HCC (2017)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
regular expressions
java card
test suite
test generation
data sets
open source
abstract interpretation
test case generation
programming tool