Fault Intolerance [Reliable Code].

Gerard J. Holzmann

Published in: IEEE Softw. (2014)

Keyphrases

fault diagnosis
fault detection
neural network
source code
information retrieval
artificial intelligence
cost effective
error detection
machine learning
learning algorithm
decision making
high quality
relational databases
code generation
linux kernel