MOBILESoft 2024
Mon 15 Apr 2024
Lisbon, Portugal
co-located with
ICSE 2024
Toggle navigation
Attending
Congress and Conference Centre: Centro Cultural de Belém
Program
Complete Program
Your Program
Keynote
Mon 15 Apr
Tracks
MOBILESoft 2024
Research Track
Research Forum Track
Organization
MOBILESoft 2024 Committees
Organizing Committee
Track Committees
Research Track
Research Forum Track
Contributors
People Index
Search
Series
Series
MOBILESoft 2025
MOBILESoft 2024
MOBILESoft 2023
MOBILESoft 2022
MOBILESoft 2021
MOBILESoft 2020
MOBILESoft 2019
MobileSoft 2018
Sign in
Sign up
ICSE 2024
(
series
) /
MOBILESoft 2024
(
series
) /
Centro Cultural de Belém
/
Room information: Eugénio de Andrade
Venue
Centro Cultural de Belém
Room name
Eugénio de Andrade
Capacity
45
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+01:00) Lisbon
.
Use conference time zone: (GMT+01:00) Lisbon
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+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+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
Sun 14 Apr
Displayed time zone:
Lisbon
change
09:00 - 10:30
Opening and Keynote
FormaliSE
at
Eugénio de Andrade
Chair(s):
Antónia Lopes
University of Lisbon
09:00
10m
Day opening
Opening
FormaliSE
09:10
80m
Keynote
FormalISE: Reflections on Formal and Informal Methods in Software Engineering
FormaliSE
Cristian Cadar
Imperial College London
11:00 - 12:30
Automata and applications
FormaliSE
at
Eugénio de Andrade
Chair(s):
Domenico Bianculli
University of Luxembourg
11:00
30m
Talk
Contract Automata: A Specification Language for Mode-Based Systems
FormaliSE
Alexander Weigl
Karlsruhe Institute for Technology
,
Joshua Bachmeier
FZI Forschungszentrum Informatik
,
Bernhard Beckert
Karlsruhe Institute of Technology
,
Mattias Ulbrich
Karlsruhe Institute of Technology
11:30
30m
Talk
Finite Automata synthesis from Interactions
FormaliSE
Erwan Mahe
Université Paris-Saclay, CEA, List
,
Boutheina Bannour
Université Paris-Saclay, CEA, List
,
Christophe Gaston
Université Paris-Saclay, CEA, List
,
Arnault Lapitre
Université Paris-Saclay, CEA, List
,
Pascale Le Gall
CentraleSupelec
12:00
30m
Talk
Preprocessing is What You Need: Understanding and Predicting the Complexity of SAT-based Uniform Random Sampling
FormaliSE
Olivier Zeyen
University of Luxembourg, SnT
,
Maxime Cordy
University of Luxembourg, Luxembourg
,
Gilles Perrouin
Fonds de la Recherche Scientifique - FNRS & University of Namur
,
Mathieu Acher
University of Rennes, France / Inria, France / CNRS, France / IRISA, France
14:00 - 15:30
Timed behavior specification and verification
FormaliSE
at
Eugénio de Andrade
Chair(s):
João F. Ferreira
INESC-ID and IST, University of Lisbon
14:00
30m
Talk
Diagnosing Violations of Time-based Properties Captured in iCFTL
FormaliSE
Cristina Stratan
University of Luxembourg
,
Joshua Heneage Dawes
University of Luxembourg
,
Domenico Bianculli
University of Luxembourg
14:30
30m
Talk
Time for Networks: Mutation Testing for Timed Automata Networks
FormaliSE
David Cortés
Universidad del Valle
,
James Ortiz
Université de Namur
,
Davide Basile
Formal Methods and Tools lab, ISTI-CNR, Pisa, Italy
,
Jesus Aranda
Universidad del Valle
,
Gilles Perrouin
Fonds de la Recherche Scientifique - FNRS & University of Namur
,
Pierre Yves Schobbens
Université de Namur
15:00
30m
Talk
Verifying Opacity of Discrete-Timed Automata
FormaliSE
Julian Klein
Technische Universität Berlin
,
Paul Kogel
Technische Universität Berlin
,
Sabine Glesner
Technische Universität Berlin
16:00 - 17:30
Formal methods for cyber-physical systems and requirements engineering
FormaliSE
at
Eugénio de Andrade
Chair(s):
Cristian Cadar
Imperial College London
16:00
30m
Talk
Automated Repair of Violated Eventually Properties in Concurrent Programs
FormaliSE
Irman Faqrizal
Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, Grenoble, France
,
Quentin Nivon
Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, Grenoble, France
,
Gwen Salaün
University of Grenoble Alpes
16:30
30m
Talk
Compositional Analysis of Parametric Cooperative Cyber-Physical Systems
FormaliSE
Raniah Alghamdi
University of Waterloo and King Abdulaziz University
,
Richard Trefler
University of Waterloo
17:00
30m
Talk
Formal Methods in Requirements Engineering: Survey and Future Directions
FormaliSE
Robert Lorch
GE Research
,
Baoluo Meng
GE Research
,
Kit Siu
GE Research
,
Abha Moitra
General Electric Research
,
Michael Durling
GE Research
,
Saswata Paul
GE Research
,
Sarat Chandra Varanasi
GE Research
,
Craig McMillan
GE Aerospace
Mon 15 Apr
Displayed time zone:
Lisbon
change
09:00 - 10:30
Keynote
FormaliSE
at
Eugénio de Andrade
Chair(s):
Carlo A. Furia
Università della Svizzera italiana (USI)
09:00
90m
Keynote
Two-way collaboration between flow and proof in SPARKBA
FormaliSE
Claire Dross
AdaCore
11:00 - 12:30
Theorem proving and applications
FormaliSE
at
Eugénio de Andrade
Chair(s):
Claire Dross
AdaCore
11:00
30m
Talk
A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification
FormaliSE
Louis Gauthier
Université Paris-Saclay, CEA, List
,
Virgile Prevosto
Université Paris-Saclay, CEA, List
,
Julien Signoles
Université Paris-Saclay, CEA, List
11:30
30m
Talk
Formally Verified Interval Arithmetic and Its Application to Program Verification
FormaliSE
Achim D. Brucker
University of Exeter
,
Teddy Cameron-Burke
University of Exeter
,
Amy Stell
University of Exeter
12:00
30m
Talk
Towards Verifiable Multi-Agent Interaction Pattern Specification
FormaliSE
Alberto Tagliaferro
Politecnico di Milano, Italy
,
Livia Lestingi
DEIB, Politecnico di Milano
,
Matteo Rossi
Politecnico di Milano
14:00 - 15:30
Machine learning and formal methods
FormaliSE
at
Eugénio de Andrade
Chair(s):
Stefania Gnesi
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
14:00
30m
Talk
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets
FormaliSE
Preston K. Robinette
Vanderbilt University
,
Diego Manzanas Lopez
Vanderbilt University
,
Serena Serbinowska
Vanderbilt University
,
Kevin Leach
Vanderbilt University
,
Taylor T Johnson
Vanderbilt University
Pre-print
14:30
30m
Talk
Leveraging Large Language Models to Boost Dafny’s Developers Productivity
FormaliSE
Álvaro F. Silva
Independent Researcher
,
Alexandra Mendes
University of Porto and HASLab, INESC TEC
,
João F. Ferreira
INESC-ID and IST, University of Lisbon
15:00
10m
Day closing
Closing
FormaliSE
Tue 16 Apr
Displayed time zone:
Lisbon
change
09:00 - 10:30
Session 1 - Keynote & MSR Studies
WSESE
at
Eugénio de Andrade
Chair(s):
Andreas Jedlitschka
Fraunhofer IESE
09:00
15m
Welcome
WSESE
Sira Vegas
Universidad Politecnica de Madrid
,
Andreas Jedlitschka
Fraunhofer IESE
09:15
45m
Keynote
Are we Getting Reliable Evidence? Methodology is Critical in Empirical Studies
WSESE
Natalia Juristo
Universidad Politecnica de Madrid
10:00
15m
Talk
Lessons Learned from Mining the Hugging Face Repository
WSESE
Joel Castaño Fernández
Universitat Politècnica de Catalunya
,
Silverio Martínez-Fernández
UPC-BarcelonaTech
,
Xavier Franch
Universitat Politècnica de Catalunya
Link to publication
Pre-print
10:15
15m
Talk
The Role of Data Filtering in Open Source Software Ranking and Selection
WSESE
Addi Malviya-Thakur
The University of Tennessee, Knoxville / Oak Ridge National Laboratory
,
Audris Mockus
The University of Tennessee, Knoxville / Vilnius University
11:00 - 12:30
Session 2 - Quality of evidence generated & Secondary Studies
WSESE
at
Eugénio de Andrade
Chair(s):
Andreas Jedlitschka
Fraunhofer IESE
11:00
12m
Talk
Evidence Tetris in the Pixelated World of Validity Threats
WSESE
Marvin Wyrich
Saarland University
,
Sven Apel
Saarland University
Pre-print
11:12
12m
Talk
Revisiting the construct and assessment of industrial relevance in software engineering research
WSESE
Kai Petersen
Blekinge Institute of Technology/Ericsson AB
,
J�rgen B�rstler
Blekinge Institute of Technology
,
Nauman Bin Ali
Blekinge Institute of Technology
,
Emelie Engstrom
Lund University
11:24
15m
Talk
Grounded Theory in Software Engineering: Challenges and Lessons Learned from the Trenches
WSESE
Pilar Rodriguez
Universidad Politécnica de Madrid
11:39
18m
Talk
A Second Look at the Impact of Passive Voice Requirements on Domain Modeling: Bayesian Reanalysis of an Experiment
WSESE
Julian Frattini
Blekinge Institute of Technology
,
Davide Fucci
Blekinge Institute of Technology
,
Richard Torkar
Chalmers and the University of Gothenburg
,
Daniel Mendez
Blekinge Institute of Technology and fortiss
DOI
Pre-print
11:57
18m
Talk
Emerging Results on Automated Support for Searching and Selecting Evidence for Systematic Literature Review Updates
WSESE
Bianca Minetto Napoleão
Université du Québec à Chicoutimi
,
Ritika Sarkar
Université du Québec à Chicoutimi
,
Sylvain Hallé
Université du Québec à Chicoutimi
,
Fabio Petrillo
École de technologie supérieure (ÉTS), Montréal -- Université du Québec
,
Marcos Kalinowski
Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
12:15
15m
Talk
Apples, Oranges, and Software Engineering: Study Selection Challenges for Secondary Research on Latent Variables
WSESE
Marvin Wyrich
Saarland University
,
Marvin Muñoz Barón
University of Stuttgart
,
Justus Bogner
Vrije Universiteit Amsterdam
Pre-print
14:00 - 15:30
Session 3 - Keynote & Participants
WSESE
at
Eugénio de Andrade
Chair(s):
Sira Vegas
Universidad Politecnica de Madrid
14:00
45m
Keynote
Applications of Language Models to Software Engineering: An Empirical Perspective
WSESE
Lionel Briand
University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
14:45
12m
Talk
Who's actually being Studied? A Call for Population Analysis in Software Engineering Research
WSESE
Jefferson Seide Molléri
Kristiania University
14:57
15m
Talk
Are You a Real Software Engineer? Best Practices in Online Recruitment for Software Engineering Studies
WSESE
Adam Alami
Aalborg University
,
Mansooreh Zahedi
The Univeristy of Melbourne
,
Neil Ernst
University of Victoria
15:12
15m
Talk
Hidden Populations in Software Engineering: Challenges, Lessons Learned, and Opportunities
WSESE
Ronnie de Souza Santos
University of Calgary
,
Kiev Gama
Federal University of Pernambuco (UFPE)
16:00 - 17:30
Session 4 - Presentation and Packaging & Panel & Conclusions
WSESE
at
Eugénio de Andrade
Chair(s):
Sira Vegas
Universidad Politecnica de Madrid
16:00
12m
Talk
FAIR enough: a Vision for Research Objects in Empirical Software Engineering Studies
WSESE
Davide Fucci
Blekinge Institute of Technology
16:12
18m
Talk
A Conceptual Model and Recommendations for Open Data and Artifacts in Empirical Software Engineering
WSESE
Per Runeson
Lund University
,
Emma Söderberg
Lund University
,
Martin Höst
Malmö University
16:30
12m
Talk
Insights Towards Better Case Study Reporting in Software Engineering
WSESE
Sergio Rico
Mid Sweden University
Pre-print
16:42
33m
Panel
Fishbowl panel: Future Directions for Emprical Software Engineering
WSESE
Per Runeson
Lund University
,
Marcos Kalinowski
Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
,
Jefferson Seide Molléri
Kristiania University
,
Audris Mockus
The University of Tennessee, Knoxville / Vilnius University
17:15
15m
Conclusions
WSESE
Sira Vegas
Universidad Politecnica de Madrid
,
Andreas Jedlitschka
Fraunhofer IESE
Wed 17 Apr
Displayed time zone:
Lisbon
change
11:00 - 12:30
Testing 1
ICSE Research Track
/
ICSE Journal-first Papers
/
ICSE Software Engineering in Practice
/
ICSE Software Engineering Education and Training
at
Eugénio de Andrade
Chair(s):
Ajitha Rajan
University of Edinburgh
11:00
15m
Talk
A First Look at the Inheritance-Induced Redundant Test Execution
ICSE Research Track
Dong Jae Kim
Concordia University
,
Jinqiu Yang
Concordia University
,
Tse-Hsun (Peter) Chen
Concordia University
11:15
15m
Talk
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation
ICSE Research Track
Michele Pasqua
University of Verona
,
Mariano Ceccato
University of Verona
,
Paolo Tonella
USI Lugano
Pre-print
11:30
15m
Talk
Gamifying a Software Testing Course with Continuous Integration
ICSE Software Engineering Education and Training
Philipp Straubinger
University of Passau
,
Gordon Fraser
University of Passau
Pre-print
11:45
15m
Talk
Enhancing Testing at Meta with Rich-State Simulated Populations
ICSE Software Engineering in Practice
Kinga Bojarczuk
Meta
,
Mark Harman
Meta Platforms, Inc. and UCL
,
Nadia Alshahwan
Meta Platforms
,
Arianna Blasi
Meta Platforms, Inc.
,
Andrea Ciancone
Meta
,
Natalija Gucevska
Meta
,
Michal Krolikowski
Meta
,
Rubmary Rojas
Meta
,
Dragos Martac
Meta
,
Simon Schellaert
Meta
,
Kate Ustiuzhanina
Meta
,
Inna Harper
Meta
,
Yue Jia
Meta
,
Will Lewis
Meta
12:00
15m
Talk
The Impact Of Bug Localization Based on Crash Report Mining: A Developers' Perspective
ICSE Software Engineering in Practice
Marcos Medeiros
Federal University of Rio Grande do Norte
,
Uirá Kulesza
Federal University of Rio Grande do Norte
,
Roberta Coelho
,
Rodrigo Bonifácio
Computer Science Department - University of Brasília
,
Christoph Treude
Singapore Management University
,
Eiji Adachi Barbosa
Federal University of Rio Grande do Norte (UFRN)
Pre-print
12:15
7m
Talk
Stress Testing Control Loops in Cyber-Physical Systems
ICSE Journal-first Papers
Claudio Mandrioli
University of Luxembourg
,
Seung Yeob Shin
University of Luxembourg
,
Martina Maggio
Saarland University, Germany / Lund University, Sweden
,
Domenico Bianculli
University of Luxembourg
,
Lionel Briand
University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
Pre-print
12:30 - 14:00
TCSE executive committee meeting
ICSE Social Events
at
Eugénio de Andrade
Chair(s):
Ladan Tahvildari
University of Waterloo
12:30
90m
Meeting
TCSE executive committee meeting
ICSE Social Events
14:00 - 15:30
Testing 2
ICSE Research Track
/
ICSE Software Engineering Education and Training
/
ICSE Software Engineering in Practice
/
ICSE Demonstrations
/
ICSE Journal-first Papers
at
Eugénio de Andrade
Chair(s):
Jonathan Bell
Northeastern University
14:00
15m
Talk
Ripples of a Mutation — An Empirical Study of Propagation Effects in Mutation Testing
ICSE Research Track
Hang Du
University of California at Irvine
,
Vijay Krishna Palepu
Microsoft
,
James Jones
University of California at Irvine
DOI
14:15
15m
Talk
Fast Deterministic Black-box Context-free Grammar Inference
ICSE Research Track
Mohammad Rifat Arefin
The University of Texas at Arlington
,
Suraj Shetiya
University of Texas at Arlington
,
Zili Wang
Iowa State University
,
Christoph Csallner
University of Texas at Arlington
Pre-print
Media Attached
14:30
15m
Talk
Bridging Theory to Practice in Software Testing Teaching through Team-based Learning (TBL) and Open Source Software (OSS) Contribution
ICSE Software Engineering Education and Training
Elaine Venson
University of Brasilia
,
Reem Alfayez
King Saud University
14:45
15m
Talk
Productive Coverage: Improving the Actionability of Code Coverage
ICSE Software Engineering in Practice
Marko Ivanković
Google; Universität Passau
,
Goran Petrović
Google Inc
,
Yana Kulizhskaya
Google Inc
,
Mateusz Lewko
Google Inc
,
Luka Kalinovčić
No affiliation
,
René Just
University of Washington
,
Gordon Fraser
University of Passau
15:00
15m
Talk
Taming Timeout Flakiness: An Empirical Study of SAP HANA
ICSE Software Engineering in Practice
Alexander Berndt
University of Mannheim
,
Sebastian Baltes
University of Bayreuth
,
Thomas Bach
SAP
Pre-print
15:15
7m
Talk
Testing Abstractions for Cyber-Physical Control Systems
ICSE Journal-first Papers
Claudio Mandrioli
University of Luxembourg
,
Max Nyberg Carlsson
Lund University
,
Martina Maggio
Saarland University, Germany / Lund University, Sweden
Pre-print
15:22
7m
Talk
FaultFuzz: A Coverage Guided Fault Injection Tool for Distributed Systems
ICSE Demonstrations
Wenhan Feng
Institute of Software, Chinese Academy of Sciences
,
Qiugen Pei
Joint Laboratory on Cyberspace Security China Southern Power Grid
,
Yu Gao
Institute of Software, Chinese Academy of Sciences, China
,
Dong Wang
Institute of software, Chinese academy of sciences
,
Wensheng Dou
Institute of Software Chinese Academy of Sciences
,
Jun Wei
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing School
,
Zheheng Liang
Joint Laboratory on Cyberspace Security of China Southern Power Grid
,
Zhenyue Long
Joint Laboratory on Cyberspace Security China Southern Power Grid
Pre-print
16:00 - 17:30
Testing: various bug types 1
ICSE Research Track
/
ICSE Software Engineering in Practice
at
Eugénio de Andrade
Chair(s):
June Sallou
Delft University of Technology
16:00
15m
Talk
CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation
ICSE Research Track
Jinsheng Ba
National University of Singapore
,
Manuel Rigger
National University of Singapore
Pre-print
16:15
15m
Talk
Optimistic Prediction of Synchronization-Reversal Data Races
ICSE Research Track
Zheng Shi
National University of Singapore
,
Umang Mathur
National University of Singapore
,
Andreas Pavlogiannis
Aarhus University
16:30
15m
Talk
Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation
ICSE Research Track
Jie Liang
,
Zhiyong Wu
Tsinghua University, China
,
Jingzhou Fu
School of Software, Tsinghua University
,
Mingzhe Wang
Tsinghua University
,
Chengnian Sun
University of Waterloo
,
Yu Jiang
Tsinghua University
16:45
15m
Talk
FlakeSync: Automatically Repairing Async Flaky Tests
ICSE Research Track
Shanto Rahman
University of Texas at Austin
,
August Shi
The University of Texas at Austin
17:00
15m
Talk
Testing the Limits: Unusual Text Inputs Generation for Mobile App Crash Detection with Large Language Model
ICSE Research Track
Zhe Liu
Institute of Software, Chinese Academy of Sciences
,
Chunyang Chen
Technical University of Munich (TUM)
,
Junjie Wang
Institute of Software, Chinese Academy of Sciences
,
Mengzhuo Chen
Institute of Software, Chinese Academy of Sciences
,
Boyu Wu
University of Chinese Academy of Sciences, Beijing, China
,
Zhilin Tian
Pennsylvania State University
,
Yuekai Huang
Institute of Software, Chinese Academy of Sciences
,
Jun Hu
Institute of Software, Chinese Academy of Sciences
,
Qing Wang
Institute of Software, Chinese Academy of Sciences
17:15
15m
Talk
AutoConsis: Automatic GUI-driven Data Inconsistency Detection of Mobile Apps
ICSE Software Engineering in Practice
Yongxiang Hu
Fudan University
,
Hailiang Jin
Meituan Inc.
,
Xuan Wang
Fudan University
,
Jiazhen Gu
The Chinese University of Hong Kong
,
Shiyu Guo
Meituan
,
Chaoyi Chen
Meituan
,
Xin Wang
Fudan University
,
Yangfan Zhou
Fudan University
Thu 18 Apr
Displayed time zone:
Lisbon
change
11:00 - 12:30
Technical Briefings 4
ICSE Technical Briefings
at
Eugénio de Andrade
Chair(s):
Rashina Hoda
Monash University
11:00
90m
Paper
Technical Briefing on Socio-Technical Grounded Theory for Qualitative Data Analysis
ICSE Technical Briefings
Rashina Hoda
Monash University
12:30 - 14:00
Women@ICSE Lunch
ICSE Social Events
at
Eugénio de Andrade
Chair(s):
Alvine Boaye Belle
York University
12:30
90m
Lunch
Women@ICSE Lunch
ICSE Social Events
14:00 - 15:30
Technical Briefings 5
ICSE Technical Briefings
at
Eugénio de Andrade
Chair(s):
Fatemeh Hendijani Fard
University of British Columbia
14:00
90m
Paper
Technical Briefing on Parameter Efficient Fine-Tuning of (Large) Language Models for Code-Intelligence
ICSE Technical Briefings
Fatemeh Hendijani Fard
University of British Columbia
15:30 - 16:00
BIPOC@ICSE Café
ICSE Social Events
at
Eugénio de Andrade
Chair(s):
Alvine Boaye Belle
York University
,
Ronnie de Souza Santos
University of Calgary
15:30
30m
Social Event
BIPOC@ICSE Café
ICSE Social Events
Fri 19 Apr
Displayed time zone:
Lisbon
change
11:00 - 12:30
Security 4
ICSE Research Track
/
ICSE Software Engineering in Practice
at
Eugénio de Andrade
Chair(s):
Liliana Pasquale
University College Dublin & Lero
11:00
15m
Talk
A User-centered Security Evaluation of Copilot
ICSE Research Track
Owura Asare
University of Waterloo
,
Mei Nagappan
University of Waterloo
,
N. Asokan
University of Waterloo
11:15
15m
Talk
Identifying Affected Libraries and Their Ecosystems for Open Source Software Vulnerabilities
ICSE Research Track
Susheng Wu
Fudan University
,
Wenyan Song
Fudan University
,
Kaifeng Huang
Tongji University
,
Bihuan Chen
Fudan University
,
Xin Peng
Fudan University
11:30
15m
Talk
Understanding Transaction Bugs in Database Systems
ICSE Research Track
Ziyu Cui
Institute of Software Chinese Academy of Sciences
,
Wensheng Dou
Institute of Software Chinese Academy of Sciences
,
Yu Gao
Institute of Software, Chinese Academy of Sciences, China
,
Dong Wang
Institute of software, Chinese academy of sciences
,
Jiansen Song
Institute of Software Chinese Academy of Sciences
,
Yingying Zheng
Institute of Software Chinese Academy of Sciences
,
Tao Wang
Institute of Software at Chinese Academy of Sciences
,
Rui Yang
Institute of Software, Chinese Academy of Sciences
,
Kang Xu
University of Chinese Academy of Sciences, Nanjing
,
Yixin Hu
Sun Yat-sen University
,
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
Pre-print
11:45
15m
Talk
When Contracts Meets Crypto: Exploring Developers' Struggles with Ethereum Cryptographic APIs
ICSE Research Track
Jiashuo Zhang
Peking University, China
,
Jiachi Chen
Sun Yat-sen University
,
Zhiyuan Wan
Zhejiang University
,
Ting Chen
University of Electronic Science and Technology of China
,
Jianbo Gao
Peking University
,
Zhong Chen
12:00
15m
Talk
Industrial Challenges in Secure Continuous Development
ICSE Software Engineering in Practice
Fabiola Moyón
Siemens Technology and Technical University of Munich
,
Florian Angermeir
fortiss GmbH
,
Daniel Mendez
Blekinge Institute of Technology and fortiss
Pre-print
12:15
15m
Talk
Automated Security Findings Management: A Case Study in Industrial DevOps
ICSE Software Engineering in Practice
Markus Voggenreiter
Siemens Technology / LMU Munich
,
Florian Angermeir
fortiss GmbH
,
Fabiola Moyón
Siemens Technology and Technical University of Munich
,
Ulrich Schöpp
fortiss GmbH
,
Pierre Bonvin
Munich University of Applied Sciences
Pre-print
14:00 - 15:30
Vulnerability Detection
ICSE Research Track
at
Eugénio de Andrade
Chair(s):
Caroline Lemieux
University of British Columbia
14:00
15m
Talk
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis
ICSE Research Track
Yuqiang Sun
Nanyang Technological University
,
Daoyuan Wu
Nanyang Technological University
,
Yue Xue
MetaTrust Labs
,
Han Liu
East China Normal University
,
Haijun Wang
Xi'an Jiaotong University
,
Zhengzi Xu
Nanyang Technological University
,
Xiaofei Xie
Singapore Management University
,
Yang Liu
Nanyang Technological University
DOI
Pre-print
14:15
15m
Talk
PrettySmart: Detecting Permission Re-delegation Vulnerability for Token Behaviors in Smart Contracts
ICSE Research Track
Zhijie Zhong
School of Software Engineering, Sun Yat-sen University
,
Hong-Ning Dai
Hong Kong Baptist University
,
Zibin Zheng
Sun Yat-sen University
,
Qing Xue
Sun Yat-sen University
,
Junjia Chen
Sun Yat-sen University
,
Yuhong Nan
Sun Yat-sen University
14:30
15m
Talk
Combining Structured Static Code Information and Dynamic Symbolic Traces for Software Vulnerability Prediction
ICSE Research Track
Huanting Wang
University of Leeds, UK
,
Zhanyong Tang
Northwest University
,
Shin Hwei Tan
Concordia University
,
Jie Wang
NorthWest University
,
Yuzhe Liu
NorthWest University
,
Hejun Fang
NorthWest University
,
Chunwei Xia
University of Leeds
,
Zheng Wang
University of Leeds
14:45
15m
Talk
SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network
ICSE Research Track
Feng Luo
University of Electronic Science and Technology of China
,
Ruijie Luo
University of Electronic Science and Technology of China
,
Ting Chen
University of Electronic Science and Technology of China
,
Ao Qiao
University of Electronic Science and Technology of China
,
Zheyuan He
University of Electronic Science and Technology of China
,
Shuwei Song
University of Electronic Science and Technology of China
,
Yu Jiang
Tsinghua university
,
Sixing Li
University of Electronic Science and Technology of China
15:00
15m
Talk
PS3: Precise Patch Presence Test based on Semantic Symbolic Signature
ICSE Research Track
Qi Zhan
Zhejiang University
,
Xing Hu
Zhejiang University
,
Zhiyang Li
Zhejiang University
,
Xin Xia
Huawei Technologies
,
David Lo
Singapore Management University
,
Shanping Li
Zhejiang University
15:15
15m
Talk
Safeguarding DeFi Smart Contracts against Oracle Deviations
ICSE Research Track
Xun Deng
University of Toronto
,
Sidi Mohamed Beillahi
University of Toronto
,
Cyrus Minwalla
Bank of Canada
,
Han Du
Bank of Canada
,
Andreas Veneris
University of Toronto
,
Fan Long
University of Toronto
16:00 - 17:30
Static Detection Techniques
ICSE Software Engineering in Practice
/
ICSE Research Track
at
Eugénio de Andrade
Chair(s):
Valentina Lenarduzzi
University of Oulu
16:00
15m
Talk
MalwareTotal: Multi-Faceted and Sequence-Aware Bypass Tactics against Static Malware Detection
ICSE Research Track
Shuai He
Huazhong University of Science and Technology
,
Cai Fu
Huazhong University of Science and Technology
,
Hong Hu
Pennsylvania State University
,
Jiahe Chen
Huazhong University of Science and Technology
,
Jianqiang Lv
Huazhong University of Science and Technology
,
Shuai Jiang
Huazhong University of Science and Technology
Link to publication
16:15
15m
Talk
Semantic-Enhanced Static Vulnerability Detection in Baseband Firmware
ICSE Research Track
Yiming Liu
Institute of Information Engineering, Chinese Academy of Sciences
,
Cen Zhang
Nanyang Technological University
,
Feng Li
Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China
,
Yeting Li
Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences
,
Jianhua Zhou
Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China
,
Jian Wang
Institute of Information Engineering, Chinese Academy of Sciences
,
Lanlan Zhan
Institute of Information Engineering, Chinese Academy of Sciences
,
Yang Liu
Nanyang Technological University
,
Wei Huo
Institute of Information Engineering at Chinese Academy of Sciences
16:30
15m
Talk
CSChecker: Revisiting GDPR and CCPA Compliance of Cookie Banners on the Web
ICSE Research Track
Mingxue Zhang
Zhejiang University
,
Wei Meng
Chinese University of Hong Kong
,
You Zhou
Zhejiang University
,
Kui Ren
Zhejiang University
16:45
15m
Talk
Raisin: Identifying Rare Sensitive Functions for Bug Detection
ICSE Research Track
Jianjun Huang
Renmin University of China
,
Jianglei Nie
Renmin University of China
,
Yuanjun Gong
Renmin University of China
,
Wei You
Renmin University of China
,
Bin Liang
Renmin University of China, China
,
Pan Bian
Huawei Technologies CO., LTD., China
17:00
15m
Talk
Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust
ICSE Software Engineering in Practice
Ying Zhang
Virginia Tech
,
Peng Li
Zoox
,
Yu Ding
Google
,
Wang Lingxiang
Microsoft
,
Dan Williams
Virginia Tech
,
Na Meng
Virginia Tech
Pre-print
17:15
15m
Talk
Inference for Ever-Changing Policy of Taint Analysis
ICSE Software Engineering in Practice
Wen-Hao Chiang
Amazon Web Services
,
Peixuan Li
Amazon Web Services
,
Qiang Zhou
Amazon Web Services
,
Subarno Banerjee
Amazon Web Services
,
Martin Schäf
Amazon Web Services
,
Yingjun Lyu
Amazon Web Services
,
Hoan Nguyen
Amazon Web Services
,
Omer Tripp
Amazon Web Services
Sat 20 Apr
Displayed time zone:
Lisbon
change
09:00 - 10:30
Opening + Tutorials
DeepTest
at
Eugénio de Andrade
Chair(s):
Nicolás Cardozo
Universidad de los Andes
09:00
30m
Day opening
Opening
DeepTest
09:30
30m
Tutorial
Tutorial: TestSpark
DeepTest
Pouria Derakhshanfar
JetBrains Research
,
Arkadii Sapozhnikov
JetBrains Research
10:00
30m
Tutorial
Tutorial: OpenSBT
DeepTest
Lev Sorokin
fortiss GmbH | Technische Universität München
Link to publication
Authorizer link
Pre-print
11:00 - 12:30
Research Talks
DeepTest
at
Eugénio de Andrade
Chair(s):
Matteo Biagiola
Università della Svizzera italiana
11:00
30m
Paper
Data vs. Model Machine Learning Fairness Testing: An Empirical Study
DeepTest
Arumoy Shome
Delft University of Technology
,
Luís Cruz
Delft University of Technology
,
Arie van Deursen
Delft University of Technology
Pre-print
11:30
30m
Paper
Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines
DeepTest
Lev Sorokin
fortiss GmbH | Technische Universität München
,
Niklas Kerscher
Technische Universität München | Ludwig-Maximilians-Universität München
Pre-print
12:00
30m
Paper
A Framework for Including Uncertainty in Robustness Evaluation of Bayesian Neural Network Classifiers
DeepTest
Wasim Essbai
Technische Universität Wien
,
Andrea Bombarda
University of Bergamo
,
Silvia Bonfanti
University of Bergamo
,
Angelo Gargantini
University of Bergamo
Pre-print
14:00 - 15:30
Keynote + Invited Talk
DeepTest
at
Eugénio de Andrade
Chair(s):
Foutse Khomh
École Polytechnique de Montréal
14:00
45m
Keynote
Mobile Application Testing with Large Language Models: Landscape and Vision
DeepTest
Chunyang Chen
Technical University of Munich (TUM)
14:45
45m
Talk
A Controlled Experiment of Different Code Representations for Learning-Based Program Repair
DeepTest
Marjane Namavar
,
Noor Nashid
University of British Columbia
,
Ali Mesbah
University of British Columbia (UBC)
Pre-print
16:00 - 17:30
Research Talks + Closing
DeepTest
at
Eugénio de Andrade
Chair(s):
Andrea Stocco
Technical University of Munich, fortiss
16:00
30m
Paper
More is Not Always Better: Exploring Early Repair of DNNs
DeepTest
Andrei Mancu
Technical University of Munich
,
Thomas Laurent
Lero@Trinity College Dublin
,
Franz Rieger
Max Planck Institute for Biological Intelligence and Technical University of Munich
,
Paolo Arcaini
National Institute of Informatics
,
Fuyuki Ishikawa
National Institute of Informatics
,
Daniel Rueckert
Pre-print
16:30
30m
Paper
Federated Repair of Deep Neural Networks
DeepTest
Davide Li Calsi
Politecnico di Milano
,
Thomas Laurent
Lero@Trinity College Dublin
,
Paolo Arcaini
National Institute of Informatics
,
Fuyuki Ishikawa
National Institute of Informatics
Pre-print
17:00
30m
Day closing
Closing
DeepTest
Sun 14 Apr
Displayed time zone:
Lisbon
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
Eugénio de Andrade
FormaliSE
Opening and Keynote
FormaliSE
Automata and applications
FormaliSE
Timed behavior specification and verification
FormaliSE
Formal methods for cyber-physical systems and requirements engineering
Mon 15 Apr
Displayed time zone:
Lisbon
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Eugénio de Andrade
FormaliSE
Keynote
FormaliSE
Theorem proving and applications
FormaliSE
Machine learning and formal methods
Tue 16 Apr
Displayed time zone:
Lisbon
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
Eugénio de Andrade
WSESE
Session 1 - Keynote & MSR Studies
WSESE
Session 2 - Quality of evidence generated & Secondary Studies
WSESE
Session 3 - Keynote & Participants
WSESE
Session 4 - Presentation and Packaging & Panel & Conclusions
Wed 17 Apr
Displayed time zone:
Lisbon
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Eugénio de Andrade
ICSE Research Track + ICSE Journal-first Papers + ICSE Software Engineering in Practice + ICSE Software Engineering Education and Training
Testing 1
ICSE Social Events
TCSE executive committee meeting
ICSE Research Track + ICSE Software Engineering Education and Training + ICSE Software Engineering in Practice + ICSE Demonstrations + ICSE Journal-first Papers
Testing 2
ICSE Research Track + ICSE Software Engineering in Practice
Testing: various bug types 1
Thu 18 Apr
Displayed time zone:
Lisbon
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Eugénio de Andrade
ICSE Technical Briefings
Technical Briefings 4
ICSE Social Events
Women@ICSE Lunch
ICSE Technical Briefings
Technical Briefings 5
ICSE Social Events
BIPOC@ICSE Café
Fri 19 Apr
Displayed time zone:
Lisbon
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Eugénio de Andrade
ICSE Research Track + ICSE Software Engineering in Practice
Security 4
ICSE Research Track
Vulnerability Detection
ICSE Software Engineering in Practice + ICSE Research Track
Static Detection Techniques
Sat 20 Apr
Displayed time zone:
Lisbon
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
Eugénio de Andrade
DeepTest
Opening + Tutorials
DeepTest
Research Talks
DeepTest
Keynote + Invited Talk
DeepTest
Research Talks + Closing
Sun 14 Apr
Displayed time zone:
Lisbon
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
Eugénio de Andrade
FormaliSE
Opening
09:00 - 09:10
FormaliSE
FormalISE: Reflections on Formal and Informal Methods in Software Engin ...
09:10 - 10:30
FormaliSE
Contract Automata: A Specification Language for Mode-Based Systems
11:00 - 11:30
FormaliSE
Finite Automata synthesis from Interactions
11:30 - 12:00
FormaliSE
Preprocessing is What You Need: Understanding and Predicting the Comple ...
12:00 - 12:30
FormaliSE
Diagnosing Violations of Time-based Properties Captured in iCFTL
14:00 - 14:30
FormaliSE
Time for Networks: Mutation Testing for Timed Automata Networks
14:30 - 15:00
FormaliSE
Verifying Opacity of Discrete-Timed Automata
15:00 - 15:30
FormaliSE
Automated Repair of Violated Eventually Properties in Concurrent Programs
16:00 - 16:30
FormaliSE
Compositional Analysis of Parametric Cooperative Cyber-Physical Systems
16:30 - 17:00
FormaliSE
Formal Methods in Requirements Engineering: Survey and Future Directions
17:00 - 17:30
Mon 15 Apr
Displayed time zone:
Lisbon
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
Eugénio de Andrade
FormaliSE
Two-way collaboration between flow and proof in SPARKBA
09:00 - 10:30
FormaliSE
A Semantics of Structures, Unions, and Underspecified Terms for Formal ...
11:00 - 11:30
FormaliSE
Formally Verified Interval Arithmetic and Its Application to Program Ve ...
11:30 - 12:00
FormaliSE
Towards Verifiable Multi-Agent Interaction Pattern Specification
12:00 - 12:30
FormaliSE
Case Study: Neural Network Malware Detection Verification for Feature a ...
14:00 - 14:30
FormaliSE
Leveraging Large Language Models to Boost Dafny’s Developers Productivity
14:30 - 15:00
FormaliSE
Closing
15:00 - 15:10
Tue 16 Apr
Displayed time zone:
Lisbon
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
Eugénio de Andrade
WSESE
Welcome
09:00 - 09:15
WSESE
Are we Getting Reliable Evidence? Methodology is Critical in Empirical ...
09:15 - 10:00
WSESE
Lessons Learned from Mining the Hugging Face Repository
10:00 - 10:15
WSESE
The Role of Data Filtering in Open Source Software Ranking and Selection
10:15 - 10:30
WSESE
Evidence Tetris in the Pixelated World of Validity Threats
11:00 - 11:12
WSESE
Revisiting the construct and assessment of industrial relevance in soft ...
11:12 - 11:24
WSESE
Grounded Theory in Software Engineering: Challenges and Lessons Learned ...
11:24 - 11:39
WSESE
A Second Look at the Impact of Passive Voice Requirements on Domain Mod ...
11:39 - 11:57
WSESE
Emerging Results on Automated Support for Searching and Selecting Evide ...
11:57 - 12:15
WSESE
Apples, Oranges, and Software Engineering: Study Selection Challenges f ...
12:15 - 12:30
WSESE
Applications of Language Models to Software Engineering: An Empirical P ...
14:00 - 14:45
WSESE
Who's actually being Studied? A Call for Population Analysis in Softwar ...
14:45 - 14:57
WSESE
Are You a Real Software Engineer? Best Practices in Online Recruitment ...
14:57 - 15:12
WSESE
Hidden Populations in Software Engineering: Challenges, Lessons Learned ...
15:12 - 15:27
WSESE
FAIR enough: a Vision for Research Objects in Empirical Software Engine ...
16:00 - 16:12
WSESE
A Conceptual Model and Recommendations for Open Data and Artifacts in E ...
16:12 - 16:30
WSESE
Insights Towards Better Case Study Reporting in Software Engineering
16:30 - 16:42
WSESE
Fishbowl panel: Future Directions for Emprical Software Engineering
16:42 - 17:15
WSESE
Conclusions
17:15 - 17:30
Wed 17 Apr
Displayed time zone:
Lisbon
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
Eugénio de Andrade
ICSE Research Track
A First Look at the Inheritance-Induced Redundant Test Execution
11:00 - 11:15
ICSE Research Track
Hypertesting of Programs: Theoretical Foundation and Automated Test Gen ...
11:15 - 11:30
ICSE Software Engineering Education and Training
Gamifying a Software Testing Course with Continuous Integration
11:30 - 11:45
ICSE Software Engineering in Practice
Enhancing Testing at Meta with Rich-State Simulated Populations
11:45 - 12:00
ICSE Software Engineering in Practice
The Impact Of Bug Localization Based on Crash Report Mining: A Develope ...
12:00 - 12:15
ICSE Journal-first Papers
Stress Testing Control Loops in Cyber-Physical Systems
12:15 - 12:22
ICSE Social Events
TCSE executive committee meeting
12:30 - 14:00
ICSE Research Track
Ripples of a Mutation — An Empirical Study of Propagation Effects in Mu ...
14:00 - 14:15
ICSE Research Track
Fast Deterministic Black-box Context-free Grammar Inference
14:15 - 14:30
ICSE Software Engineering Education and Training
Bridging Theory to Practice in Software Testing Teaching through Team-b ...
14:30 - 14:45
ICSE Software Engineering in Practice
Productive Coverage: Improving the Actionability of Code Coverage
14:45 - 15:00
ICSE Software Engineering in Practice
Taming Timeout Flakiness: An Empirical Study of SAP HANA
15:00 - 15:15
ICSE Journal-first Papers
Testing Abstractions for Cyber-Physical Control Systems
15:15 - 15:22
ICSE Demonstrations
FaultFuzz: A Coverage Guided Fault Injection Tool for Distributed Systems
15:22 - 15:29
ICSE Research Track
CERT: Finding Performance Issues in Database Systems Through the Lens o ...
16:00 - 16:15
ICSE Research Track
Optimistic Prediction of Synchronization-Reversal Data Races
16:15 - 16:30
ICSE Research Track
Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transfor ...
16:30 - 16:45
ICSE Research Track
FlakeSync: Automatically Repairing Async Flaky Tests
16:45 - 17:00
ICSE Research Track
Testing the Limits: Unusual Text Inputs Generation for Mobile App Crash ...
17:00 - 17:15
ICSE Software Engineering in Practice
AutoConsis: Automatic GUI-driven Data Inconsistency Detection of Mobile ...
17:15 - 17:30
Thu 18 Apr
Displayed time zone:
Lisbon
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
Eugénio de Andrade
ICSE Technical Briefings
Technical Briefing on Socio-Technical Grounded Theory for Qualitative D ...
11:00 - 12:30
ICSE Social Events
Women@ICSE Lunch
12:30 - 14:00
ICSE Technical Briefings
Technical Briefing on Parameter Efficient Fine-Tuning of (Large) Langua ...
14:00 - 15:30
ICSE Social Events
BIPOC@ICSE Café
15:30 - 16:00
Fri 19 Apr
Displayed time zone:
Lisbon
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
Eugénio de Andrade
ICSE Research Track
A User-centered Security Evaluation of Copilot
11:00 - 11:15
ICSE Research Track
Identifying Affected Libraries and Their Ecosystems for Open Source Sof ...
11:15 - 11:30
ICSE Research Track
Understanding Transaction Bugs in Database Systems
11:30 - 11:45
ICSE Research Track
When Contracts Meets Crypto: Exploring Developers' Struggles with Ether ...
11:45 - 12:00
ICSE Software Engineering in Practice
Industrial Challenges in Secure Continuous Development
12:00 - 12:15
ICSE Software Engineering in Practice
Automated Security Findings Management: A Case Study in Industrial DevOps
12:15 - 12:30
ICSE Research Track
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combinin ...
14:00 - 14:15
ICSE Research Track
PrettySmart: Detecting Permission Re-delegation Vulnerability for Token ...
14:15 - 14:30
ICSE Research Track
Combining Structured Static Code Information and Dynamic Symbolic Trace ...
14:30 - 14:45
ICSE Research Track
SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneou ...
14:45 - 15:00
ICSE Research Track
PS3: Precise Patch Presence Test based on Semantic Symbolic Signature
15:00 - 15:15
ICSE Research Track
Safeguarding DeFi Smart Contracts against Oracle Deviations
15:15 - 15:30
ICSE Research Track
MalwareTotal: Multi-Faceted and Sequence-Aware Bypass Tactics against S ...
16:00 - 16:15
ICSE Research Track
Semantic-Enhanced Static Vulnerability Detection in Baseband Firmware
16:15 - 16:30
ICSE Research Track
CSChecker: Revisiting GDPR and CCPA Compliance of Cookie Banners on the Web
16:30 - 16:45
ICSE Research Track
Raisin: Identifying Rare Sensitive Functions for Bug Detection
16:45 - 17:00
ICSE Software Engineering in Practice
Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust
17:00 - 17:15
ICSE Software Engineering in Practice
Inference for Ever-Changing Policy of Taint Analysis
17:15 - 17:30
Sat 20 Apr
Displayed time zone:
Lisbon
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
Eugénio de Andrade
DeepTest
Opening
09:00 - 09:30
DeepTest
Tutorial: TestSpark
09:30 - 10:00
DeepTest
Tutorial: OpenSBT
10:00 - 10:30
DeepTest
Data vs. Model Machine Learning Fairness Testing: An Empirical Study
11:00 - 11:30
DeepTest
Guiding the Search Towards Failure-Inducing Test Inputs Using Support V ...
11:30 - 12:00
DeepTest
A Framework for Including Uncertainty in Robustness Evaluation of Bayes ...
12:00 - 12:30
DeepTest
Mobile Application Testing with Large Language Models: Landscape and Vision
14:00 - 14:45
DeepTest
A Controlled Experiment of Different Code Representations for Learning- ...
14:45 - 15:30
DeepTest
More is Not Always Better: Exploring Early Repair of DNNs
16:00 - 16:30
DeepTest
Federated Repair of Deep Neural Networks
16:30 - 17:00
DeepTest
Closing
17:00 - 17:30
x
Fri 8 Nov 22:51