Bixie: Finding and Understanding Inconsistent Code | IEEE Conference Publication | IEEE Xplore