Inferential Checking for Mutants Modifying Database States | IEEE Conference Publication | IEEE Xplore