Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right) Show image information

Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right)

Seminar: Advanced Techniques in Software Analysis:

Current Issues:

  • The organisational slides are now online in Panda, we assume their content to be known by everone.
  • 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:

  1. "Check 'n' Crash: Combining Static Checking and Testing" -  Christoph Csallner, YannisSmaragdakis, 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
Contact

Prof. Dr. Heike Wehrheim

Specification and Modelling of Software Systems

Heike Wehrheim
Phone:
+49 5251 60-4331
Office:
O4.225
Web:

Jürgen König

Specification and Modelling of Software Systems

Jürgen König
Phone:
+49 5251 60-1715
Office:
O4.134
Web:

Jan Haltermann, M.Sc.

Specification and Modelling of Software Systems

Jan  Haltermann
Phone:
+49 5251 60-1709
Fax:
+49 5251 60-3993
Office:
O4.131
Web:

Office hours:

Availability (Working hours):
Monday - Friday
08:30 am until 15:30 pm

Calender

Cedric Richter

Specification and Modelling of Software Systems

Cedric Richter
Phone:
+49 5251 60-1762
Office:
O4.122
Web:

Office hours:

Monday - Friday

8am until ~4pm

Felix Pauck

Specification and Modelling of Software Systems

Felix Pauck
Phone:
+49 5251 60-1765
Fax:
+49 5251 60-3993
Office:
O4.122
Web:

Office hours:

Availability (Working hours):
Monday - Friday
07:00 am until ~03:30 pm

Arnab Sharma

Specification and Modelling of Software Systems

Arnab Sharma
Phone:
+49 5251 60-5388
Fax:
+49 5251 60-3993
Office:
O4.131
Web:

The University for the Information Society