FormaliSE 2023
Dates to be announced
Melbourne, Australia
co-located with
ICSE 2023
Toggle navigation
Attending
Venue: Melbourne Convention Exhibition Centre | MCEC
ICSE 2023
Keynotes
Melbourne
Victoria
Australia
Code of Conduct
Diversity and Inclusion Plan
Main Conference In-Person Presenter Instructions
Main Conference Virtual Presenter Instructions
Workshop and Co-Located Event Instructions
Session Chair Instructions
Venue Floor Map
Accommodation
Registration
Visa Letter of Invitation
Social Events
Recruitment Opportunities at ICSE 2023
IEEE Computer Society Open Conference Statement
Travel Support
Childcare Support
Program
FormaliSE Program
Your Program
Sun 31 Dec
Track/Call
Organization
FormaliSE 2023 Committees
Track Committees
Artifact Evaluation Committee
Organization Committee
Program Committee
Contributors
People Index
Search
Series
Series
FormaliSE 2025
FormaliSE 2024
FormaliSE 2023
FormaliSE 2022
FormaliSE 2021
FormaliSE 2020
FormaliSE 2019
FormaliSE 2018
Sign in
Sign up
ICSE 2023
(
series
) /
FormaliSE 2023 (
series
) /
Melbourne Convention Exhibition Centre | MCEC
/
Room information: Meeting Room 107
Venue
Melbourne Convention Exhibition Centre | MCEC
Room name
Meeting Room 107
Floor
1
Room number
107
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+11:00) Hobart
.
Use conference time zone: (GMT+11:00) Hobart
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07: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-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03: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-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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 14 May
Displayed time zone:
Hobart
change
09:00 - 10:30
SESoS Opening & Keynote Speaker I
SESoS
at
Meeting Room 107
Chair(s):
Rodrigo Santos
UNIRIO - Universidade Federal do Estado do Rio de Janeiro
,
Antonia Bertolino
National Research Council, Italy
,
Pablo Oliveira Antonino
Fraunhofer IESE
,
Doo-Hwan Bae
Korea Advanced Institute of Science and Technology
09:00
30m
Day opening
SESoS Opening
SESoS
P:
Rodrigo Santos
UNIRIO - Universidade Federal do Estado do Rio de Janeiro
,
P:
Antonia Bertolino
National Research Council, Italy
,
P:
Pablo Oliveira Antonino
Fraunhofer IESE
,
P:
Doo-Hwan Bae
Korea Advanced Institute of Science and Technology
09:30
60m
Keynote
Challenges in Engineering Antifragile Systems of Systems
SESoS
K:
Raffaela Mirandola
Politecnico di Milano
11:00 - 12:30
SESoS Technical Session 1: Systems-of-Systems & Ecosystems
SESoS
at
Meeting Room 107
11:00
18m
Paper
Achieving Interoperability with MBSE and Asset Administration Shells: Integration of MATLAB/Simulink and BaSyx
SESoS
P:
Mateus Molina
Fraunhofer IESE
,
A:
Tagline Treichel
Fraunhofer IESE
11:18
18m
Paper
Virtual validation of the system architecture design of a production plant with regard to fault tolerance
SESoS
P:
Thomas Bauer
Fraunhofer IESE
,
A:
Felix Schulte-Langforth
Fraunhofer IESE
,
A:
Zain Shahwar
PUMACY TECHNOLOGIES AG
,
A:
Bernd Bredehorst
PUMACY TECHNOLOGIES AG
11:36
18m
Talk
Social Networks during Software Ecosystems’ Death
SESoS
P:
Pedro Arantes
UFMS
,
A:
Felipe Soupinski
Federal University of Mato Grosso do Sul
,
A:
Awdren Fontão
Federal University of Mato Grosso do Sul (UFMS)
11:54
18m
Paper
Towards a SECO for Carbon Credit Control
SESoS
P:
Luiz Fernando Santos
Federal University of Juiz de Fora
,
A:
Jonas Gomes
UFJF
,
A:
Regina Braga
UFJF
,
A:
José Maria David
Federal University of Juiz de Fora
,
A:
Victor Ströele
UFJF
12:12
18m
Paper
Exploring Community Smell Co-occurrences in the Context of Bangladesh: An Empirical Study
SESoS
P:
Noshin Tahsin
Institute of Information Technology, University of Dhaka
,
A:
Kazi Sakib
Institute of Information Technology, University of Dhaka
13:45 - 15:15
SESoS Technical Session 2: Ecosystems & Systems-of-Systems
SESoS
at
Meeting Room 107
13:45
18m
Paper
The Role of Software Trust in Selection of Open-Source and Closed Software
SESoS
A:
Fang Hou
Utrecht University
,
P:
Slinger Jansen
Utrecht University, Netherlands
,
P:
Floris Jansen
Utrecht University
,
A:
Arthur de Vries
Utrecht University
14:03
18m
Paper
Your app is no longer welcome in our app store: partner exclusion in software ecosystems
SESoS
A:
Casper van Schothorst
Utrecht University
,
P:
Slinger Jansen
Utrecht University, Netherlands
,
A:
Thomas Beijer
Utrecht University
,
A:
Govert Hagelaar
Utrecht University
,
P:
Floris Jansen
Utrecht University
,
A:
Ying Liu
Utrecht University
14:21
18m
Paper
Contemporary Challenges when Developing Cyber-Physical Systems of Systems - A Case Study
SESoS
P:
Peter Sjöberg
Volvo Construction Equipment and Blekinge Institute of Technology
,
A:
Daniel Mendez
Blekinge Institute of Technology
,
A:
Tony Gorschek
Blekinge Institute of Technology / DocEngineering
14:39
18m
Paper
Establishing Virtual Test-Driven Development Environments in the Automotive Domain: A Continuous Engineering Approach
SESoS
P:
Adam Bachorek
Fraunhofer IESE
,
A:
Jannis Jung
Fraunhofer IESE
14:57
18m
Paper
Industry Voices on Software Engineering: Challenges in Dynamic Systems of Systems
SESoS
P:
Jana Heinrich
Fraunhofer IESE
,
A:
Florian Balduf
Fraunhofer IESE
,
A:
Martin Becker
Fraunhofer IESE
,
A:
Rasmus Adler
Fraunhofer IESE
15:45 - 17:15
SESoS Keynote Speaker II + Breakout Session, Closing and Awards
SESoS
at
Meeting Room 107
Chair(s):
Rodrigo Santos
UNIRIO - Universidade Federal do Estado do Rio de Janeiro
,
Antonia Bertolino
National Research Council, Italy
,
Pablo Oliveira Antonino
Fraunhofer IESE
,
Doo-Hwan Bae
Korea Advanced Institute of Science and Technology
15:45
60m
Keynote
Emotion Analysis in Software Ecosystems
SESoS
K:
Alexander Serebrenik
Eindhoven University of Technology
16:45
30m
Day closing
SESoS Breakout Session, Closing and Awards
SESoS
P:
Rodrigo Santos
UNIRIO - Universidade Federal do Estado do Rio de Janeiro
,
P:
Antonia Bertolino
National Research Council, Italy
,
P:
Pablo Oliveira Antonino
Fraunhofer IESE
,
P:
Doo-Hwan Bae
Korea Advanced Institute of Science and Technology
Mon 15 May
Displayed time zone:
Hobart
change
09:00 - 10:30
Introduction and Keynote
AST
at
Meeting Room 107
09:00
30m
Talk
Automation of Software Test; Confererence - Past, Present and Visions
AST
Mehrdad Saadatmand
RISE Research Institutes of Sweden
,
Sigrid Eldh
Ericsson AB, Mälardalen University, Carleton Unviersity
09:30
60m
Keynote
Lessons from 10 Years of Automated Debugging Research
AST
K:
Shin Yoo
KAIST
Media Attached
11:00 - 12:30
Faults, AI and Tools
AST
at
Meeting Room 107
11:00
22m
Talk
An Method of Intelligent Duplicate Bug Report Detection Based on Technical Term Extraction
AST
Xiaoxue Wu
Yangzhou University
,
Wenjing Shan
Yangzhou University
,
Wei Zheng
Northwestern Polytechnical University
,
Zhiguo Chen
Northwestern Polytechnical University
,
Tao Ren
Yangzhou University
,
Xiaobing Sun
Yangzhou University
11:22
22m
Talk
A Reinforcement Learning Approach to Generate Test Cases for Web Applications
AST
Xiaoning Chang
Institute of Software, Chinese Academy of Sciences
,
Zheheng Liang
Joint Laboratory on Cyberspace Security of China Southern Power Grid
,
Yifei Zhang
State Key Lab of Computer Sciences, Institute of Software, Chinese Academy of Sciences
,
Lei Cui
Joint Laboratory on Cyberspace Security of China Southern Power Grid
,
Zhenyue Long
,
Guoquan Wu
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Nanjing College; China Southern Power Grid
,
Yu Gao
Institute of Software, Chinese Academy of Sciences, China
,
Wei Chen
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Nanjing College
,
Jun Wei
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing School
,
Tao Huang
Institute of Software Chinese Academy of Sciences
11:45
22m
Talk
Cross-Project setting using Deep learning Architectures in Just-In-Time Software Fault Prediction: An Investigation
AST
Sushant Kumar Pandey
Chalmers and University of Gothenburg
,
Anil Kumar Tripathi
Indian Institute of Technology (BHU), Varanasi
12:07
22m
Talk
On Comparing Mutation Testing Tools through Learning-based Mutant Selection
AST
Milos Ojdanic
University of Luxembourg
,
Ahmed Khanfir
University of Luxembourg
,
Aayush Garg
University of Luxembourg, Luxembourg
,
Renzo Degiovanni
SnT, University of Luxembourg
,
Mike Papadakis
University of Luxembourg, Luxembourg
,
Yves Le Traon
University of Luxembourg, Luxembourg
File Attached
13:45 - 15:15
Metrics and Benchmarks
AST
at
Meeting Room 107
13:45
22m
Talk
AutoMetric: Towards Measuring Open-Source Software Quality Metrics Automatically
AST
Taejun Lee
Korea University
,
Heewon Park
Korea University
,
Heejo Lee
Korea University
14:07
22m
Talk
Learning to Learn to Predict Performance Regressions in Production at Meta
AST
Moritz Beller
Meta Platforms, Inc., USA
,
Hongyu Li
Liquido
,
Vivek Nair
Meta Platforms, Inc.
,
Vijayaraghavan Murali
Meta Platforms, Inc.
,
Imad Ahmad
Meta Platforms, Inc.
,
Jürgen Cito
TU Wien
,
Drew Carlson
Ex-Meta Platforms, Inc.
,
Gareth Ari Aye
Meta Platforms, Inc.
,
Wes Dyer
Meta Platforms, Inc.
Pre-print
14:30
22m
Talk
SourceWarp: A scalable, SCM-driven testing and benchmarking approach to support data-driven and agile decision making for CI/CD tools and DevOps platforms
AST
Julian Thome
GitLab Inc.
,
James Johnson
--
,
Isaac Dawson
GitLab Inc.
,
Dinesh Bolkensteyn
GitLab Inc.
,
Michael Henriksen
GitLab Inc.
,
Mark Art
GitLab Inc.
14:52
22m
Talk
Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution
AST
Soha Hussein
University of Minnesota, USA / Ain Shams University, Egypt
,
Stephen McCamant
University of Minnesota, USA
,
Elena Sherman
Boise State University
,
Vaibhav Sharma
Amazon
,
Michael Whalen
Amazon Web Services and the University of Minnesota
15:45 - 17:15
Testing
AST
at
Meeting Room 107
15:45
22m
Talk
Better Safe Than Sorry! Automated Identification of Functionality-Breaking Security-Configuration Rules
AST
Patrick Stöckle
Technical University of Munich (TUM) / Siemens AG
,
Michael Sammereier
Technical University of Munich
,
Bernd Grobauer
Siemens AG
,
Alexander Pretschner
Technical University of Munich
Link to publication
DOI
Pre-print
16:07
22m
Talk
Cross-coverage testing of functionally equivalent programs
AST
Antonia Bertolino
National Research Council, Italy
,
Guglielmo De Angelis
CNR-IASI
,
Felicita Di Giandomenico
ISTI-CNR
,
Francesca Lonetti
CNR-ISTI
Pre-print
16:30
22m
Talk
Towards a Review on Simulated ADAS/AD Testing
AST
Yavuz Koroglu
Graz University of Technology
,
Franz Wotawa
Graz University of Technology
Tue 16 May
Displayed time zone:
Hobart
change
09:00 - 10:30
Welcome and Keynote 2
AST
at
Meeting Room 107
09:00
30m
Talk
AST Day II Welcome
AST
09:30
60m
Keynote
Automatic for the People
AST
K:
Andy Zaidman
Delft University of Technology
Media Attached
11:00 - 12:30
Test Flakiness
AST
at
Meeting Room 107
11:00
22m
Talk
On the Effect of Instrumentation on Test Flakiness
AST
Shawn Rasheed
Universal College of Learning
,
Jens Dietrich
Victoria University of Wellington
,
Amjed Tahir
Massey University
Pre-print
11:22
22m
Talk
Debugging Flaky Tests using Spectrum-based Fault Localization
AST
Martin Gruber
BMW Group, University of Passau
,
Gordon Fraser
University of Passau
Pre-print
11:45
22m
Talk
FlakyCat: Predicting Flaky Tests Categories using Few-Shot Learning
AST
Amal Akli
University of Luxembourg
,
Guillaume Haben
University of Luxembourg
,
Sarra Habchi
Ubisoft
,
Mike Papadakis
University of Luxembourg, Luxembourg
,
Yves Le Traon
University of Luxembourg, Luxembourg
12:07
22m
Talk
Detecting Potential User-data Save & Export Losses due to Android App Termination
AST
Sydur Rahaman
New Jersey Institute of Technology
,
Umar Farooq
University of California at Riverside
,
Iulian Neamtiu
New Jersey Institute of Technology
,
Zhijia Zhao
University of California at Riverside
13:45 - 15:15
Test Prioritization
AST
at
Meeting Room 107
13:45
22m
Talk
Orchestration Strategies for Regression Test Suites
AST
Renan Greca
Gran Sasso Science Institute, ISTI-CNR
,
Breno Miranda
Federal University of Pernambuco
,
Antonia Bertolino
National Research Council, Italy
Pre-print
14:07
22m
Talk
Evaluating the Trade-offs of Text-based Diversity in Test Prioritization
AST
Ranim Khojah
Chalmers | University of Gothenburg
,
Chi Hong Chao
Chalmers | University of Gothenburg
,
Francisco Gomes de Oliveira Neto
Chalmers University of Technology, Sweden / University of Gothenburg, Sweden
14:30
22m
Talk
MuTCR: Test Case Recommendation via Multi-Level Signature Matching
AST
Weisong Sun
Nanjing University
,
Weidong Qian
China Ship Scientific Research Center
,
Bin Luo
Nanjing University
,
Zhenyu Chen
Nanjing University
14:52
22m
Talk
Test Case Prioritization using Transfer Learning in Continuous Integration Environments
AST
Rezwana Mamata
Ontario Tech University
,
Akramul Azim
Ontario Tech University
,
Ramiro Liscano
Ontario Tech University
,
Kevin Smith
International Business Machines Corporation (IBM)
,
Yee-Kang Chang
International Business Machines Corporation (IBM)
,
Gkerta Seferi
International Business Machines Corporation (IBM)
,
Qasim Tauseef
International Business Machines Corporation (IBM)
15:45 - 17:15
Summary, Panel, Awards
AST
at
Meeting Room 107
15:45
45m
Panel
Panel Discussions and AST Summary Remarks
AST
Andy Zaidman
Delft University of Technology
,
Antonia Bertolino
National Research Council, Italy
,
Mike Papadakis
University of Luxembourg, Luxembourg
,
Shin Yoo
KAIST
,
Sigrid Eldh
Ericsson AB, Mälardalen University, Carleton Unviersity
,
Mehrdad Saadatmand
RISE Research Institutes of Sweden
16:30
45m
Awards
Award Session and Closure
AST
Wed 17 May
Displayed time zone:
Hobart
change
11:00 - 12:30
Eye tracker experiment 1
ICSE Social Events
at
Meeting Room 107
11:00
90m
Other
Eye tracker experiment
ICSE Social Events
Bonita Sharif
University of Nebraska-Lincoln, USA
,
Robert Dyer
University of Nebraska-Lincoln
,
Samuel W. Flint
University of Nebraska-Lincoln
File Attached
12:30 - 13:45
Eye tracker experiment 2
ICSE Social Events
at
Meeting Room 107
12:30
75m
Other
Eye tracker experiment
ICSE Social Events
Bonita Sharif
University of Nebraska-Lincoln, USA
,
Robert Dyer
University of Nebraska-Lincoln
,
Samuel W. Flint
University of Nebraska-Lincoln
File Attached
13:45 - 15:15
Eye tracker experiment 3
ICSE Social Events
at
Meeting Room 107
13:45
90m
Other
Eye tracker experiment
ICSE Social Events
Bonita Sharif
University of Nebraska-Lincoln, USA
,
Robert Dyer
University of Nebraska-Lincoln
,
Samuel W. Flint
University of Nebraska-Lincoln
File Attached
15:45 - 17:15
Eye tracker experiment 4
ICSE Social Events
at
Meeting Room 107
15:45
90m
Other
Eye tracker experiment
ICSE Social Events
Bonita Sharif
University of Nebraska-Lincoln, USA
,
Robert Dyer
University of Nebraska-Lincoln
,
Samuel W. Flint
University of Nebraska-Lincoln
File Attached
Thu 18 May
Displayed time zone:
Hobart
change
11:00 - 12:30
SCORE
ICSE SCORE
at
Meeting Room 107
11:00
5m
Day opening
SCORE 2023 Introduction
ICSE SCORE
11:05
15m
Talk
DSEC: A Data Analyzer tool for ensuring secure software development life-cycle
ICSE SCORE
André Schjøth
,
Giovanni Demasi
,
Lorenzo Poletti
,
Lucija Strejček
,
Jan Rocek
,
Kristian Djaković
11:20
15m
Talk
PDFL - PDF Legacy, Smart Paper Reader
ICSE SCORE
Matteo Visotto
Politecnico di Milano
,
Paolo Corsa
,
Ettore Zamponi
Politecnico di Milano
,
Salvatore Gabriele Karra
Politecnico di Milano
,
Tonio Ercegović
,
Nina Gnjidić
,
Dario Mesic
11:35
15m
Talk
CodeDefenders: RoboTournament - CodeBenders team
ICSE SCORE
Dominik Brdar
,
Fanny Delnondedieu
,
Hrvoje Rom
,
Simone Mezzaro
,
Riccardo Nava
,
Fabio Patella
,
Andrea Restelli
11:50
15m
Talk
PrivTAP: Privacy-preserving Trigger-action IoT Platform
ICSE SCORE
Enna Basic
,
Michele Benedetti
Mälardalen University
,
Leonardo Panseri
Politecnico di Milano
,
Ivan Radonjic
Mälardalen University
,
Emanuele Santoro
Politecnico di Milano
,
Alessandro Sassi
,
Lorenzo Maria Vaccarini
12:05
25m
Meeting
(Private) SCORE PC meeting
ICSE SCORE
12:30 - 13:45
ESEC/FSE Steering Committee Meeting
ICSE Social Events
at
Meeting Room 107
12:30
75m
Meeting
Executive Meeting
ICSE Social Events
Fri 19 May
Displayed time zone:
Hobart
change
12:30 - 13:45
srcML meeting
ICSE Social Events
at
Meeting Room 107
12:30
75m
Meeting
srcML meeting
ICSE Social Events
Jonathan I. Maletic
Kent State University
Link to publication
Pre-print
13:45 - 15:15
srcML meeting
ICSE Social Events
at
Meeting Room 107
13:45
90m
Meeting
srcML meeting
ICSE Social Events
Jonathan I. Maletic
Kent State University
Link to publication
Pre-print
15:15 - 15:45
srcML meeting
ICSE Social Events
at
Meeting Room 107
15:15
30m
Meeting
srcML meeting
ICSE Social Events
Jonathan I. Maletic
Kent State University
Link to publication
Pre-print
15:45 - 17:15
srcML meeting
ICSE Social Events
at
Meeting Room 107
15:45
90m
Meeting
srcML meeting
ICSE Social Events
Jonathan I. Maletic
Kent State University
Link to publication
Pre-print
Sat 20 May
Displayed time zone:
Hobart
change
09:00 - 10:30
Introduction from Chairs / Smart Contracts
WETSEB
at
Meeting Room 107
09:00
30m
Day opening
Introduction from Chairs
WETSEB
09:30
30m
Talk
A methodology for log-based Smart Contract testing
WETSEB
Remo Pareschi
University of Molise
,
Francesco Salzano
10:00
30m
Talk
TODLER: A Transaction Ordering Dependency anaLyzER – for Ethereum Smart Contracts
WETSEB
Sundas Munir
,
Christoph Reichenbach
Lund University
11:00 - 12:30
Application of Blockchain Technology
WETSEB
at
Meeting Room 107
11:00
30m
Talk
Blockchain-based electronic health record system with patient-centred data access control
WETSEB
Mark Perry
11:30
30m
Talk
Automatic Generation of a Blockchain-based Drug Supply Chain Management System
WETSEB
Lodovica Marchesi
University of Cagliari
12:00
30m
Talk
A notarization system for water quality parameters
WETSEB
Andrea Pinna
University of Cagliari
13:45 - 15:15
DLTs on constrained environments, application modeling and dataset management
WETSEB
at
Meeting Room 107
13:45
30m
Talk
Modeling of Blockchain and Application Concerns in Blockchain Applications
WETSEB
14:15
30m
Talk
Exploring distributed ledger technology for severely constrained environment
WETSEB
Gurpriya Kaur Bhatia
Indraprastha Institute of Information Technology, Delhi
,
Venkatesh Subramanian
,
Satya Sai Srinivas Abbabathula
14:45
30m
Talk
Kryptosafe: managing and trading datasets using blockchain and IPFS
WETSEB
Marco Di Francesco
Flosslab
,
Lodovica Marchesi
University of Cagliari
,
Raffaele Porcu
University of Cagliari
15:45 - 17:15
Discussion / Closing
WETSEB
at
Meeting Room 107
15:45
45m
Panel
Discussion
WETSEB
16:30
45m
Day closing
Workshop closing from chairs
WETSEB
Sun 14 May
Displayed time zone:
Hobart
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
Meeting Room 107
SESoS
SESoS Opening & Keynote Speaker I
SESoS
SESoS Technical Session 1: Systems-of-Systems & Ecosystems
SESoS
SESoS Technical Session 2: Ecosystems & Systems-of-Systems
SESoS
SESoS Keynote Speaker II + Breakout Session, Closing and Awards
Mon 15 May
Displayed time zone:
Hobart
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
Meeting Room 107
AST
Introduction and Keynote
AST
Faults, AI and Tools
AST
Metrics and Benchmarks
AST
Testing
Tue 16 May
Displayed time zone:
Hobart
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
Meeting Room 107
AST
Welcome and Keynote 2
AST
Test Flakiness
AST
Test Prioritization
AST
Summary, Panel, Awards
Wed 17 May
Displayed time zone:
Hobart
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Meeting Room 107
ICSE Social Events
Eye tracker experiment 1
ICSE Social Events
Eye tracker experiment 2
ICSE Social Events
Eye tracker experiment 3
ICSE Social Events
Eye tracker experiment 4
Thu 18 May
Displayed time zone:
Hobart
change
Room
11:00
30
12:00
30
13:00
30
Meeting Room 107
ICSE SCORE
SCORE
ICSE Social Events
ESEC/FSE Steering Committee Meeting
Fri 19 May
Displayed time zone:
Hobart
change
Room
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Meeting Room 107
ICSE Social Events
srcML meeting
ICSE Social Events
srcML meeting
ICSE Social Events
srcML meeting
ICSE Social Events
srcML meeting
Sat 20 May
Displayed time zone:
Hobart
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
Meeting Room 107
WETSEB
Introduction from Chairs / Smart Contracts
WETSEB
Application of Blockchain Technology
WETSEB
DLTs on constrained environments, application modeling and dataset management
WETSEB
Discussion / Closing
Sun 14 May
Displayed time zone:
Hobart
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
Meeting Room 107
SESoS
SESoS Opening
09:00 - 09:30
SESoS
Challenges in Engineering Antifragile Systems of Systems
09:30 - 10:30
SESoS
Achieving Interoperability with MBSE and Asset Administration Shells: I ...
11:00 - 11:18
SESoS
Virtual validation of the system architecture design of a production pl ...
11:18 - 11:36
SESoS
Social Networks during Software Ecosystems’ Death
11:36 - 11:54
SESoS
Towards a SECO for Carbon Credit Control
11:54 - 12:12
SESoS
Exploring Community Smell Co-occurrences in the Context of Bangladesh: ...
12:12 - 12:30
SESoS
The Role of Software Trust in Selection of Open-Source and Closed Software
13:45 - 14:03
SESoS
Your app is no longer welcome in our app store: partner exclusion in so ...
14:03 - 14:21
SESoS
Contemporary Challenges when Developing Cyber-Physical Systems of Syste ...
14:21 - 14:39
SESoS
Establishing Virtual Test-Driven Development Environments in the Automo ...
14:39 - 14:57
SESoS
Industry Voices on Software Engineering: Challenges in Dynamic Systems ...
14:57 - 15:15
SESoS
Emotion Analysis in Software Ecosystems
15:45 - 16:45
SESoS
SESoS Breakout Session, Closing and Awards
16:45 - 17:15
Mon 15 May
Displayed time zone:
Hobart
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
Meeting Room 107
AST
Automation of Software Test; Confererence - Past, Present and Visions
09:00 - 09:30
AST
Lessons from 10 Years of Automated Debugging Research
09:30 - 10:30
AST
An Method of Intelligent Duplicate Bug Report Detection Based on Techni ...
11:00 - 11:22
AST
A Reinforcement Learning Approach to Generate Test Cases for Web Applic ...
11:22 - 11:45
AST
Cross-Project setting using Deep learning Architectures in Just-In-Time ...
11:45 - 12:07
AST
On Comparing Mutation Testing Tools through Learning-based Mutant Selection
12:07 - 12:30
AST
AutoMetric: Towards Measuring Open-Source Software Quality Metrics Auto ...
13:45 - 14:07
AST
Learning to Learn to Predict Performance Regressions in Production at Meta
14:07 - 14:30
AST
SourceWarp: A scalable, SCM-driven testing and benchmarking approach to ...
14:30 - 14:52
AST
Structural Test Input Generation for 3-Address Code Coverage Using Path ...
14:52 - 15:15
AST
Better Safe Than Sorry! Automated Identification of Functionality-Break ...
15:45 - 16:07
AST
Cross-coverage testing of functionally equivalent programs
16:07 - 16:30
AST
Towards a Review on Simulated ADAS/AD Testing
16:30 - 16:52
Tue 16 May
Displayed time zone:
Hobart
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
Meeting Room 107
AST
AST Day II Welcome
09:00 - 09:30
AST
Automatic for the People
09:30 - 10:30
AST
On the Effect of Instrumentation on Test Flakiness
11:00 - 11:22
AST
Debugging Flaky Tests using Spectrum-based Fault Localization
11:22 - 11:45
AST
FlakyCat: Predicting Flaky Tests Categories using Few-Shot Learning
11:45 - 12:07
AST
Detecting Potential User-data Save & Export Losses due to Android App T ...
12:07 - 12:30
AST
Orchestration Strategies for Regression Test Suites
13:45 - 14:07
AST
Evaluating the Trade-offs of Text-based Diversity in Test Prioritization
14:07 - 14:30
AST
MuTCR: Test Case Recommendation via Multi-Level Signature Matching
14:30 - 14:52
AST
Test Case Prioritization using Transfer Learning in Continuous Integrat ...
14:52 - 15:15
AST
Panel Discussions and AST Summary Remarks
15:45 - 16:30
AST
Award Session and Closure
16:30 - 17:15
Wed 17 May
Displayed time zone:
Hobart
change
Room
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
Meeting Room 107
ICSE Social Events
Eye tracker experiment
11:00 - 12:30
ICSE Social Events
Eye tracker experiment
12:30 - 13:45
ICSE Social Events
Eye tracker experiment
13:45 - 15:15
ICSE Social Events
Eye tracker experiment
15:45 - 17:15
Thu 18 May
Displayed time zone:
Hobart
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
Meeting Room 107
ICSE SCORE
SCORE 2023 Introduction
11:00 - 11:05
ICSE SCORE
DSEC: A Data Analyzer tool for ensuring secure software development lif ...
11:05 - 11:20
ICSE SCORE
PDFL - PDF Legacy, Smart Paper Reader
11:20 - 11:35
ICSE SCORE
CodeDefenders: RoboTournament - CodeBenders team
11:35 - 11:50
ICSE SCORE
PrivTAP: Privacy-preserving Trigger-action IoT Platform
11:50 - 12:05
ICSE SCORE
(Private) SCORE PC meeting
12:05 - 12:30
ICSE Social Events
Executive Meeting
12:30 - 13:45
Fri 19 May
Displayed time zone:
Hobart
change
Room
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
Meeting Room 107
ICSE Social Events
srcML meeting
12:30 - 13:45
ICSE Social Events
srcML meeting
13:45 - 15:15
ICSE Social Events
srcML meeting
15:15 - 15:45
ICSE Social Events
srcML meeting
15:45 - 17:15
Sat 20 May
Displayed time zone:
Hobart
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
Meeting Room 107
WETSEB
Introduction from Chairs
09:00 - 09:30
WETSEB
A methodology for log-based Smart Contract testing
09:30 - 10:00
WETSEB
TODLER: A Transaction Ordering Dependency anaLyzER – for Ethereum Smart ...
10:00 - 10:30
WETSEB
Blockchain-based electronic health record system with patient-centred d ...
11:00 - 11:30
WETSEB
Automatic Generation of a Blockchain-based Drug Supply Chain Management ...
11:30 - 12:00
WETSEB
A notarization system for water quality parameters
12:00 - 12:30
WETSEB
Modeling of Blockchain and Application Concerns in Blockchain Applications
13:45 - 14:15
WETSEB
Exploring distributed ledger technology for severely constrained enviro ...
14:15 - 14:45
WETSEB
Kryptosafe: managing and trading datasets using blockchain and IPFS
14:45 - 15:15
WETSEB
Discussion
15:45 - 16:30
WETSEB
Workshop closing from chairs
16:30 - 17:15
x
Sat 23 Nov 21:14