ICST 2023
Sun 16 - Thu 20 April 2023 Dublin, Ireland
ICST 2023 (series) / Clayton Hotel Cardiff Lane /

Room information: Hanover

VenueClayton Hotel Cardiff Lane
Room nameHanover
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 16 Apr

Displayed time zone: Dublin change

09:00 - 10:30
KeynoteTestEd at Hanover
Chair(s): José Miguel Rojas The University of Sheffield
09:30
60m
Keynote
Teaching Software Testing for Fun
TestEd
K: Gordon Fraser University of Passau
11:00 - 12:30
Session 1TestEd at Hanover
Chair(s): Bingyang Wei Texas Christian University
11:00
20m
Talk
Gamekins: Gamifying a Software Testing Course with Continuous Integration
TestEd
I: Philipp Straubinger University of Passau
11:20
20m
Paper
ISTQB-based Software Testing Education: Advantages and Challenges
TestEd
A: Attila Szatmári Szegedi Tudományegyetem, A: Tamás Gergely Department of Software Engineering, University of Szeged, A: Árpád Beszédes Department of Software Engineering, University of Szeged
11:40
20m
Paper
On the Current State of Academic Software Testing Education in Sweden
TestEd
A: Ayodele Barrett Mälardalen University, A: Eduard Paul Enoiu Mälardalen University, A: Wasif Afzal Mälardalen University
Pre-print
14:00 - 15:30
Session 2TestEd at Hanover
Chair(s): Upsorn Praphamontripong University of Virginia
14:00
20m
Paper
An Empirical Evaluation of Regular and Extreme Mutation Testing for Teaching Software Testing
TestEd
A: Martin Balfroid , A: Pierre Luycx University of Namur, A: Benoît Vanderose University of Namur, A: Xavier Devroey University of Namur
Pre-print
14:20
20m
Paper
Teaching Test-Driven Development and Object-Oriented Design by Example
TestEd
A: Bingyang Wei Texas Christian University
14:40
20m
Paper
Process Oriented Guided Inquiry-based learning -like pedagogy (POGIL-like) in Online Software Testing and DevOps – A Replication Study
TestEd
A: Bhuvaneswari Gopal University of Nebraska-Lincoln, A: Steve Cooper University of Nebraska, Lincoln
16:00 - 17:30
Session 3TestEd at Hanover
Chair(s): Lin Deng Towson University
16:00
10m
Paper
Intracompany Training in Software Testing: Experience Report
TestEd
A: Iosif Itkin Exactpro Systems, A: Natia Sirbiladze Exactpro Systems, A: Elena Treshcheva Exactpro Systems, A: Rostislav Yavorskiy Exactpro Systems
16:10
10m
Paper
Code Critters: A Block-Based Testing Game
TestEd
A: Philipp Straubinger University of Passau, A: Laura Caspari University of Passau, A: Gordon Fraser University of Passau
Pre-print
16:20
20m
Paper
ChatGPT and Software Testing Education: Promises & Perils
TestEd
A: Sajed Jalil George Mason University, A: Suzzana Rafi , A: Thomas LaToza George Mason University, A: Kevin Moran George Mason University, A: Wing Lam George Mason University
Pre-print
16:40
50m
Panel
Panel Discussion on ChatGPT
TestEd

Mon 17 Apr

Displayed time zone: Dublin change

