@inproceedings{a2cea656178444e8a13b03a5815754de,
title = "Automatic test case generation from relational algebra queries",
abstract = "The authors: (1) develop mapping rules from the relational algebra to linear predicates defining relations in the (output) domain; (2) describe how these predicates can be interpreted in the (input) domain using fQ, a specified query relation; (3) describe a translation from these predicates to sets of systems of linear inequalities; and (4) discuss the use of a set of systems of linear inequalities to generate complete test cases, inputs, and expected outputs from the queries using the domain testing theory. The proposed techniques support software development based on specification testing, specification-directed testing, and rapid prototyping.",
author = "Tsai, {W. T.} and D. Volovik and Keefe, {T. F.} and Fayad, {M. E.}",
year = "1988",
language = "English (US)",
isbn = "0818608730",
series = "Proceedings - IEEE Computer Society's International Computer Software & Applications Conference",
publisher = "Publ by IEEE",
pages = "252--258",
editor = "Knafl, {George J.}",
booktitle = "Proceedings - IEEE Computer Society's International Computer Software & Applications Conference",
}