Testing through Substitution