Research Papers

In the 2nd part of this course each participant has to summarize one research paper. The summary should be less than or equal to two pages long and summarize the most important contributions of the paper. This is a mandatory task (new examination regulations).

Write your summary in LaTeX and use the template provided in koaLA (Submissions that do not use this template will not be accepted): Lecture/template.zip (or ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip)

Due date: 15.01.2018

The available papers are:

1) Andreas Zeller: Yesterday, My Program Worked. Today, It Does Not. Why?
http://dl.acm.org/citation.cfm?id=318946

2) Manu Jose, Rupak Majumdar: Cause clue clauses: error localization using maximum satisfiability.
http://dl.acm.org/citation.cfm?id=1993550

3) Michael Pradel, Thomas R. Gross: Automatic testing of sequential and concurrent substitutability.

4) Christian Holler, Kim Herzig, Andreas Zeller: Fuzzing with code fragments

www.usenix.org/system/files/conference/usenixsecurity12/sec12-final73.pdf

5) William Enck, Peter Gilbert, Byung-Gon Chun, Landon P. Cox, Jaeyeon Jung, Patrick McDaniel, Anmol N. Sheth: TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones
https://www.usenix.org/legacy/event/osdi10/tech/full_papers/Enck.pdf