Can static analysis tools find more defects?

Sahar Mehrpour Thomas D. LaToza

Published in: Empir. Softw. Eng. (2023)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
regular expressions
java card
test suite
malicious code
artificial intelligence
case study
open source
building blocks