Partitioning of polynomial tasks: test generation, an example.

Jacob Savir Paul H. Bardell

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1991)

Keyphrases

test generation
test cases
symbolic execution
test sequences
static analysis
mutation testing
database
databases
high level
image quality
design automation
information systems
matching algorithm
software testing
quality assurance