Summary for Week 14
-
Lectures 30: We discussed how to build Markov chains from a corpus of data. We also
finihsed discussed fundamentals of Markov chains, such as steady state probabilities and
how to compute them.
Date: Mon, 12/03/01.
-
Lectures 31: We discussed test case generation for Graphical User Interfaces (GUIs). Our
discussion was based on the following paper:
- Hierarchical GUI Test Case Generation Using Automated Planning, A.M. Memon, M.E. Pollack,
and M.L. Soffa, IEEE Transactions on Software Engineering, 27(2), 144-155, February 2001.
Additional slides on the subject can be found here (1,2)). Thanks to Atif Memon of University of Maryland for making the slides available.
Date:Wed, 12/05/01.
Lecture 32: We discussed an interesting paper checks whether a system satisfies rules given
by the programmer. Our discussion was based on the following paper:
- Checking System Rules Using System Specific, Programmer-Written Compiler Extensions, D. Engler,
B. Chelf, A. Chou, and S. Hallem, in Proceedings of the Fourth Symposium on Operating Systems Design
and Implementation (OSDI), San Diego, CA, October, 2000.
Date:Fri, 12/07/01.