BEC: Bit-Level Static Analysis for Reliability against Soft Errors.

Yousun Ko Bernd Burgstaller

Published in: CoRR (2024)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
java card
malicious code
error detection
data sets
real world
error rate