16:00 - 18:00
Session 7: Testing for Safery & Security Industry / Research Papers / Journal-First Papers / Previous Editions at Hanover
Chair(s): Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
16:00
20m
Talk
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study
Industry
Baharin Aliashrafi Jodat University of Ottawa, Shiva Nejati University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Patricio Saavedra RabbitRun Technologies Inc
Pre-print
16:20
20m
Talk
Test environments for large-scale software systems – an industrial study of intrinsic and extrinsic success factors
Journal-First Papers
Torvald Mårtensson Saab AB, Göran Ancher Saab AB, Daniel Ståhl Ericsson AB
16:40
20m
Talk
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs
Previous Editions
Shaukat Ali Simula Research Laboratory, Paolo Arcaini National Institute of Informatics , Xinyi Wang , Tao Yue Simula Research Laboratory
DOI
17:00
20m
Talk
Heap Fuzzing: Automatic Garbage Collection Testing with Directed Random Events
Research Papers
Guillermo Polito Inria, Cristal, UMR 9189, Université de Lille, Pablo Tesone Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium, Jean Privat Université du Québec à Montréal (UQAM), Nahuel Palumbo Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Stéphane Ducasse Inria; University of Lille; CNRS; Centrale Lille; CRIStAL
17:20
20m
Talk
MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts
Research Papers
Huadong Feng University of Texas at Arlington, Xiaolei Ren University of Texas at Arlington, Qiping Wei University of Texas at Arlington, Jeff Yu Lei University of Texas at Arlington, Raghu Kacker National Institute of Standards and Technology, Richard Kuhn National Institute of Standards and Technology, Dimitris Simos SBA Research

Thu 20 Apr

Displayed time zone: Dublin change

09:00 - 10:30
Morning Session 1A-MOST at Hanover
Chair(s): Cristina Seceleanu Mälardalen University
09:00
15m
Day opening
Welcome and Opening Message A-MOST 23
A-MOST
Florian Lorber Aalborg University, Cristina Seceleanu Mälardalen University, Uraz Cengiz Türker Lancaster University (UK)
09:15
75m
Keynote
Keynote: Principles of Model-Based Testing
A-MOST
Jan Tretmans Radboud University Nijmegen, TNO-ESI
11:00 - 12:30
Morning Session 2A-MOST at Hanover
Chair(s): Jan Tretmans Radboud University Nijmegen, TNO-ESI
11:00
30m
Talk
An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems
A-MOST
Mikael Ebrahimi Salari Mälardalen University, Eduard Paul Enoiu Mälardalen University, Wasif Afzal Mälardalen University, Cristina Seceleanu Mälardalen University
11:30
30m
Talk
Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems
A-MOST
Rong Gu Mälardalen University, Eduard Paul Enoiu Mälardalen University
12:00
30m
Talk
We Tried and Failed: An Experience Report on a Collaborative Workflow for GUI-based Testing
A-MOST
Andreas Bauer Blekinge Institute of Technology, SERL Sweden, Emil Alégroth Blekinge Institute of Technology
14:00 - 15:30
Afternoon Session 1A-MOST at Hanover
Chair(s): Cristina Seceleanu Mälardalen University
14:00
30m
Talk
From BDD Scenarios to Test Case Generation
A-MOST
Tannaz Zameni University of Twente, Petra van den Bos University of Twente, The Netherlands, Jan Tretmans Radboud University Nijmegen, TNO-ESI, Johan Foederer Topic Embedded Systems, Arend Rensink University of Twente, The Netherlands
14:30
30m
Talk
ADAS Verification in Co-Simulation: Towards a Meta-Model for Defining Test Scenarios
A-MOST
Francesco Basciani University of L'Aquila, Vittorio Cortellessa University of L'Aquila, Sergio Di Martino Università degli Studi di Napoli Federico II, Dario Di Nucci University of Salerno, Daniele Di Pompeo University of L'Aquila, Carmine Gravino University of Salerno, Luigi Libero Lucio Starace Università degli Studi di Napoli Federico II
15:00
30m
Panel
Discussion: "Testing Autonomous Systems: Some Immediate Questions"
A-MOST

16:00 - 17:30
Afternoon Session 2A-MOST at Hanover
Chair(s): Florian Lorber Aalborg University
16:00
30m
Talk
Improving Model Learning by Inferring Separating Sequences from Traces
A-MOST
Rafael Braz ICMC/USP, Adenilso Simão University of São Paulo, Roland Groz LIG/UGA, Catherine Oriat LIG/UGA
16:30
30m
Talk
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
A-MOST
Jaime Cuartas Universidad del Valle, Jesus Aranda Universidad del Valle, Maxime Cordy University of Luxembourg, Luxembourg, James Ortiz Université de Namur, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur, Pierre Yves Schobbens University of Namur
17:00
15m
Day closing
Closing A-MOST 23 and Welcoming A-MOST 24!
A-MOST
Florian Lorber Aalborg University, Cristina Seceleanu Mälardalen University, Uraz Cengiz Türker Lancaster University (UK)

