Протестировал(@sqaunderhood). Хронология развития инструментов для символьного тестирования, фаззинга и проверки моделей.https:/

Протестировал

1808 @sqaunderhood

Открыть

Фильтрованный контент о тестировании и качестве ПО.

@sqaunderhood 7 лет назад

Хронология развития инструментов для символьного тестирования, фаззинга и проверки моделей.

https://github.com/enzet/symbolic-execution