Detecting Isolation Bugs via Transaction Oracle Construction | IEEE Conference Publication | IEEE Xplore