Sun 16 Apr

Displayed time zone: Dublin change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Hanover

TestEd

Keynote

TestEd

Session 1

TestEd

Session 2

TestEd

Session 3

Mon 17 Apr

Displayed time zone: Dublin change

Room16:003017:0030
Hanover

Industry + Research Papers + Journal-First Papers + Previous Editions

Session 7: Testing for Safery & Security

Thu 20 Apr

Displayed time zone: Dublin change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Hanover

A-MOST

Morning Session 1

A-MOST

Morning Session 2

A-MOST

Afternoon Session 1

A-MOST

Afternoon Session 2

Sun 16 Apr

Displayed time zone: Dublin change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Hanover
TestEd
Teaching Software Testing for Fun
09:30 - 10:30
TestEd
Gamekins: Gamifying a Software Testing Course with Continuous Integration
11:00 - 11:20
TestEd
ISTQB-based Software Testing Education: Advantages and Challenges
11:20 - 11:40
TestEd
On the Current State of Academic Software Testing Education in Sweden
11:40 - 12:00
TestEd
An Empirical Evaluation of Regular and Extreme Mutation Testing for Tea ...
14:00 - 14:20
TestEd
Teaching Test-Driven Development and Object-Oriented Design by Example
14:20 - 14:40
TestEd
Process Oriented Guided Inquiry-based learning -like pedagogy (POGIL-li ...
14:40 - 15:00
TestEd
Intracompany Training in Software Testing: Experience Report
16:00 - 16:10
TestEd
Code Critters: A Block-Based Testing Game
16:10 - 16:20
TestEd
ChatGPT and Software Testing Education: Promises & Perils
16:20 - 16:40
TestEd
Panel Discussion on ChatGPT
16:40 - 17:30

Mon 17 Apr

Displayed time zone: Dublin change

Room16:0015304517:00153045
Hanover
ICST Industry
Learning Non-robustness using Simulation-based Testing: a Network Traff ...
16:00 - 16:20
ICST Journal-First Papers
Test environments for large-scale software systems – an industrial stud ...
16:20 - 16:40
ICST Previous Editions
Assessing the Effectiveness of Input and Output Coverage Criteria for T ...
16:40 - 17:00
ICST Research Papers
Heap Fuzzing: Automatic Garbage Collection Testing with Directed Random ...
17:00 - 17:20
ICST Research Papers
MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts
17:20 - 17:40

Thu 20 Apr

Displayed time zone: Dublin change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Hanover
A-MOST
Welcome and Opening Message A-MOST 23
09:00 - 09:15
A-MOST
Keynote: Principles of Model-Based Testing
09:15 - 10:30
A-MOST
An Experiment in Requirements Engineering and Testing using EARS Notati ...
11:00 - 11:30
A-MOST
Model-Based Policy Synthesis and Test-Case Generation for Autonomous Sy ...
11:30 - 12:00
A-MOST
We Tried and Failed: An Experience Report on a Collaborative Workflow f ...
12:00 - 12:30
A-MOST
From BDD Scenarios to Test Case Generation
14:00 - 14:30
A-MOST
ADAS Verification in Co-Simulation: Towards a Meta-Model for Defining T ...
14:30 - 15:00
A-MOST
Discussion: "Testing Autonomous Systems: Some Immediate Questions"
15:00 - 15:30
A-MOST
Improving Model Learning by Inferring Separating Sequences from Traces
16:00 - 16:30
A-MOST
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
16:30 - 17:00
A-MOST
Closing A-MOST 23 and Welcoming A-MOST 24!
17:00 - 17:15