- Google Tech Talk on Symbolic Execution
Presented at Google as an invited Tech Talk in October 2006. There is even a video
of this, but only available to Google employees. Everythign you ever wanted to know about
symbolic execution as we do it. Bit of marketing propaganda thrown in for good measure.
- Java PathFinder Tutorial
This is a comprehensive tutorial of JPF vresion 4 that was given at ASE 2006 in Tokyo.
It is required reading if you want to know some of the nifty tricks you can employ with
JPF. There are also code that goes with this presentation in the SVN JPF repository on
sourceforge, look in the examples/ase2006 directory.
- Software Model Checking Tutorial
This is a historical overview of model checking for software with a distinct JPF-slant
This was presented as a tutorial at ASE 2002 and a number of times afterwards at different places
- Symbolic Execution and Test-input Generation
This showcases how JPF with symbolic execution can be used to generate tests for branch-coverage of red-black trees
This presentation is a mix of ones given at University of Utah, BYU and UC Santa Cruz in early 2004
- Experimental Evaluation of V&V Tools on Martian Rover Software
Results from the case study where we compared testing with static analysis, model checking and runtime analysis
Presented at the SEI Software Model Checking Workshop in 2003
This holds no punches - read at own risk!