Tsai, W. I Volovik, Dmitry Automated Test Case Generation for Programs Specified by Relational Algebra Queries - 316-324 p. Subjects--Topical Terms: Automated Test StandDomainRelational View