AlloyFL: a fault localization framework for Alloy.

Tanvir Ahmed Khan Allison Sullivan Kaiyuan Wang

Published in: ESEC/SIGSOFT FSE (2021)

Keyphrases

fault localization
program understanding
database
databases
neural network
data mining
high level
expert systems
general purpose