Why combinatorial testing works: Analyzing minimal failure-causing schemas in logic expressions | IEEE Conference Publication | IEEE Xplore