GitHub - svlpsu/crete-release: Concolic Recursive Execution Testing Environment

CRETE is a concolic testing tool developed by the System Validation Lab at Portland State University.

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
back-end		back-end
front-end		front-end
lib		lib
misc		misc
test		test
CMakeLists.txt		CMakeLists.txt
LICENSE.TXT		LICENSE.TXT
README.md		README.md

Navigation Menu