GLAD: Neural Predicate Synthesis to Repair Omission Faults.
Sungmin KangShin YooPublished in: ICSE Companion (2023)
Keyphrases
- repair actions
- fault isolation
- fault diagnosis
- network architecture
- fault detection
- first order logic
- neural network
- error detection
- neural model
- damage assessment
- bio inspired
- data sets
- model based diagnosis
- program synthesis
- neural fuzzy
- neural computation
- computational neuroscience
- genetic algorithm
- nonlinear predictive control
- texture synthesis
- artificial neural networks
- fault model
- neural information processing
- learning rules
- learning algorithm
- fault detection and isolation
- abdominal aortic aneurysm