CoAST 2023
Sun 16 - Thu 20 April 2023
Dublin, Ireland
co-located with
ICST 2023
Toggle navigation
Attending
Venue: Dublin, Ireland
Venue: Clayton Hotel Cardiff Lane
Program
CoAST Program
Your Program
Sun 16 Apr
Mon 17 Apr
Tue 18 Apr
Wed 19 Apr
Thu 20 Apr
Track/Call
Organization
CoAST 2023 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
ICST 2023
(
series
) /
CoAST 2023 (
series
) /
Clayton Hotel Cardiff Lane
/
Room information: Hanover
Venue
Clayton Hotel Cardiff Lane
Room name
Hanover
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Dublin
.
Use conference time zone: (GMT+01:00) Dublin
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
Keynote
TestEd
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 1
TestEd
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 2
TestEd
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 3
TestEd
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 1
A-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 2
A-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 1
A-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 2
A-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
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Hanover
TestEd
Keynote
TestEd
Session 1
TestEd
Session 2
TestEd
Session 3
Mon 17 Apr
Displayed time zone:
Dublin
change
Room
16:00
30
17:00
30
Hanover
ICST Industry + ICST Research Papers + ICST Journal-First Papers + ICST Previous Editions
Session 7: Testing for Safery & Security
Thu 20 Apr
Displayed time zone:
Dublin
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
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
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
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
Room
16:00
15
30
45
17:00
15
30
45
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
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
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
x
Wed 20 Nov 16:35