Combining Fault-Injection with Property-Based Testing.

Benjamin Vedder Thomas Arts Jonny Vinter Magnus Jonsson

Published in: ES4CPS@DATE (2014)

Keyphrases

fault injection
java card
fault model
static analysis
smart card
database
open source
countermeasures