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.