GitHub - zhenkun/crete-release: Concolic Recursive Execution Testing Environment · GitHub

Name		Name	Last commit message	Last commit date
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

Repository files navigation

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

About

Concolic Recursive Execution Testing Environment

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages