Testing the Implementation of Business Rules Using Intensional Database Tests | IEEE Conference Publication | IEEE Xplore