Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
VenueMain Conference
Room nameSRC Room 2
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

Tue 25 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

19:00 - 21:00
SRC Poster Session 2ICSE 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 ApplicationACM 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 AutomationACM 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 DetectionACM 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 ApplicationsACM 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++ standardsACM 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 LearningACM 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 updatesACM SRC
ICSE SRC - ACM Student Research Competition
Media Attached
19:00
2h
Poster
Please Don’t Go - Increasing Women’s Participation in Open Source SoftwareACM 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 WarningsACM SRC
ICSE SRC - ACM Student Research Competition
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 2ICSE 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

Thu 27 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change