Seminar: Advanced Techniques in Software Analysis:
Current Issues:
- The organisational slides are now online in Panda, we assume their content to be known by everyone.
- Most likely the seminar will be held online entirely.
Language:
The language of the seminar is English, i.e. you will need to give your presentation in English as well as write your report in English.
Important Dates/Deadlines:
- 19.04.2020 - Submission of a ranking of your five most favorite papers to Jürgen König via email.
- 22.05.2020 First online meeting with your supervisor regarding your paper
- 05.06.2020 Submission of the first version of your report
- 12.06.2020 Submission of peer reviews
- 19.06.2020 Submission of your final report version
- 26.06.2020 Submission of your first version of your slides
- 06.07.2020 - 09.07.2020 Online Talks
Questions:
Questions regarding the seminar are answered by Jürgen König.
Requirements for passing the seminar
- give an approx. 30-minute talk and prepare for a follow up discussion,
- write a report (8 - 10 pages),
- active participation in the discussion,
- adhere to the dates and appointments,
- and review reports of two other participants
There are three mandatory virtual meetings: one to discuss the contents of the paper, one to discuss the first version of your report and one for the first version of your slides.
YOU are responsible for fixing appointments for these meetings. If you miss any of the meetings, you fail the seminar.
Topics:
- "Check 'n' Crash: Combining Static Checking and Testing" - Christoph Csallner, Yannis Smaragdakis, 2005
- "Conditional Model Checking: A Technique to Pass Information between Verifiers" - Beyer et al., 2012
- "Loop Invariants from Counterexamples" - Greitschus et al, 2017
- "Augmenting Fuzzing Through Selective Symbolic Execution" - Stephens et al., 2016
- "Fuzzing with Code Fragments" - Holler et al., 2012
- "Analysis for Machine Learning Programs" - Dolby et al., 2017
- "GRT: Program-Analysis-Guided Random Testing" Ma et al., 2015
- "Bounded Rational Search for On-the-fly Model Checking of LTL Properties" - Behjati et al., 2015
- "ICE: A Robust Framework for Learning Invariants" - Garg et al., 2014
- "Search-Based Energy Testing of Android" - Jabbarvand et al., 2019
- "Scaling Symbolic Execution using Ranged Analysis" - Siddiqui et al., 2012
- "Symbolic Execution for Software Testing: Three Decades Later" Cadar et al., 2013
- "Runtime Verification for Software Transactional Memories" - Vasu Singh, 2010
- "Detecting Atomic-Set Serializability Violations in Multithreaded Programs through Active Randomized Testing" - Lai et al., 2010
- "Implementing and Evaluating a Model Checker for Transactional Memory Systems" - Baek et al., 2010
- "Systematically Covering Input Structure" - Zeller et al., 2019
- "Monitoring Atomicity in Concurrent Programs" - Farzan et al., 2008
- "Proving Non-opacity" - Lesani et al., 2013