Login / Signup
Improving Fault Localization Using Model-domain Synthesized Failing Test Generation.
Zhuo Zhang
Yan Lei
Xiaoguang Mao
Meng Yan
Xin Xia
Published in:
ICSME (2022)
Keyphrases
</>
high level
fault localization
database
neural network
information systems
case study
data structure
model checking
model based diagnosis