1. The most important work in Software Verification
Original authors Affiliations  Publication conference, time   Reporter Name, ID
Software Testing Midterm Literature Reading Report, NTUEE, Fall 2016

2. Introduction - Background
The environment of the work …. The darkness before the dawn ….
Software Testing Midterm Literature Reading Report, Fall 2016

3. Introduction - Motivation
Why there is an important problem ?
Brief problem definition.
How can the solution of the problem be valuable ?
Why people want to use it ?
Why people want to pay for it ?
Software Testing Midterm Literature Reading Report, Fall 2016

4. Introduction - Solution
What is the proposal ?
Why can it solve the problem ?
Why is it correct ?
Why it performs efficiently ?
How to design and evaluate the experiment, if any ?  
Software Testing Midterm Literature Reading Report, Fall 2016

5. Software Testing Midterm Literature Reading Report, Fall 2016
Related work
What has people already done ?
What is the contribution of the work comparing to related work ?
Software Testing Midterm Literature Reading Report, Fall 2016

6. Software Testing Midterm Literature Reading Report, Fall 2016
Running Example
A small example from practical world to explain
the motivation,
the challenges,
the solution,
the correctness of the solution, and
the efficiency of the solution.
Software Testing Midterm Literature Reading Report, Fall 2016

7. Software Testing Midterm Literature Reading Report, Fall 2016
Solution
Rigorously define the problem.
Define the solution formally.
Argue for the correctness or performance of the solution.
Software Testing Midterm Literature Reading Report, Fall 2016

8. Software Testing Midterm Literature Reading Report, Fall 2016
Experiment
The benchmarks,
the experiment platform,
the experiment data,
the analysis (why it solves the problem),
threats to validity.
Software Testing Midterm Literature Reading Report, Fall 2016

9. Software Testing Midterm Literature Reading Report, Fall 2016
Conclusion
Contribution recalled
Future work of the author
Your evaluation of the work ?
Your future work ?
Software Testing Midterm Literature Reading Report, Fall 2016

10. Software Testing Midterm Literature Reading Report, Fall 2016
Solution
Related work
What has people already done ? What is the contribution of the work comparing to related work ?
Motivating example
A small example from practical world to explain the motivation, the challenges, the solution, the correctness of the solution, and the efficiency of the solution.
Solution
Rigorously define the problem. Define the solution formally. Argue for the correctness or performance of the solution.
5. Experiment
The benchmarks, the experiment platform, the experiment data, the analysis (why it solves the problem), threats to validity.
Conclusion
Software Testing Midterm Literature Reading Report, Fall 2016