INTUITESTBEDS 2023
Sun 16 - Thu 20 April 2023 Dublin, Ireland
co-located with ICST 2023
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 ICST Industry / ICST Research Papers / ICST Journal-First Papers / ICST 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
ICST 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
ICST 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
ICST 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
ICST 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
ICST 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

Thu 20 Apr

Displayed time zone: Dublin change