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

14:45 - 15:15
Posters 1ICSE Posters at Poster Room
Chair(s): Federica Sarro University College London

Each poster makes a 2-minute presentation (displayed in the Poster room). At the end of each presentation, a breakout room will be created for each poster. Attendees will be able to join and discuss with the authors.

14:45
30m
Poster
Designing Tester and Sampler in TandemPoster
ICSE Posters
Mate Soos Hobbyist, Priyanka Golia Indian Institute of Technology, Kanpur, India and National University of Singapore, Singapore, Sourav Chakraborty Indian Statistical Institute (ISI) , Kolkata, India, Kuldeep S. Meel National University of Singapore
Media Attached
14:45
30m
Poster
Team-oriented Consistency Checking of Heterogeneous Engineering ArtifactsPoster
ICSE Posters
Michael Alexander Tröls Johannes Kepler University, Linz, Atif Mashkoor Johannes Kepler University Linz, Alexander Egyed Johannes Kepler University
Pre-print Media Attached
14:45
30m
Poster
RPT: Effective and Efficient Retrieval of Program Translations from Big CodePoster
ICSE Posters
Binger Chen Technische Universität Berlin, Ziawasch Abedjan Leibniz Universität Hannover
Pre-print Media Attached
19:00 - 19:30
Posters 2ICSE Posters at Poster Room
Chair(s): Davide Fucci Blekinge Institute of Technology

Each poster makes a 2-minute presentation (displayed in the Poster room). At the end of each presentation, a breakout room will be created for each poster. Attendees will be able to join and discuss with the authors.

19:00
30m
Poster
Understanding Language Selection in Multi-Language Software Projects on GitHubPoster
ICSE Posters
Wen Li , Na Meng Virginia Tech, USA, Li Li Monash University, Haipeng Cai Washington State University, USA
Pre-print Media Attached
19:00
30m
Poster
Finding Metamorphic Relations for Scientific SoftwarePoster
ICSE Posters
Xuanyi Lin University of Cincinnati, Zedong Peng University of Cincinnati, Nan Niu University of Cincinnati, Wentao Wang Oracle America Inc, Hui Liu Beijing Institute of Technology
Pre-print Media Attached
19:00
30m
Poster
We’ll Fix It in Post: What Do Bug Fixes in Video Game Update Notes Tell Us?Poster
ICSE Posters
Andrew Truelove University of California, Irvine, Eduardo Santana de Almeida Federal University of Bahia, Iftekhar Ahmed University of California, Irvine
Pre-print Media Attached

Tue 25 May

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

Room14:003015:003016:003017:003018:003019:0030
Poster Room