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
=========

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

7. As we saw in this reading and in the previous two, RV relies on high-quality specifications. Yet, despite decades of research on RV and specification mining, there does not seem to be a set of widely available set of specifications for RV. Desribe your ideas for solving this "specification crisis", and why you think your ideas will succeed. Your ideas cannot be identical to those from the last three readings or those that we discussed in class.