se492 Software Verification - year 20112012, semester Fall, Undergraduate
Lectures Notes
FileTypeNotes
Lect 1 software_confirmation.ppt Lectures Notes
Lect 2 software_testing.ppt Lectures Notes
Lect 3 Software Testing Fundamentals .ppt Lectures Notes
Lect 5 Soft_testing_Design.ppt Lectures Notes
lect 6 controlflow-testing.ppt Lectures Notes
lect 7 dataflow-testing.ppt Lectures Notes
Lect 8 testing tools.ppt Lectures Notes
Ch01-whyTest.ppt Lectures Notes
Ch1-junit.ppt Lectures Notes
Ch02-mdtd.ppt Lectures Notes
Ch2-1-2-overviewGraphCoverage.ppt Lectures Notes
Ch2-6-useCases.ppt Lectures Notes
Ch2-3-sourceCode.ppt Lectures Notes