Program Analysis and Testing of Database Applications | IEEE Conference Publication | IEEE Xplore