Using Fault Injection for Programming Task Generation.

Baso Habibi Tsuneo Nakanishi Kenji Hisazumi Hiroki Furusho Akira Fukuda

Published in: ICL (2) (2017)

Keyphrases

fault injection
java card
programming language
fault model
low cost
intrusion detection
software architecture
formal specification