Я обычно беру за основу тот же автомат, но добавляю пару дополнительных тестов вручную, чтобы отбросить ложные срабатывания. Быстро и с минимальными заморочками — особенно когда адаптируешь под конкретные технологии и фреймворки. Главное — не пытаться сразу всё проверить, а делать проверку по этапам, иначе просто с головой в мусор уйдёшь.