print · source · login   

Reading group

What? A regular meeting to discuss research papers
Who? Anyone interested! Professors, post-docs, PhD students, interested master students
Which papers? In the beginning: seminal papers of the area. For example, on the ioco approach. Later: papers that are currently of interest to (some of) the participants
What for?

  • Practice reading and discussion of research papers
  • Sharing interesting research
  • Develop ideas for own research (especially for new PhD students)
  • Entry point for coordination / collaboration

When? Tuesdays at 14:00
Where? On zoom (clickable link)
Preparation? 1. Read paper in advance. 2. Prepare questions and other discussion items
What else? There is a role of discussion lead that will change from meeting to meeting. Often it’s the person who suggested the paper that is being discussed. The discussion lead moderates the meeting, for example, by asking all participants at the beginning of the meeting for their discussion items and then making sure that all main items are addressed during the meeting.

Meetings: planned and past

Paper 15 (Meeting on July 05, 2022)

Paper: Walter Vogler & Gerald Lüttgen: A linear-time branching-time perspective on interface automata. Acta Informatica 2020: 513–550
Discussion lead: Gijs (Up to Section 4.1)

Paper 14 (Meeting on June 21, 2022)

Paper: Melanie Diepenbeck, Ulrich Kühne, Mathias Soeken, Rolf Drechsler: Behaviour Driven Development for Tests and Verification. TAP 2014: 61–77
Discussion lead: Tannaz

Paper 13 (Meeting on June 7, 2022)

Paper: secret (unpublished) paper

Paper 12 (Meeting on May 3, 2022)

Paper: Nan Li, Anthony Escalona, Tariq Kamal: Skyfire: Model-Based Testing with Cucumber. ICST 2016: 393-400
Discussion lead: Tannaz

Paper 11 (Meeting on April 19, 2022)

Paper: Jihyun Lee, Sungwon Kang, Danhyung Lee: A survey on software product line testing. SPLC (1) 2012: 31-40
Discussion lead: Daniel

Paper 10 (Meeting on March 18, 2022)

Paper: Norbert Siegmund, Nicolai Ruckel, Janet Siegmund: Dimensions of software configuration: on the configuration context in modern software development. ESEC/SIGSOFT FSE 2020: 338-349
Discussion lead: Lars

Paper 9 (Meeting on March 1, 2022)

Paper: Damir Nesic, Jacob Krüger, Stefan Stanciulescu, Thorsten Berger: Principles of feature modeling. ESEC/SIGSOFT FSE 2019: 62-73
Discussion lead: Diego

Paper 8 (Meeting on February 15, 2022)

Paper: Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake: A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47(1): 6:1-6:45 (2014), Sections 1-3
Discussion lead: Daniel

Paper 7 (Meeting on February 1, 2022)

Paper: Kästner, Christian, Sven Apel, and Martin Kuhlemann. "Granularity in software product lines." 2008 ACM/IEEE 30th International Conference on Software Engineering. IEEE, 2008.
Discussion lead: Diego

Paper 6 (Meeting on January 18, 2022)

Paper: Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin: Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Software Eng. 39(8): 1069-1089 (2013)

Paper 5 (Meeting on December 21, 2021)

Paper: Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay: Symbolic model checking of software product lines. ICSE 2011: 321-330
Discussion lead: Daniel

Paper 4 (Meeting on December 7, 2021)

Paper: Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay: Merging Features in Featured Transition Systems. MoDeVVa@MoDELS 2015: 38-43
Discussion lead: Diego

Paper 3 (Meeting on November 23, 2021)

Paper: L. de Alfaro and T. A. Henzinger, "Interface automata" ESEC / SIGSOFT FSE 2001: 109–120.
Discussion lead: Gijs

Paper 2 (Meeting on November 2, 2021)

Paper: Daca, Przemyslaw & Henzinger, Thomas & Krenn, Willibald & Nickovic, Dejan. (2014). Compositional Specifications for ioco Testing. ICST 2014.
Discussion lead: Tannaz

Paper 1 (Meeting on October 19, 2021)

Paper: Machiel van der Bijl, Arend Rensink, Jan Tretmans: Compositional Testing with ioco. FATES 2003: 86-100
Discussion lead: Daniel


As preparation for the meeting, please read the paper. It's recommended to make a few notes that could lead to discussion items, for example, based on the following questions:

  • Which questions do you have to the paper?
  • Which insights & other types of value do you take away from it?
  • Do you see relevant connections to other interesting work?