Combined probabilistic testability calculation and compact test generation for PLAs.

Bjørg Reppen Einar J. Aas

Published in: J. Electron. Test. (1991)

Keyphrases

test generation
test data generation
test cases
software testing
test sequences
design automation
symbolic execution
bayesian networks
static analysis
probabilistic model
quality assurance
mutation testing
databases
artificial intelligence
software engineering
petri net