Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation.

Ahyoung Sung Byoungju Choi

Published in: FATES (2003)

Keyphrases

fault injection
java card
fault model
static analysis
control program
low cost
hardware and software
genetic algorithm
evolutionary algorithm
smart card
hardware designs
test cases
test suite
control flow
embedded systems
differential evolution
data model