Does Static Analysis Help Software Engineering Students?

Reinhold Plösch Cornelia Neumüller

Published in: ICEIT (2020)

Keyphrases

static analysis
engineering students
source code
dynamic analysis
symbolic execution
regular expressions
test suite
abstract interpretation
open source
software systems
java card
test generation
teaching methods
web services