sajedjalil / C-Path-Finder Public

Notifications You must be signed in to change notification settings
Fork 4
Star 12

An automatic test case generator for C source code using Memorized Symbolic Execution

12 stars 4 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 32 Commits
Documentation		Documentation
resources		resources
src		src
test		test
z3		z3
.classpath		.classpath
.gitattributes		.gitattributes
.gitignore		.gitignore
.project		.project
LICENSE		LICENSE
README.md		README.md

Repository files navigation

C-Path-Finder

An automatic unit test case generator for C source code using Memorized Symbolic Execution & z3 solver

About

An automatic test case generator for C source code using Memorized Symbolic Execution

java testing static-analysis symbolic-execution test-generator

Report repository

Releases 2

C Path Finder v1.0.1 Latest

Packages

No packages published

Languages