Идея пришла во время обсуждения разработки основаной на тестах. Врятли это можно будет использовать на практике но идея проста. Это иметь автоматизированый тест, который будет проверять все возможные пути выполнения програмы, и смотреть за статусом переменых, и общего состояния програмы. Т.е. так же как и искуственный интелект для игры в шахматы.
Разумеется, т.к. это милионы возможностей, то нужны варианты это упростить и кое где сумировать выполнение тестов. Это может быть основано на общем статусе програмы и переменных.