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?
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.
Paper: secret (unpublished) paper
Paper: Petra van den Bos, Jan Tretmans: Coverage-Based Testing with Symbolic Transition Systems. The rest. TAP 2019.
Discussion lead: Gijs
Paper: Petra van den Bos, Jan Tretmans: Coverage-Based Testing with Symbolic Transition Systems. Up to and including Section 3. TAP 2019.
Discussion lead: Gijs
Paper: Petra van den Bos, Jan Tretmans: Coverage-Based Testing with Symbolic Transition Systems. Up to Section 2.4. TAP 2019.
Discussion lead: Gijs
Paper: Ramon Janssen: Refinement and Partiality for Model-Based Testing. Chapter 4, Sections 4.6 & 4.7. Ph.D. thesis, Radboud University, 2022.
Discussion lead: Gijs
Paper: Ramon Janssen: Refinement and Partiality for Model-Based Testing. Chapter 4, Sections 4.5. Ph.D. thesis, Radboud University, 2022.
Discussion lead: Lars
Paper: Ramon Janssen: Refinement and Partiality for Model-Based Testing. Chapter 4, Sections 4.4. Ph.D. thesis, Radboud University, 2022.
Discussion lead: Lars
Paper: Ramon Janssen: Refinement and Partiality for Model-Based Testing. Chapter 4, Sections 4.3.2 and 4.3.3. Ph.D. thesis, Radboud University, 2022.
Discussion lead: Lars
Paper: Ramon Janssen: Refinement and Partiality for Model-Based Testing. Chapter 4, up to, including, 4.3.1. Ph.D. thesis, Radboud University, 2022.
Discussion lead: Lars
Paper: Nikola Benes; Przemyslaw Daca; Thomas A. Henzinger; Jan Kretinsky; Dejan Nickovic: Complete Composition Operators for ioco-Testing Theory. CBSE 2015
Discussion lead: Tanaz
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: Melanie Diepenbeck, Ulrich Kühne, Mathias Soeken, Rolf Drechsler: Behaviour Driven Development for Tests and Verification. TAP 2014: 61–77
Discussion lead: Tannaz
Paper: secret (unpublished) paper
Paper: Nan Li, Anthony Escalona, Tariq Kamal: Skyfire: Model-Based Testing with Cucumber. ICST 2016: 393-400
Discussion lead: Tannaz
Paper: Jihyun Lee, Sungwon Kang, Danhyung Lee: A survey on software product line testing. SPLC (1) 2012: 31-40
Discussion lead: Daniel
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: Damir Nesic, Jacob Krüger, Stefan Stanciulescu, Thorsten Berger: Principles of feature modeling. ESEC/SIGSOFT FSE 2019: 62-73
Discussion lead: Diego
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: 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: 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: Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay: Symbolic model checking of software product lines. ICSE 2011: 321-330
Discussion lead: Daniel
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: L. de Alfaro and T. A. Henzinger, "Interface automata" ESEC / SIGSOFT FSE 2001: 109–120.
Discussion lead: Gijs
Paper: Daca, Przemyslaw & Henzinger, Thomas & Krenn, Willibald & Nickovic, Dejan. (2014). Compositional Specifications for ioco Testing. ICST 2014.
Discussion lead: Tannaz
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: