- Tutorial One: Testing a small function.
- Tutorial Two: Testing a simple regular expression library.
- 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.
- Testing Coreutils: In-depth description of how to use KLEE to test GNU Coreutils.