• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Automated debugging based on a constraint model of the program and a test case.

Franz WotawaMihai NicaIulia Moraru
Published in: J. Log. Algebraic Methods Program. (2012)
Keyphrases
  • test cases
  • probabilistic model
  • test data
  • object oriented
  • data sets
  • artificial intelligence
  • high level
  • training data
  • probability distribution
  • software systems
  • black box