Brief Announcement: Effectiveness of Code Hardening for Fault-Tolerant IoT Software.

Igor Zavalyshyn Thomas Given-Wilson Axel Legay Ramin Sadre

Published in: SSS (2020)

Keyphrases

fault tolerant
fault tolerance
safety critical
source code
distributed systems
management system
software systems
computer systems
data flow
high assurance
load balancing
error detection
program understanding
cloud computing
intelligent systems
static analysis
data structure
code snippets