C
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 Wotawa
Mihai Nica
Iulia 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