Describir: Why software testing is sometimes ineffective: two applied studies of positive test strategy.