Vacuity in Testing.

Thomas Ball Orna Kupferman

Published in: TAP (2008)

Keyphrases

model checking
test cases
temporal logic
learning algorithm
website
data sets
neural network
database systems
multiscale
natural language
preprocessing
information technology
wireless sensor networks