Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions | IEEE Conference Publication | IEEE Xplore