Personal tools
You are here: Home

Modified items

All recently modified items, latest first.
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
File Statistical Model Checking by admin, last updated: Aug 12, 2020 03:37 PM
Survey by A Legay published at RV 2010
File Model Checking Day 2 Slides by admin, last updated: Aug 12, 2020 03:37 PM
Mostly about Software Model Checking
File Property Specification Patterns by admin, last updated: Aug 12, 2020 03:37 PM
Original Paper by Dwyer et al at ICSE 1999
File Slides for Day 1 by admin, last updated: Aug 12, 2020 03:37 PM
Model Checking Algorithms
File Hidden Models of Model Checking by admin, last updated: Aug 12, 2020 03:37 PM
Software and System Modeling 11(4): 541-555 (2012) http://link.springer.com/article/10.1007%2Fs10270-012-0281-9
Special Lecture: Advanced Software Analysis by Prof. Willem Visser Nov 24-28 2014 by admin, last updated: Aug 12, 2020 03:37 PM
 
CS350 Intro to SE, Spring 15 by admin, last updated: Aug 12, 2020 03:37 PM
 
CS350 Intro. to SE Spring 15 by admin, last updated: Aug 12, 2020 03:37 PM
 
Advanced Software Analysis by admin, last updated: Aug 12, 2020 03:37 PM
 
CS750 Advanced Automated Software Testing, Fall 14 by admin, last updated: Aug 12, 2020 03:36 PM
 
File testcase-purification-for-improving-fault-localization by Taehoon Kwak, last updated: Aug 12, 2020 03:36 PM
 
File AutomatedUnitTestGenerationforClasseswithEnvironmentDependenciesv6.pptx by Yongbae Park, last updated: Aug 12, 2020 03:36 PM
 
 
« Previous 20 items Next 20 items » 1 … 23 24 25 26 27 28 29 … 102