Automatically Detecting Integrity Violations in Database-Centric Applications | IEEE Conference Publication | IEEE Xplore