Reliability Theory of Program Testing.

Richard G. Hamlet

Published in: Acta Informatica (1981)

Keyphrases

test cases
software reliability
symbolic execution
databases
web services
theoretical framework
information theory
general theory
search based software testing
neural network
information systems
multi agent
hidden markov models
test set
theoretical basis
static analysis