Login / Signup

Fault Localization for Declarative Models in Alloy.

Kaiyuan WangAllison SullivanDarko MarinovSarfraz Khurshid
Published in: ISSRE (2020)
Keyphrases
  • fault localization
  • artificial intelligence
  • information systems
  • high level
  • program understanding