Sign in

Fault Localization in Constraint Programs.

Nadjib LazaarArnaud GotliebYahia Lebbah
Published in: ICTAI (1) (2010)
Keyphrases
  • fault localization
  • program slicing
  • program understanding
  • fault detection
  • model based diagnosis
  • software testing
  • data abstraction
  • neural network
  • formal verification
  • source code
  • test set