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 2
Venue
Main Conference
Room name
SRC Room 2
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
19:00 - 21:00
SRC Poster Session 2
ICSE SRC - ACM Student Research Competition
at
SRC Room 2
Chair(s):
Aurora Ramírez
University of Córdoba
,
Sergio Segura
Universidad de Sevilla
19:00
2h
Poster
NodeSRT: A Selective Regression Testing Tool for Node.js Application
ACM SRC
ICSE SRC - ACM Student Research Competition
Yufeng Chen
University of British Columbia
Pre-print
Media Attached
19:00
2h
Poster
Investigating the Interplay between Developers and Automation
ACM SRC
ICSE SRC - ACM Student Research Competition
Omar Elazhary
University of Victoria
Pre-print
Media Attached
File Attached
19:00
2h
Poster
WebEvo: Taming Web Application Evolution via Semantic Structure Change Detection
ACM SRC
ICSE SRC - ACM Student Research Competition
Fei Shao
Case Western Reserve University
Media Attached
19:00
2h
Poster
Understanding the Challenges and Assisting Developers with Developing Spark Applications
ACM SRC
ICSE SRC - ACM Student Research Competition
Zehao Wang
Concordia University, Montreal, Canada
Pre-print
Media Attached
File Attached
19:00
2h
Poster
Automation and evaluation of mutation testing for the new C++ standards
ACM SRC
ICSE SRC - ACM Student Research Competition
Miguel Ángel Álvarez-García
Universidad de Cádiz
Pre-print
Media Attached
19:00
2h
Poster
ProMal: Precise Window Transition Graphs for Android via Synergy of Program Analysis and Machine Learning
ACM SRC
ICSE SRC - ACM Student Research Competition
Changlin Liu
Case Western Reserve University
Media Attached
19:00
2h
Poster
Microservice-based performance problem detection in Cyber-Physical System software updates
ACM SRC
ICSE SRC - ACM Student Research Competition
Aitor Gartziandia
Media Attached
19:00
2h
Poster
Please Don’t Go - Increasing Women’s Participation in Open Source Software
ACM SRC
ICSE SRC - ACM Student Research Competition
Bianca Trinkenreich
Northern of Arizona Univeristy
Pre-print
Media Attached
19:00
2h
Poster
Explainable Bug Prediction for Code Changes: Are We There Yet?
ACM SRC
ICSE SRC - ACM Student Research Competition
Reem Aleithan
York University, Canada
Media Attached
19:00
2h
Poster
A Better Approach to Track the Evolution of Static Code Warnings
ACM SRC
ICSE SRC - ACM Student Research Competition
Junjie Li
Pre-print
Media Attached
File Attached
Thu 27 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
16:30 - 17:30
Final Round - SRC Presentations 2
ICSE SRC - ACM Student Research Competition
at
SRC Room 2
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
19:00
30
20:00
30
SRC Room 2
ICSE SRC - ACM Student Research Competition
SRC Poster Session 2
Thu 27 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
16:00
30
17:00
30
SRC Room 2
ICSE SRC - ACM Student Research Competition
Final Round - SRC Presentations 2
Tue 25 May
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
19:00
15
30
45
20:00
15
30
45
SRC Room 2
ICSE SRC - ACM Student Research Competition
ACM SRC
NodeSRT: A Selective Regression Testing Tool for Node.js Application
19:00 - 21:00
ACM SRC
Investigating the Interplay between Developers and Automation
19:00 - 21:00
ACM SRC
WebEvo: Taming Web Application Evolution via Semantic Structure Change ...
19:00 - 21:00
ACM SRC
Understanding the Challenges and Assisting Developers with Developing S ...
19:00 - 21:00
ACM SRC
Automation and evaluation of mutation testing for the new C++ standards
19:00 - 21:00
ACM SRC
ProMal: Precise Window Transition Graphs for Android via Synergy of Pro ...
19:00 - 21:00
ACM SRC
Microservice-based performance problem detection in Cyber-Physical Syst ...
19:00 - 21:00
ACM SRC
Please Don’t Go - Increasing Women’s Participation in Open Source Software
19:00 - 21:00
ACM SRC
Explainable Bug Prediction for Code Changes: Are We There Yet?
19:00 - 21:00
ACM SRC
A Better Approach to Track the Evolution of Static Code Warnings
19:00 - 21:00
x
Wed 4 Dec 09:25