Я использую инструмент генерации тестов под названием KLEE, который создает множество тестов для...

http://klee.llvm.org/ - это инструмент анализа программ, который работает с помощью символьного...