Personal tools
You are here: Home

Modified items

All recently modified items, latest first.
File t4-srs.pdf by admin, last updated: Aug 12, 2020 03:37 PM
 
File t3-req-spec.pdf by admin, last updated: Aug 12, 2020 03:37 PM
 
File SafeHome-updated.pptx by admin, last updated: Aug 12, 2020 03:37 PM
 
File lec10-ch8.pptx by admin, last updated: Aug 12, 2020 03:37 PM
 
File lec9-ch7.ppt by admin, last updated: Aug 12, 2020 03:37 PM
 
File lec8-ch5.pptx by admin, last updated: Aug 12, 2020 03:37 PM
 
File lec7-ch4.pptx by admin, last updated: Aug 12, 2020 03:37 PM
 
File HW.pptx by admin, last updated: Aug 12, 2020 03:37 PM
 
File lec6-ch3.pptx by admin, last updated: Aug 12, 2020 03:37 PM
 
File lec5-ch1-2.pptx by admin, last updated: Aug 12, 2020 03:37 PM
 
File lec4-se_intro2.ppt by admin, last updated: Aug 12, 2020 03:37 PM
 
File lec3-se_intro1.ppt by admin, last updated: Aug 12, 2020 03:37 PM
 
File lec1-intro-quality-SW.pptx by admin, last updated: Aug 12, 2020 03:37 PM
 
File Final Thoughts by admin, last updated: Aug 12, 2020 03:37 PM
My journey from proving correctness to hunting bugs
File Static Analysis by admin, last updated: Aug 12, 2020 03:37 PM
My take on static and how to find bugs by using it
File Counting New Ideas by admin, last updated: Aug 12, 2020 03:37 PM
How you can use counting information for coverage, program correctness ranking and mutation operator analysis
File Probabilistic Symbolic Execution and Green by admin, last updated: Aug 12, 2020 03:37 PM
Day 4 slides focussing on GREEN and Probabilistic Symbolic Execution
File SMT solving by admin, last updated: Aug 12, 2020 03:37 PM
Slides by Matt Dwyer on SMT solving.
File SymbolicvsConcolic by admin, last updated: Aug 12, 2020 03:37 PM
Difference between classic symbolic and concolic
File Symbolic Execution by admin, last updated: Aug 12, 2020 03:37 PM
Slides for Day 3, part 1 of 3
 
« Previous 20 items Next 20 items » 1 … 22 23 24 25 26 27 28 … 102