Iterative User-Driven Fault Localization.

Xiangyu Li Marcelo d'Amorim Alessandro Orso

Published in: Haifa Verification Conference (2016)

Keyphrases

user driven
fault localization
program understanding
model based diagnosis
end users
software testing
data abstraction
fault detection
data driven
mashup
mobile devices
database
neural network
third party
formal specification
multi agent systems
databases