Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with
ICSE 2021
Toggle navigation
Attending
Venue: Clowdr
Clowdr: Main Conference
Clowdr: Co-located Events
Clowdr: Workshops
Program
FormaliSE Program
Your Program
Tue 18 May
Wed 19 May
Thu 20 May
Fri 21 May
Track/Call
Organization
FormaliSE 2021 Committees
Track Committees
Organizing Committee
Programme 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 2021
(
series
) /
FormaliSE 2021
(
series
) /
Main Conference
/
Room information: SRC Room 1
Venue
Main Conference
Room name
SRC Room 1
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+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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+04: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
Tue 25 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:30 - 13:30
SRC Poster Session 1
ICSE SRC - ACM Student Research Competition
at
SRC Room 1
Chair(s):
Aurora Ramírez
University of Córdoba
,
Sergio Segura
Universidad de Sevilla
11:30
2h
Poster
Effect on brain activity while programming with (without) music
ACM SRC
ICSE SRC - ACM Student Research Competition
Ananga Thapaliya
Innopolis University, Russia
Media Attached
11:30
2h
Poster
Anomaly Detection in Scratch Assignments
ACM SRC
ICSE SRC - ACM Student Research Competition
Nina Körber
University of Passau
Pre-print
Media Attached
File Attached
11:30
2h
Poster
Testing Object Detection for Autonomous Driving Systems via 3D Reconstruction
ACM SRC
ICSE SRC - ACM Student Research Competition
Jinyang Shao
Wuhan University, China
Pre-print
Media Attached
11:30
2h
Poster
Scalable Call Graph Constructor for Maven
ACM SRC
ICSE SRC - ACM Student Research Competition
Mehdi Keshani
Delft University of Technology
Pre-print
Media Attached
File Attached
11:30
2h
Poster
System Component-Level Self-Adaptations for Security via Bayesian Games
ACM SRC
ICSE SRC - ACM Student Research Competition
Mingyue Zhang
Peking University, China
Pre-print
Media Attached
11:30
2h
Poster
SetDroid: Detecting User-configurable Setting Issues of Android Apps via Metamorphic Fuzzing
ACM SRC
ICSE SRC - ACM Student Research Competition
Jingling Sun
East China Normal University, China
Media Attached
File Attached
11:30
2h
Poster
Let's not make a fuzz about it
ACM SRC
ICSE SRC - ACM Student Research Competition
Elisabet Lobo-Vesga
Chalmers University of Technology, Sweden
Pre-print
Media Attached
11:30
2h
Poster
MUTAGEN: Faster Mutation-Based Random Testing
ACM SRC
ICSE SRC - ACM Student Research Competition
Agustín Mista
Chalmers University of Technology
Pre-print
Media Attached
11:30
2h
Poster
Detecting User-Perceived Service Failure in Mobile Applications via Mining User Traces
ACM SRC
ICSE SRC - ACM Student Research Competition
Deyu Tian
Peking University
Pre-print
Media Attached
11:30
2h
Poster
Metamorphic Testing of Autonomous Vehicles: a Case Study on Simulink
ACM SRC
ICSE SRC - ACM Student Research Competition
Pablo Valle
University of Mondragon
Pre-print
Media Attached
11:30
2h
Poster
Distribution Awareness for AI System Testing
ACM SRC
ICSE SRC - ACM Student Research Competition
David Berend
Nanyang Technological University, Singapore
Pre-print
Media Attached
Thu 27 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
15:05 - 16:05
Final Round - SRC Presentations 1
ICSE SRC - ACM Student Research Competition
at
SRC Room 1
Chair(s):
Aurora Ramírez
University of Córdoba
,
Sergio Segura
Universidad de Sevilla
Presentations of selected papers from the jury (TBD)
Tue 25 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
30
12:00
30
13:00
30
SRC Room 1
ICSE SRC - ACM Student Research Competition
SRC Poster Session 1
Thu 27 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
15:00
30
16:00
30
SRC Room 1
ICSE SRC - ACM Student Research Competition
Final Round - SRC Presentations 1
Tue 25 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
SRC Room 1
ICSE SRC - ACM Student Research Competition
ACM SRC
Effect on brain activity while programming with (without) music
11:30 - 13:30
ACM SRC
Anomaly Detection in Scratch Assignments
11:30 - 13:30
ACM SRC
Testing Object Detection for Autonomous Driving Systems via 3D Reconstr ...
11:30 - 13:30
ACM SRC
Scalable Call Graph Constructor for Maven
11:30 - 13:30
ACM SRC
System Component-Level Self-Adaptations for Security via Bayesian Games
11:30 - 13:30
ACM SRC
SetDroid: Detecting User-configurable Setting Issues of Android Apps vi ...
11:30 - 13:30
ACM SRC
Let's not make a fuzz about it
11:30 - 13:30
ACM SRC
MUTAGEN: Faster Mutation-Based Random Testing
11:30 - 13:30
ACM SRC
Detecting User-Perceived Service Failure in Mobile Applications via Min ...
11:30 - 13:30
ACM SRC
Metamorphic Testing of Autonomous Vehicles: a Case Study on Simulink
11:30 - 13:30
ACM SRC
Distribution Awareness for AI System Testing
11:30 - 13:30
x
Wed 4 Dec 09:45