Boolean Differentiation for Formalizing Myers' Cause-Effect Graph Testing Technique | IEEE Conference Publication | IEEE Xplore