Test generation based on control and data dependencies within system specifications in SDL.

Hasan Ural Kassem Saleh Alan W. Williams

Published in: Comput. Commun. (2000)

Keyphrases

data dependencies
test generation
relational databases
test cases
database schemes
static analysis
normal form
high level
functional dependencies
software testing
databases
computer vision
database systems
software engineering