Login / Signup
A comparison between handwritten and automatic generation of C code from SDL using static analysis.
Marcello Becucci
Alessandro Fantechi
Marco Giromini
Emilio Spinicci
Published in:
Softw. Pract. Exp. (2005)
Keyphrases
</>
static analysis
malicious code
source code
dynamic analysis
symbolic execution
abstract interpretation
regular expressions
java card
character recognition
automatically generate
database
test suite
test case generation
word spotting
document images
error rate
open source
case study