Command-Form Coverage for Testing Database Applications | IEEE Conference Publication | IEEE Xplore