Se­mi­nar: Ad­van­ced Tech­ni­ques in Soft­ware Ana­ly­sis:

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.


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 regarding the seminar are answered by Jürgen König.

Re­qui­re­ments for pas­sing the se­mi­nar

  • 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.


  1. "Check 'n' Crash: Combining Static Checking and Testing" -  Christoph Csallner, Yannis Smaragdakis, 2005
  2. "Conditional Model Checking: A Technique to Pass Information between Verifiers" - Beyer et al., 2012
  3. "Loop Invariants from Counterexamples" -  Greitschus et al, 2017
  4. "Augmenting Fuzzing Through Selective Symbolic Execution" - Stephens et al., 2016
  5. "Fuzzing with Code Fragments" - Holler et al., 2012
  6. "Analysis for Machine Learning Programs" - Dolby et al., 2017
  7. "GRT: Program-Analysis-Guided Random Testing" Ma et al., 2015
  8. "Bounded Rational Search for On-the-fly Model Checking of LTL Properties" - Behjati et al., 2015
  9. "ICE: A Robust Framework for Learning Invariants" - Garg et al., 2014
  10. "Search-Based Energy Testing of Android" - Jabbarvand et al., 2019
  11.  "Scaling Symbolic Execution using Ranged Analysis" - Siddiqui et al., 2012
  12.  "Symbolic Execution for Software Testing: Three Decades Later" Cadar et al., 2013
  13. "Runtime Verification for Software Transactional Memories" - Vasu Singh, 2010
  14. "Detecting Atomic-Set Serializability Violations in Multithreaded Programs through Active Randomized Testing" - Lai et al., 2010
  15. "Implementing and Evaluating a Model Checker for Transactional Memory Systems" - Baek et al., 2010
  16. "Systematically Covering Input Structure" - Zeller et al., 2019
  17. "Monitoring Atomicity in Concurrent Programs" - Farzan et al., 2008
  18. "Proving Non-opacity" - Lesani et al., 2013
business-card image

Jürgen König

Spezifikation und Modellierung von Softwaresystemen

E-Mail schreiben +49 5251 60-1715
business-card image

Jan Haltermann

Spezifikation und Modellierung von Softwaresystemen

E-Mail schreiben +49 5251 60-1709
business-card image

Cedric Richter

Spezifikation und Modellierung von Softwaresystemen

E-Mail schreiben +49 5251 60-1762
business-card image

Felix Pauck

Spezifikation und Modellierung von Softwaresystemen

E-Mail schreiben +49 5251 60-1765
business-card image

Arnab Sharma

Spezifikation und Modellierung von Softwaresystemen

E-Mail schreiben +49 5251 60-5388