An Approach of Automated Test Cases Generation in Database Stored Procedure Testing | IEEE Conference Publication | IEEE Xplore