-
Notifications
You must be signed in to change notification settings - Fork 5
Home
Welcome to the Symbolic Execution-based Test Tool Evaluator (SETTE) wiki!
With the SETTE framework (not only symbolic execution-based) test generators can be evaluated and compared. Our objective was to give a fine-grained feedback on several test generators. Some code snippets have been implemented (see sette-snippets) and then the test generators generated test inputs for them.
Currently, the following tools are supported by SETTE (completely automatic execution evaluation):
- CATG: https://github.com/ksen007/janala2
- jPET: http://costa.ls.fi.upm.es/pet/
- Symbolic PathFinder (SPF): http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc
In addition, we have evaluated two other tools manually:
If you are interested in SETTE, please see the general overview of the Approach, then head to the Install Instructions page and please follow the tutorial (How to Use SETTE). All the experiment results can be found in the sette-results repository. If you have any questions or remarks, please feel free to contact us.