Sign in
Fault Localization for Declarative Models in Alloy.
Kaiyuan Wang
Allison Sullivan
Darko Marinov
Sarfraz Khurshid
Published in:
ISSRE (2020)
Keyphrases
</>
fault localization
artificial intelligence
information systems
high level
program understanding