KLEE: автоматическое создание высокого покрытия без посторонней помощи - это символическая виртуальная машина, построенная на основе инфраструктуры компилятора LLVM.

KLEE - это инструмент для символьного выполнения, способный автоматически генерировать тесты, обеспечивающие высокий охват разнообразного набора сложных и экологически интенсивных программ. KLEE также может использоваться для поиска ошибок.

Домашняя страница

Публикация KLEE