frog_test

State-of-the-art automatic testing framework

Frog Testing Script/ Tools/ Original Source Code files

frog_pointer_support.py: main python for integration of KLEE and Tarantula, creating automatic, unassisted testing framework.
support_frog.py: support functions of Frog, mainly Tarantula implementations
tools/ : Folder of KLEE Symbolic Execution Enginee
*.c: Original testing file
*.test.c: Instrumented testing file with symbolization command
*.replay.c: Modified testing file for replaying of test cases

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
code		code
tools		tools
README.md		README.md
frog_pointer_support.py		frog_pointer_support.py
support_frog.py		support_frog.py