TY  - SER
AU  - Tsai, W. I
AU  - Volovik, Dmitry
TI  - Automated Test Case Generation  for  Programs Specified by Relational Algebra Queries
KW  - Automated Test Stand
KW  - Domain
KW  - Relational View
ER  -