Вопрос не имеет практической ценности. Может ли автоматизированное тестирование заменить ручное? Может и может, но это никому не нужно, так как это будет слишком долго и дорого, т.е. не выгодно.
«теоретически невозможно написать программу достоверно валидирующую другую программу» — теоретически невозможно создать человека достоверно валидирующего программу, вопрос только в том кому вы больше доверяете.
«теоретически невозможно написать программу достоверно валидирующую другую программу» — теоретически невозможно создать человека достоверно валидирующего программу, вопрос только в том кому вы больше доверяете.