C Path Finder
v1.0.1
Автоматический генератор тестирования модульных тестирования для исходного кода C с использованием запоминаемого символического выполнения и Z3 Solver