Symbolic implication in test generation.

Sandip Kundu Indira Nair Leendert M. Huisman Vijay S. Iyengar

Published in: EURO-DAC (1991)

Keyphrases

test generation
test cases
test sequences
symbolic execution
design automation
static analysis
software testing
mutation testing
high level
quality assurance
computer vision
symbolic representation
data sets
data quality
information systems
test data generation
real world
databases