Help:
There are office hours, but you can always send me e-mail to set up
an individual appointment. I am always glad to help you.
Whenever you get lost, desire help, or just want to talk, please see
me --- don't let yourself fall behind!
Calendar:
First meeting:
2008-01-07
Last meeting:
2008-04-01
Final project report due:
2008-04-20
Course Information
The nature of this course is like a reading
group or seminar, where students read, present, and discuss recent
achievements in the area. At many other universities students have to
organize such reading groups on their own, but at SFU you have the
privilige to even get credits for participating in such a reading
course.
In order to register for the course, you have to download, print, sign,
and submit the registration form
to the CS graduate program assistant (Val). Everybody is welcome, even
without registration.
Syllabus
This course explores cutting-edge research results in
the area of software verification. Students will read and discuss
recent articles on static program analysis, software model checking,
test-case generation, randomized testing, and web-service
verification. A special focus will be
the emerging unification of program analysis and software model
checking in practice, and the symbiosis of testing with program
analysis. In a semester project, the students will explore current
tools that implement the latest research results in this area.
Static program analysis
Software model checking
Randomized testing
Automatic test-case generation
Web-service verification
Reading Assignments, Time Plan
The links below point to articles and presentation files that the
students have used.
Meeting 1 (2008-01-07):
Dirk: Motivation, Organization
Meeting 2 (2008-01-14):
Ashgan: Paper(CCVisu
at ICPC'05), Presentation ( ppt local,
ppt remote)
Pashootan: no presentation
Meeting 3 (2008-01-21):
Ashgan: Dependency Visualization Tools + Demo of Creole
Software, Presentation
Pashootan: "Program Analysis with Dynamic Change of
Percision", Presentation
Meeting 4 (2008-01-28):
Ashgan: Paper:
"Mining Version Archives for Co-changed Lines at ICSE'06", Presentation
Pashootan: "Program Analysis with Dynamic Change of
Precision", Presentation
Meeting 5 (2008-02-04):
Ashgan: A Hierarchical Measure For Software Complexity, Presentation
Pashootan: "Software Model-Checking via Large-Block
Encoding", Presentation
Meeting 6 (2008-02-11):
No meeting.
Ashgan: Paper1,
Paper2:
Reviewing ICSE proceedings on Dependency Tracking Using Version
History, Presentation
Meeting 7 (2008-02-18):
Ashgan: Paper:"An
Empirical Study of Software Developers’ Management of Dependencies and
Changes", Presentation
Pashootan: "The Software Model Checker BLAST", Presentation
Meeting 8 (2008-02-25):
Ashgan: Paper1,
Paper2:
Referenced Papers -- Automatic Inference of Structural Changes For
Matching, Presentation
Pashootan: "Checking Memory Safety And Test Generation Using
BLAST", Presentation
Ashgan: A Full Demo of the Implemented Project + Receiving
Comments
Pashootan: Project Presentation - Uninitialized Variables and Constant PropagationPresentation
Grading
The course grade will be based on the results on the reading
assignments, presentations and discussion contributions (40%), and the
results (paper and presentation) of the course project (60 %).