KLEE Tutorials

1. Tutorial One: Testing a small function.
2. Tutorial Two: Testing a simple regular expression library.
3. Solving a maze with KLEE: A nice explanation of how symbolic execution can be used to generate interesting program inputs. The example shows how to use KLEE to find all the solutions to a maze game.
4. Testing Coreutils: In-depth description of how to use KLEE to test GNU Coreutils.