Index of /~michal/book/slides/ppt

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]PezzeYoung-Ch06-DataFlow.ppt2011-04-26 12:11 195K 
[ ]PowerPoint Temp 02011-04-26 12:11 242K 
[ ]PezzeYoung-Ch23-Tools.ppt2011-04-26 12:11 238K 
[ ]PezzeYoung-Ch09-Adequacy.ppt2011-04-26 12:11 61K 
[ ]PezzeYoung-Ch14-ModelBased.ppt2011-04-26 12:11 482K 
[ ]PezzeYoung-Ch10-Functional.ppt2011-04-26 12:11 191K 
[ ]PezzeYoung-Ch01-Nutshell.ppt2011-04-26 12:11 206K 
[ ]PezzeYoung-Ch02-Framework.ppt2011-04-26 12:11 517K 
[ ]PezzeYoung-Ch16-fault-based.ppt2011-04-26 12:11 165K 
[ ]PezzeYoung-Ch13-DFTest.ppt2011-04-26 12:11 70K 
[ ]PezzeYoung-Ch22-System.ppt2011-04-26 12:11 305K 
[ ]PezzeYoung-Ch08-FiniteState.ppt2011-04-26 12:11 571K 
[ ]PezzeYoung-Ch05-FiniteModels.ppt2011-04-26 12:11 379K 
[ ]PezzeYoung-Ch21-integration.ppt2011-04-26 12:11 391K 
[ ]PezzeYoung-Ch11-Combinatorial.ppt2011-04-26 12:11 424K 
[ ]PezzeYoung-Ch19-ProgramAnalysis.ppt2011-04-26 12:11 538K 
[ ]PezzeYoung-Ch04-Process.ppt2011-04-26 12:11 172K 
[ ]PezzeYoung-Ch15-OOTesting.ppt2011-04-26 12:11 1.8M 
[ ]PezzeYoung-Ch24-Documentation.ppt2011-04-26 12:11 99K 
[ ]PezzeYoung-Ch07-SymbolicExecution.ppt2011-04-26 12:11 198K 
[ ]PezzeYoung-Ch12-Structural.ppt2011-04-26 12:11 1.1M 
[ ]PezzeYoung-Ch03-Principles.ppt2011-04-26 12:11 70K 
[ ]PezzeYoung-Ch17-execution.ppt2011-04-26 12:11 406K 
[ ]PezzeYoung-Ch20-Planning.ppt2011-04-26 12:11 1.0M