Wei-Tek Tsai, Dmitry Volovik, Thomas F. Keefe, Mohamed E. Fayad. Automatic test case generation from relational algebra queries. In Twelfth International Computer Software and Applications Conference, COMPSAC 1988, Proceedings, Chicago, IL, USA, 5-7 October, 1988. pages 252-258, IEEE, 1988. [doi]
Abstract is missing.