Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
10-Testing-system.pdf | 2002-03-07 11:44 | 51K | ||
09-Test-Oracles.ppt.pdf | 2002-03-07 11:44 | 37K | ||
08-Testing-overview.ps | 2002-03-07 11:44 | 314K | ||
08-Testing-overview.pdf | 2002-03-07 11:44 | 53K | ||
07-Process-Algebra.ps | 2002-03-07 11:44 | 1.2M | ||
07-Process-Algebra.pdf | 2002-03-07 11:44 | 126K | ||
06-Static-Analysis.pdf | 2002-03-07 11:44 | 49K | ||
05-ModelChecking.ps | 2002-03-07 11:44 | 181K | ||
05-ModelChecking.pdf | 2002-03-07 11:44 | 22K | ||
04-FV-intro.ps | 2002-03-07 11:44 | 170K | ||
04-FV-intro.pdf | 2002-03-07 11:44 | 41K | ||
03-Inspections.ps | 2002-03-07 11:44 | 116K | ||
03-Inspections.pdf | 2002-03-07 11:44 | 54K | ||
02-Process.pdf | 2002-03-07 11:44 | 43K | ||
01-Qualities.pdf | 2002-03-07 11:44 | 62K | ||