Pruning Testing Trees in the Test Template Framework by Detecting Mathematical Contradictions.

Maximiliano Cristi, Pablo Albertengo, Pablo Rodrguez Monetti

Browse the full SEFM paper archive.