CS 706: Analysis of Software Artifacts (Fall 2001) Notes [Home] [Detailed course content] [Notes] [Assignments] [Tools] [Project] [Messages]

Weekly summaries

• Week 1
• Week 2
• Week 3
• Week 4
• Week 5
• Week 6
• Week 7
• Week 8
• Week 9
• Week 10
• Week 11
• Week 12
• Week 13
• Week 14

Notes, papers, and links

• Note on model checking
• Note on the model checker NuSMV
• Slides used by Patrice Godefroid
• The Microsoft Research SLAM project
• The Ballista homepage
• Slides on hierarchical GUI testing can be found here [1,2].
  Thanks to Atif Memon of University of Maryland for making the slides available.