Вы упоминали тестирование методом white-box. Продукт был на Go? Какими инструментами пользовались?