Controlling factors in evaluating path-sensitive error detection techniques