В течение многих лет я экспериментировал с техникой, называемой символическим выполнением, которая автоматически генерирует тестовые входные данные, вызывающие сбой компьютерных программ. Хотя большинство сбоев сами по себе безобидны (хотя и раздражают!), тот факт, что программа может завершиться сбоем в результате действий пользователя вообще , часто означает, что в программе есть более глубокий недостаток, возможно, такой, который может даже могут быть использованы злоумышленниками..