Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications.

David Landsberg Youcheng Sun Daniel Kroening

Published in: FASE (2018)

Keyphrases

fault diagnosis
fault detection
control flow
high level
fault model
multiple faults
database
neural network
information systems
real time embedded systems
real time
artificial intelligence
case study
multiscale
transmission line