Computer Science 521/621

Lecture Notes

Home
Schedule
Reading List
Lecture Notes
Homework
Title
2 slides
6 slides
Course Info
Software Crisis
Foundations
Silver Bullet
Inspections

3b

Dynamic Analysis Intro
Assertions
Assertions in JML
Error Seeding and Mutation Testing
Dataflow Coverage
Dependency Analysis
Fault Based Testing
Regression Testing - Revised

10

Agile Methods and Unit Testing
Unit Testing with JUnit
Testing Review
Symbolic Evaluation/Execution
Formal Verification
More Verification
Data-flow Analysis
Projects
Data-flow Frameworks - revised

17

State Propagation
Concurrent and Distributed Systems
Reachability graphs
Finite State Verification
Wrap-up
Using Analysis Techniques to Reduce Medical Errors
 

© 2010, Lori A. Clarke
Many of the materials created for this course are the intellectual property of the instructor, this includes, but is not limited to, the syllabus, lectures and course notes. Except to the extent not protected by copyright law, any use, distribution or sale of such materials requires the permission of the instructor. Please be aware that it is a violation of University policy to reproduce, for distribution or sale, class lectures or class notes, unless copyright has been explicitly waived by the faculty member.