Automated test case generation for programs specified by relational algebra queries
Wei‐Tek Tsai, D. Volovik, Thomas F. Keefe · IEEE Transactions on Software Engineering · 1990
Black-box software testing requires test cases to be generated from specifications alone. However, it is impossible to automate the process completely for arbitrary specifications. Specifications are thus restricted to being written entirely in terms of relational algebra expressions. An automated test case generation method is developed for such specifications.>