Automated test case generation for programs specified by relational algebra queries | IEEE Journals & Magazine | IEEE Xplore