This reading asks you to read portions of this paper
(http://www.havelund.com/Publications/mrew-j.pdf), instead of the
whole paper. Specicifically, you are only required to read the
abstract and Sections 1, 2, 4.0, 4.1, and 7. You may skip the proof in
Section 7.

Refer to  Griswold's "How to Read an Engineering Research Paper" in
answering these questions:

Summary
=======

1. What are motivations for this paper?

2. What is the proposed solution?

3. What is the paper's evaluation of the proposed solution?

Analysis
========

4. What is your analysis of the identified problem, idea and evaluation?

5. What are future directions for this research?

Questions
=========

7. What questions are you left with that you'll like to have answered in class?