(c) 2007 Mauro Pezzè & Michal Young Ch 17, slide 1 Test Execution.
PezzeYoung-Ch02-Framework.pdf
PezzeYoung-Ch04-Process.pdf
(c) 2007 Mauro Pezzè & Michal Young Ch 7, slide 1 Symbolic Execution and Proof of Properties.
(c) 2007 Mauro Pezzè & Michal Young Ch 14, slide 1 Model based testing.
(c) 2007 Mauro Pezzè & Michal Young Ch 20, slide 1 Planning and Monitoring the Process.
(c) 2007 Mauro Pezzè & Michal Young Ch 4, slide 1 Test and Analysis Activities within a Software Process.
(c) 2007 Mauro Pezzè & Michal Young Ch 23, slide 1 Automating Analysis and Test.
(c) 2007 Mauro Pezzè & Michal Young Ch 8, slide 1 Finite State Verification.
(c) 2007 Mauro Pezzè & Michal Young Ch 22, slide 1 System, Acceptance, and Regression Testing.