FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
VenueCentro Cultural de Belém
Room nameFernando Pessoa
Capacity130
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

Sun 14 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Day 1 Opening Session / Keynote 1CHASE Full Papers / CHASE Journal-First at Fernando Pessoa
Chair(s): Birgit Penzenstadler Chalmers
09:00
10m
Day opening
Day 1 Opening
CHASE Full Papers
P: Daniel Graziotin University of Hohenheim
09:10
60m
Keynote
A Journey Into the Emotions of Software Developers
CHASE Full Papers
K: Nicole Novielli University of Bari
10:10
20m
Paper
Ethics in the Age of AI: An Analysis of AI Practitioners’ Awareness and ChallengesJournal-First
CHASE Journal-First
Aastha Pant Monash University, Rashina Hoda Monash University, Simone Spiegler Monash University, Kla Tantithamthavorn Monash University, Burak Turhan University of Oulu
11:00 - 12:30
Decision-making and selection processes in software developmentCHASE Full Papers at Fernando Pessoa
Chair(s): Klaas-Jan Stol Lero; University College Cork; SINTEF Digital
11:00
20m
Full-paper
“How do people decide?”: A Model for Software Library SelectionFull Paper
CHASE Full Papers
Minaoar Hossain Tanzil University of Calgary, Canada, Gias Uddin York University, Canada, Ann Barcomb Department of Electrical and Software Engineering, Schulich School of Engineering, University of Calgary
DOI Pre-print
11:20
20m
Full-paper
The Roles, Responsibilities, and Skills of Engineers in the Era of Microservices-Based ArchitecturesFull Paper
CHASE Full Papers
Hamdy Michael Ayas Chalmers | University of Gothenburg, Regina Hebig Chalmers University of Technology & University of Gothenburg, Philipp Leitner Chalmers | University of Gothenburg
11:40
20m
Full-paper
Identification of human values from goal modelsFull Paper
CHASE Full Papers
Tahira Iqbal University of Tartu, Kuldar Taveter University of Tartu, Estonia, Tarmo Strenze , Waqar Hussain Monash University, Omar Haggag Monash University, Australia, John Alphonsus Matthews , Anu Piirisild
12:00
20m
Full-paper
From the Inside Out: Organizational Impact on Open-Source Communities and Contributor DiversityFull Paper
CHASE Full Papers
Hana Frluckaj , Huilian Sophie Qiu Northwestern University, Bogdan Vasilescu Carnegie Mellon University, Laura Dabbish Carnegie Mellon University
14:00 - 15:30
AI adoption and hybrid - recent trends in SECHASE Full Papers / CHASE Short Papers / CHASE Journal-First at Fernando Pessoa
Chair(s): Giuseppe Destefanis Brunel University London
14:00
10m
Short-paper
Challenges with Teamwork Quality and the Relationship to Project Success in Large-Scale Agile ProjectsShort Paper
CHASE Short Papers
Torgeir Dingsøyr Norwegian University of Science and Technology and SimulaMet, Phillip Schneider , Gunnar Rye Bergersen University of Oslo, Yngve Lindsjørn
Pre-print
14:10
20m
Full-paper
Hybrid Work meets Agile Software Development: A Systematic Mapping StudyFull Paper
CHASE Full Papers
Dron Khanna Free University of Bozen-Bolzano, Emily Laue Christensen IT University of Copenhagen, Saagarika Gosu Free University of Bozen-Bolzano, Xiaofeng Wang Free University of Bozen-Bolzano, Maria Paasivaara LUT University, Finland & Aalto University, Finland
Pre-print
14:30
20m
Full-paper
Post-Pandemic Hybrid Work in Software Companies: Findings from an Industrial Case StudyFull Paper
CHASE Full Papers
Pre-print
14:50
20m
Paper
Navigating the Complexity of Generative AI Adoption in Software EngineeringJournal-First
CHASE Journal-First
Daniel Russo Department of Computer Science, Aalborg University
16:00 - 17:30
User experience and software documentation / ClosingCHASE Full Papers / CHASE Journal-First / CHASE Short Papers at Fernando Pessoa
Chair(s): Silvia Abrahão Universitat Politècnica de València
16:00
10m
Short-paper
UX Debt: Developers Borrow While Users PayShort Paper
CHASE Short Papers
Sebastian Baltes University of Bayreuth, Veronika Dashuber QAware GmbH
Pre-print
16:10
10m
Short-paper
Development of Data-driven Persona Including User Behavior and Pain Point through Clustering with User Log of B2B SoftwareShort Paper
CHASE Short Papers
Rie Sera , Hironori Washizaki Waseda University, Junyan Chen , Yoshiaki Fukazawa Waseda University, Masahiro Taga , Kazuyuki Nakagawa , Yusuke Sakai , Kiyoshi Honda Osaka Institute of Technology
16:20
10m
Short-paper
Why People Contribute Software DocumentationShort Paper
CHASE Short Papers
Deeksha M. Arya McGill University, Jin L.C. Guo McGill University, Martin P. Robillard McGill University
Pre-print
16:30
20m
Paper
Enablers and Barriers of Empathy in Software Developer and User Interactions: A Mixed Methods Case StudyJournal-First
CHASE Journal-First
Hashini Gunatilake , John Grundy Monash University, Rashina Hoda Monash University, ingo Mueller Monash University
Link to publication DOI Pre-print
16:50
10m
Day closing
Day 1 Closing Remarks
CHASE Full Papers

Mon 15 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Day 2 Opening Session with Awards / Keynote 2CHASE Full Papers at Fernando Pessoa
Chair(s): Klaas-Jan Stol Lero; University College Cork; SINTEF Digital
09:00
15m
Day opening
Day 2 Opening with Awards
CHASE Full Papers
P: Daniel Graziotin University of Hohenheim
09:15
60m
Keynote
The Surprising Implications of Realism for Human Factors Research
CHASE Full Papers
K: Paul Ralph Dalhousie University
11:00 - 12:30
Learning and Innovation in Software EngineeringCHASE Full Papers / CHASE Short Papers at Fernando Pessoa
Chair(s): Alexander Nolte Eindhoven University of Technology
11:00
45m
Panel
The future of CHASE in the age of AI
CHASE Full Papers
P: Nicole Novielli University of Bari, P: Paul Ralph Dalhousie University, P: Rashina Hoda Monash University, P: Daniel Russo Department of Computer Science, Aalborg University
11:45
10m
Short-paper
Learning From Lessons Learned: Preliminary Findings From a Study of Learning From FailureShort Paper
CHASE Short Papers
Jonathan Sillito Brigham Young University, Matt Pope Brigham Young University
11:55
10m
Short-paper
Can participation in a hackathon impact the motivation of software engineering students? A preliminary case study analysisShort Paper
CHASE Short Papers
Allysson Allex Araújo Federal University of Cariri, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Maria Teresa Baldassarre Department of Computer Science, University of Bari
DOI Pre-print
12:05
20m
Full-paper
An Exploratory Study of Programmers' Analogical Reasoning and Software History Usage During Code Re-PurposingFull Paper
CHASE Full Papers
John Allen Washington University in St. Louis, Caitlin Kelleher Washington University in St. Louis
14:00 - 15:30
Emerging technologies and their impact on Software EngineeringCHASE Full Papers at Fernando Pessoa
Chair(s): Adriana Meza Soria MIT-IBM Watson AI Lab
14:00
20m
Full-paper
Exploring potential implications of intelligent tools for human aspects of software engineeringFull Paper
CHASE Full Papers
Jorge Melegati Free University of Bozen-Bolzano, Nicolas Nascimento , Rafael Chanin PUCRS, Afonso Sales PUCRS, Igor Wiese Federal University of Technology
DOI Pre-print
14:20
20m
Full-paper
Charting a Path to Efficient Onboarding: The Role of Software VisualizationFull Paper
CHASE Full Papers
Fernando Padoan CESAR School, Ronnie de Souza Santos University of Calgary, Rodrigo Medeiros
Pre-print
14:40
20m
Full-paper
“You’re on a bicycle with a little motor”: Benefits and Challenges of Using AI Code AssistantsFull Paper
CHASE Full Papers
Wendy Mendes , Samara Souza , Cleidson de Souza Federal University of Pará Belém
15:00
20m
Full-paper
Understanding the building blocks of accountability in software engineeringFull Paper
CHASE Full Papers
Adam Alami Aalborg University, Neil Ernst University of Victoria
Link to publication DOI Pre-print
16:00 - 17:30
Career development and role models in Software Engineering / Conference ClosingCHASE Short Papers / CHASE Full Papers at Fernando Pessoa
Chair(s): Birgit Penzenstadler Chalmers
16:00
10m
Short-paper
Characterizing Role Models in Software Practitioners' Career: An Interview StudyShort Paper
CHASE Short Papers
Mary Sánchez-Gordón Østfold University College, Ricardo Colomo-Palacios Universidad Politécnica de Madrid, Alex Sánchez
DOI Pre-print
16:10
20m
Full-paper
Understanding the Career Mobility of Blind and Low Vision Software ProfessionalsFull Paper
CHASE Full Papers
Yoonha Cha University of California, Irvine, Victoria Jackson University of California, Irvine, Isabela Figueira , Stacy Branham University of California, Irvine, Andre van der Hoek University of California, Irvine
16:30
20m
Full-paper
What's Personality Got to Do with It? A Case Study on the Impact of Personality on Requirements Engineering-related ActivitiesFull Paper
CHASE Full Papers
Dulaji Hidellaarachchi Monash University, John Grundy Monash University, Rashina Hoda Monash University, ingo Mueller Monash University
Pre-print
16:50
10m
Day opening
Conference Closing
CHASE Full Papers
S: Maria Teresa Baldassarre Department of Computer Science, University of Bari

Tue 16 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Welcome, Introductions, KeynoteICSE Doctoral Symposium at Fernando Pessoa
Chair(s): Jürgen Cito TU Wien, Julia Rubin University of British Columbia
09:00
30m
Day opening
Welcome to the Doctoral Symposium
ICSE Doctoral Symposium
Julia Rubin University of British Columbia, Jürgen Cito TU Wien
09:30
60m
Keynote
Post-Ph.D. Career Advice: Risk, Communication, and You
ICSE Doctoral Symposium
Westley Weimer University of Michigan
14:00 - 15:30
Focus Group: Software SecurityICSE Doctoral Symposium at Fernando Pessoa
Chair(s): Laurie Williams North Carolina State University
14:00
90m
Poster
Sustainable Adaptive Security
ICSE Doctoral Symposium
Kushal Ramkumar Lero@University College Dublin
File Attached
14:00
90m
Poster
A software security evaluation framework
ICSE Doctoral Symposium
Arina Kudriavtseva Leiden University
14:00
90m
Poster
Increasing trust in the open source supply chain with reproducible builds and functional package management
ICSE Doctoral Symposium
Julien Malka LTCI, Télécom Paris, Institut Polytechnique de Paris, France
Pre-print
14:00
90m
Poster
Studying and Improving Software License Compliance in Practice
ICSE Doctoral Symposium
Nathan Wintersgill William & Mary
14:00 - 15:30
Focus Group: Microservices, Cloud, and Monitoring ICSE Doctoral Symposium at Fernando Pessoa
Chair(s): Philipp Leitner Chalmers | University of Gothenburg
14:00
90m
Poster
Towards combining STPA and safety-critical runtime monitoring
ICSE Doctoral Symposium
Eva Zimmermann Institute of Software Engineering, University of Stuttgart
DOI File Attached
14:00
90m
Poster
Smart Quality Monitoring for Evolving Complex Systems
ICSE Doctoral Symposium
Noura El Moussa USI Lugano; Schaffhausen Institute of Technology
14:00
90m
Poster
Managing API Evolution in Microservice Architecture
ICSE Doctoral Symposium
Alexander Lercher University of Klagenfurt
File Attached
14:00
90m
Poster
Architecture-Based Cross-Component Issue Management and Propagation Analysis
ICSE Doctoral Symposium
Sandro Speth Institute of Software Engineering, University of Stuttgart
DOI File Attached
14:00 - 15:30
Focus Group: AI/ML for SEICSE Doctoral Symposium at Fernando Pessoa
Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign
14:00
90m
Poster
Beyond Accuracy: Evaluating Source Code Capabilities in Large Language Models for Software Engineering
ICSE Doctoral Symposium
Alejandro Velasco William & Mary
14:00
90m
Poster
Towards Interpreting the Behavior of Large Language Models on Software Engineering Tasks
ICSE Doctoral Symposium
Atish Kumar Dipongkor University of Central Florida
14:00
90m
Poster
Programming Language Models in Multilingual Settings
ICSE Doctoral Symposium
Jonathan Katzy Delft University of Technology
14:00
90m
Poster
Beyond Accuracy and Robustness Metrics for Large Language Models for Code
ICSE Doctoral Symposium
14:00
90m
Poster
Towards Safe, Secure, and Usable LLMs4Code
ICSE Doctoral Symposium
Ali Al-Kaswan Delft University of Technology, Netherlands
14:00 - 15:30
Focus Group: Software Models and SimulationsICSE Doctoral Symposium at Fernando Pessoa
Chair(s): Matthew B Dwyer University of Virginia
14:00
90m
Poster
Automated Model Quality Estimation and Change Impact Analysis on Model Histories
ICSE Doctoral Symposium
14:00
90m
Poster
Sustainable Software Engineering: Visions and Perspectives beyond Energy Efficiency
ICSE Doctoral Symposium
Christoph König Karlsruhe Institute of Technology
14:00
90m
Poster
Learning Models of Cyber-Physical Systems with Discrete and Continuous Behaviour for Digital Twin Synthesis
ICSE Doctoral Symposium
Felix Wallner Graz University of Technology, Institute of Software Technology
File Attached
14:00
90m
Poster
Resolving Goal-Conflicts and Scaling Synthesis through Mode-Based Decomposition
ICSE Doctoral Symposium
Matías Brizzio IMDEA Software Institute
Link to publication DOI
14:00
90m
Poster
Simulation-based Testing of Automated Driving Systems
ICSE Doctoral Symposium
Fauzia Khan University of Tartu, Estonia
14:00 - 15:30
Focus Group: Human Aspects, Requirements, and EducationICSE Doctoral Symposium at Fernando Pessoa
Chair(s): Silvia Abrahão Universitat Politècnica de València
14:00
90m
Poster
Investigating Cultural Dispersion: on the Role of Cultural Differences in Software Development Teams
ICSE Doctoral Symposium
Stefano Lambiase University of Salerno
Pre-print
14:00
90m
Poster
Generating User Experience Based on Personas with AI Assistants
ICSE Doctoral Symposium
Yutan Huang Monash University
14:00
90m
Poster
Building a Framework to Improve the User Experience of Static Analysis Tools
ICSE Doctoral Symposium
Michael Schlichtig Heinz Nixdorf Institute, Paderborn University
File Attached
14:00
90m
Poster
MEITREX - Gamified and Adaptive Intelligent Tutoring in Software Engineering Education
ICSE Doctoral Symposium
Niklas Meissner University of Stuttgart
DOI File Attached
14:00
90m
Poster
Exploring Strategies for Continuous User Requirement Discovery in ML-Based Software
ICSE Doctoral Symposium
File Attached
14:00 - 15:30
Focus Group: Software TestingICSE Doctoral Symposium at Fernando Pessoa
Chair(s): Andreas Zeller CISPA Helmholtz Center for Information Security
14:00
90m
Poster
Ensuring Critical Properties of Test Oracles for Effective Bug Detection
ICSE Doctoral Symposium
Soneya Binta Hossain University of Virginia
Pre-print
14:00
90m
Poster
On Improving Management of Duplicate Video-Based Bug Reports
ICSE Doctoral Symposium
Yanfu Yan William & Mary
14:00
90m
Poster
Autonomic Testing: Testing with Scenarios from Production
ICSE Doctoral Symposium
Ketai Qiu USI Università della Svizzera Italiana
DOI
14:00
90m
Poster
Selecting and Constraining Metamorphic Relations
ICSE Doctoral Symposium
Alejandra Duque-Torres University of Tartu
16:00 - 17:30
Paper Presentations IIICSE Doctoral Symposium at Fernando Pessoa
Chair(s): Marsha Chechik University of Toronto, Sonia Haiduc Florida State University
16:00
25m
Talk
Towards AI-centric Requirements Engineering for Industrial Systems
ICSE Doctoral Symposium
Sarmad Bashir RISE Research Institutes of Sweden
Pre-print
16:25
25m
Talk
Understandable Test Generation Through Capture/Replay and LLMs
ICSE Doctoral Symposium
Amirhossein Deljouyi Delft University of Technology
16:50
25m
Talk
Towards Automatic Inference of Behavioral Component Models for ROS-Based Robotics Systems
ICSE Doctoral Symposium
Tobias Dürschmid Carnegie Mellon University, USA
17:15
15m
Day closing
Reflections and Closing
ICSE Doctoral Symposium

Wed 17 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
11:00
15m
Talk
Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems
ICSE Research Track
Kadiray Karakaya Heinz Nixdorf Institut, Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
11:15
15m
Talk
A Framework For Inferring Properties of User-Defined Functions
ICSE Research Track
Xinyu Liu Georgia Institute of Technology, Joy Arulraj Georgia Institute of Technology, Alessandro Orso Georgia Institute of Technology
11:30
15m
Talk
Building Collaborative Learning: Exploring Social Annotation in Introductory Programming
ICSE Software Engineering Education and Training
Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg, Felix Dobslaw Mid Sweden University
11:45
15m
Talk
Teaching Software Development for Real-World Problems using a Microservice-Based Collaborative Problem-Solving Approach
ICSE Software Engineering Education and Training
Yi Meng LAU Singapore Management University, Christian Michael KOH Singapore Management University, Lingxiao Jiang Singapore Management University
12:00
7m
Talk
Detecting Outdated Code Element References in Software Repository Documentation
ICSE Journal-first Papers
Wen Siang Tan The University of Adelaide, Markus Wagner Monash University, Australia, Christoph Treude Singapore Management University
12:07
7m
Talk
Augmenting Diffs With Runtime Information
ICSE Journal-first Papers
Khashayar Etemadi KTH Royal Institute of Technology, Aman Sharma KTH Royal Institute of Technology, Fernanda Madeiral Vrije Universiteit Amsterdam, Martin Monperrus KTH Royal Institute of Technology
Link to publication Pre-print
12:14
7m
Talk
TPV: A Tool for Validating Temporal Properties in UML Class Diagrams
ICSE Demonstrations
Mustafa Al Lail Texas A&M International University, Antonio Rosales Viesca Texas A&M International University, Hector Cardenas Texas A&M International University, Mohammad Zarour Hashemite University, Alfredo Perez University of Nebraska at Omaha
14:00 - 15:30
Analysis and Debugging 1ICSE Research Track / ICSE Journal-first Papers at Fernando Pessoa
Chair(s): Kihong Heo KAIST
14:00
15m
Talk
CrashTranslator: Automatically Reproducing Mobile Application Crashes Directly from Stack Trace
ICSE Research Track
Yuchao Huang , Junjie Wang Institute of Software, Chinese Academy of Sciences, Zhe Liu Institute of Software, Chinese Academy of Sciences, Yawen Wang Institute of Software, Chinese Academy of Sciences, Song Wang York University, Chunyang Chen Technical University of Munich (TUM), Yuanzhe Hu Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software, Chinese Academy of Sciences
14:15
15m
Talk
Reorder Pointer Flow in Sound Concurrency Bug Prediction
ICSE Research Track
Yuqi Guo Institute of Software, Chinese Academy of Sciences, Beijing, China, Shihao Zhu State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,China, Yan Cai Institute of Software at Chinese Academy of Sciences, Liang He TCA, Institute of Software, Chinese Academy of Sciences, China, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
14:30
15m
Talk
Object Graph Programming
ICSE Research Track
Aditya Thimmaiah The University of Texas at Austin, Leonidas Lampropoulos University of Maryland, College Park, Chris Rossbach University of Texas at Austin; Katana Graph, Milos Gligoric The University of Texas at Austin
14:45
15m
Paper
Semantic Analysis of Macro Usage for Portability
ICSE Research Track
Brent Pappas University of Central Florida, Paul Gazzillo University of Central Florida
Link to publication DOI Pre-print Media Attached File Attached
15:00
7m
Talk
PREVENT: An Unsupervised Approach to Predict Software Failures in Production
ICSE Journal-first Papers
Giovanni Denaro University of Milano - Bicocca, Rahim Heydarov USI Università della Svizzera Italiana, Ali Mohebbi USI Lugano, Mauro Pezze USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology
15:07
7m
Talk
On the Effectiveness of Log Representation for Log-based Anomaly Detection
ICSE Journal-first Papers
Xingfang Wu Polytechnique Montréal, Heng Li Polytechnique Montréal, Foutse Khomh École Polytechnique de Montréal
15:14
7m
Talk
On the Caching Schemes to Speed Up Program Reduction
ICSE Journal-first Papers
Yongqiang Tian The Hong Kong University of Science and Technology; University of Waterloo, Xueyan Zhang University of Waterloo;, Yiwen Dong University of Waterloo, Zhenyang Xu University of Waterloo, Mengxiao Zhang , Yu Jiang Tsinghua University, Shing-Chi Cheung Hong Kong University of Science and Technology, Chengnian Sun University of Waterloo
Link to publication DOI
15:21
7m
Talk
DeLag: Using Multi-Objective Optimization to Enhance the Detection of Latency Degradation Patterns in Service-based Systems
ICSE Journal-first Papers
Luca Traini University of L'Aquila, Vittorio Cortellessa University of L'Aquila, Luca Traini University of L'Aquila
Link to publication DOI
16:00 - 17:30
16:00
15m
Talk
Co-Creation in Fully Remote Software Teams
ICSE Research Track
Victoria Jackson University of California, Irvine, Rafael Prikladnicki School of Technology at PUCRS University, Andre van der Hoek University of California, Irvine
16:15
15m
Talk
A Large-Scale Survey on the Usability of AI Programming Assistants: Successes and Challenges
ICSE Research Track
Jenny T. Liang Carnegie Mellon University, Chenyang Yang Carnegie Mellon University, Brad A. Myers Carnegie Mellon University
16:30
15m
Talk
How to Support ML End-User Programmers through a Conversational Agent
ICSE Research Track
Emily Judith Arteaga Garcia Oregon State University, João Felipe Pimentel Northern Arizona University, Zixuan Feng Oregon State University, Marco Gerosa Northern Arizona University, Igor Steinmacher Northern Arizona University, Anita Sarma Oregon State University
DOI Authorizer link
16:45
15m
Talk
Unveiling the Life Cycle of User Feedback: Best Practices from Software Practitioners
ICSE Research Track
Ze Shi Li University of Victoria, Nowshin Nawar Arony University of Victoria, Kezia Devathasan University of Victoria, Manish Sihag University of Victoria, Neil Ernst University of Victoria, Daniela Damian University of Victoria
17:00
15m
Talk
Challenges, Strengths, and Strategies of Software Engineers with ADHD: A Case Study
ICSE Software Engineering in Society
Grischa Liebel Reykjavik University, Noah Langlois ISAE-ENSMA, Kiev Gama Federal University of Pernambuco (UFPE)
Pre-print
17:15
7m
Talk
Safety of Perception Systems for Automated Driving: A Case Study on Apollo
ICSE Journal-first Papers
Sangeeth Kochanthara Eindhoven University of Technology (TU/e) , Tajinder Singh Siemens Digital Industries Software, Alexandru Forrai Siemens Digital Industries Software, Loek Cleophas Eindhoven University of Technology (TU/e) and Stellenbosch University (SU)
17:22
7m
Talk
Exposing Algorithmic Discrimination and Its Consequences in Modern Society: Insights from a Scoping Study
ICSE Software Engineering in Society
Ramandeep Singh Dehal Cape Breton University, Mehak Sharma Cape Breton University, Ronnie de Souza Santos University of Calgary
Pre-print

Thu 18 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
11:00
15m
Talk
Crossover in Parametric Fuzzing
ICSE Research Track
Katherine Hough Northeastern University, Jonathan Bell Northeastern University
Pre-print Media Attached
11:15
15m
Talk
SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions
ICSE Research Track
Luiz Carvalho University of Luxembourg, Renzo Degiovanni Luxembourg Institute of Science and Technology, Maxime Cordy University of Luxembourg, Luxembourg, Nazareno Aguirre University of Rio Cuarto and CONICET, Yves Le Traon University of Luxembourg, Luxembourg, Mike Papadakis University of Luxembourg
11:30
15m
Talk
EDEFuzz: A Web API Fuzzer for Excessive Data ExposuresACM SIGSOFT Distinguished Paper Award
ICSE Research Track
Lianglu Pan University of Melbourne, Shaanan Cohney University of Melbourne, Toby Murray University of Melbourne, Thuan Pham The University of Melbourne
11:45
15m
Talk
ECFuzz: Effective Configuration Fuzzing for Large-Scale Systems
ICSE Research Track
Junqiang Li University of Electronic Science and Technology of China, Senyi Li University of Electronic Science and Technology of China, Keyao Li University of Electronic Science and Technology of China, Falin Luo University of Electronic Science and Technology of China, Hongfang Yu University of Electronic Science and Technology of China, Shanshan Li National University of Defense Technology, Xiang Li Academy of Military Sciences
DOI Media Attached File Attached
12:00
15m
Talk
Mind the Gap: What Working With Developers on Fuzz Tests Taught Us About Coverage Gaps
ICSE Software Engineering in Practice
Carolin Brandt Delft University of Technology, Marco Castelluccio Mozilla, Christian Holler Mozilla Corporation, Jason Kratzer Mozilla Corporation, Andy Zaidman Delft University of Technology, Alberto Bacchelli University of Zurich
DOI Pre-print
12:15
7m
Talk
CLFuzz: Vulnerability Detection of Cryptographic Algorithm Implementation via Semantic-Aware Fuzzing
ICSE Journal-first Papers
Yuanhang Zhou Tsinghua University, Fuchen Ma Tsinghua University, Yuanliang Chen Tsinghua University, Meng Ren Tsinghua University, Yu Jiang Tsinghua University
12:22
7m
Talk
FormatFuzzer: Effective Fuzzing of Binary File Formats
ICSE Journal-first Papers
Rafael Dutra CISPA Helmholtz Center for Information Security, Rahul Gopinath University of Sydney, Andreas Zeller CISPA Helmholtz Center for Information Security
14:00 - 15:30
Fuzzing 2ICSE Software Engineering in Practice / ICSE Research Track at Fernando Pessoa
Chair(s): Thuan Pham The University of Melbourne
14:00
15m
Talk
Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers
ICSE Research Track
Shuohan Wu Hong Kong Polytechnic University, Zihao Li The Hong Kong Polytechnic Universituy, Luyi Yan Hong Kong Polytechnic University, Weimin Chen The Hong Kong Polytechnic University, Muhui Jiang The Hong Kong Polytechnic University, Chenxu Wang Xi'an Jiaotong University, Xiapu Luo The Hong Kong Polytechnic University, Hao Zhou Hong Kong Polytechnic University
14:15
15m
Talk
RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support
ICSE Research Track
Zhiwu Xu Shenzhen University, Bohao Wu CSSE, Shenzhen University, Cheng Wen Guangzhou Institute of Technology, Xidian University, Bin Zhang Shenzhen University, Shengchao Qin Fermat Labs, Huawei, Mengda He Fermat Labs, Huawei
DOI Pre-print
14:30
15m
Talk
Extrapolating Coverage Rate in Greybox Fuzzing
ICSE Research Track
Danushka Liyanage Monash University, Australia, Seongmin Lee Max Planck Institute for Security and Privacy (MPI-SP), Marcel Böhme MPI-SP, Bochum, Kla Tantithamthavorn Monash University
DOI Pre-print
14:45
15m
Talk
FuzzInMem: Fuzzing Programs via In-memory Structures
ICSE Research Track
Xuwei Liu Purdue University, USA, Wei You Renmin University of China, Yapeng Ye Purdue University, Zhuo Zhang Purdue University, Jianjun Huang Renmin University of China, Xiangyu Zhang Purdue University
15:00
15m
Talk
Fuzz4All: Universal Fuzzing with Large Language Models
ICSE Research Track
Chunqiu Steven Xia University of Illinois at Urbana-Champaign, Matteo Paltenghi University of Stuttgart, Jia Le Tian UIUC, Michael Pradel University of Stuttgart, Lingming Zhang University of Illinois at Urbana-Champaign
Pre-print
15:15
15m
Talk
MicroFuzz: An Efficient Fuzzing Framework for Microservices
ICSE Software Engineering in Practice
Peng Di Ant Group, Bingchang Liu Ant Group, Yiyi Gao Ant Group

Fri 19 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
Testing: various bug types 2ICSE Research Track / ICSE Software Engineering in Practice at Fernando Pessoa
Chair(s): João F. Ferreira INESC-ID and IST, University of Lisbon
11:00
15m
Talk
Towards Finding Accounting Errors in Smart ContractsACM SIGSOFT Distinguished Paper Award
ICSE Research Track
Brian Zhang Purdue University
11:15
15m
Talk
MultiTest: Physical-Aware Object Insertion for Testing Multi-sensor Fusion Perception Systems
ICSE Research Track
Xinyu Gao , Zhijie Wang University of Alberta, Yang Feng Nanjing University, Lei Ma The University of Tokyo & University of Alberta, Zhenyu Chen Nanjing University, Baowen Xu Nanjing University
Pre-print
11:30
15m
Talk
JLeaks: A Featured Resource Leak Repository Collected From Hundreds of Open-Source Java Projects
ICSE Research Track
Tianyang Liu Beijing Institute of Technology, Weixing Ji Beijing Institute of Technology, Xiaohui Dong Beijing Institute of Technology, Wuhuang Yao Beijing Institute of Technology, Yizhuo Wang Beijing Institute of Technology, Hui Liu Beijing Institute of Technology, Haiyang Peng Beijing Institute of Technology, Yuxuan Wang Beijing Institute of Technology
11:45
15m
Talk
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles
ICSE Research Track
Trey Woodlief University of Virginia, Felipe Toledo , Sebastian Elbaum University of Virginia, Matthew B Dwyer University of Virginia
Pre-print
12:00
15m
Talk
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
ICSE Research Track
Zhiyang Chen University of Toronto, Sidi Mohamed Beillahi University of Toronto, Fan Long University of Toronto
Pre-print
12:15
15m
Talk
Hawkeye: Change-targeted Testing for Android Apps based on Deep Reinforcement Learning
ICSE Software Engineering in Practice
Chao Peng ByteDance, China, Zhengwei Lv ByteDance, Jiarong Fu ByteDance, Jiayuan Liang ByteDance, Zhao Zhang Bytedance Network Technology, Ajitha Rajan University of Edinburgh, Ping Yang Bytedance Network Technology
14:00 - 15:30
14:00
15m
Talk
Testing Graph Database Systems via Equivalent Query Rewriting
ICSE Research Track
Qiuyang Mang The Chinese University of Hong Kong, Shenzhen, Aoyang Fang Chinese University of Hong Kong, Shenzhen, BoXi Yu The Chinese University of Hong Kong, Shenzhen, Hanfei Chen The Chinese University of Hong Kong, Shenzhen, Pinjia He Chinese University of Hong Kong, Shenzhen
14:15
15m
Talk
ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems
ICSE Research Track
Tobias Dürschmid Carnegie Mellon University, USA, Christopher Steven Timperley Carnegie Mellon University, David Garlan Carnegie Mellon University, Claire Le Goues Carnegie Mellon University
DOI
14:30
15m
Talk
Finding XPath Bugs in XML Document Processors via Differential Testing
ICSE Research Track
Shuxin Li Southern University of Science and Technology, Manuel Rigger National University of Singapore
14:45
15m
Talk
Sedar: Obtaining High-Quality Seeds for DBMS Fuzzing via Cross-DBMS SQL Transfer
ICSE Research Track
Jingzhou Fu School of Software, Tsinghua University, Jie Liang , Zhiyong Wu Tsinghua University, China, Yu Jiang Tsinghua University
15:00
15m
Talk
Automatically Detecting Reflow Accessibility Issues in Responsive Web Pages
ICSE Research Track
Paul T. Chiou University of Southern California, Robert Winn University of Southern California, Ali S. Alotaibi University of Southern California, William G.J. Halfond University of Southern California
Media Attached
15:15
7m
Talk
Simulation-based Testing of Unmanned Aerial Vehicles with Aerialist
ICSE Demonstrations
Sajad Khatiri USI-Lugnao & Zurich University of Applied Sciences, Sebastiano Panichella Zurich University of Applied Sciences, Paolo Tonella USI Lugano
DOI Pre-print
15:22
7m
Talk
eFish'nSea: Unity Game Set for Learning Software Performance Issues Root Causes and Resolutions
ICSE Software Engineering Education and Training
Andrew Quinlan Stevens Institute of Technology, Ryan Mercadante Stevens Institute of Technology, Vincent Tufo Stevens Institute of Technology, Jonathan Morrone Stevens Institute of Technology, Lu Xiao Stevens Institute of Technology
16:00 - 17:30
Program Repair 4ICSE Journal-first Papers / ICSE Research Track at Fernando Pessoa
Chair(s): João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC
16:00
15m
Talk
Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications
ICSE Research Track
Shaoheng Cao Nanjing University, Minxue Pan Nanjing University, Yu Pei The Hong Kong Polytechnic University, Wenhua Yang Nanjing University of Aeronautics and Astronautics, Tian Zhang Nanjing University, Linzhang Wang Nanjing University, Xuandong Li Nanjing University
16:15
15m
Talk
Exploring Experiences with Automated Program Repair in Practice
ICSE Research Track
Fairuz Nawer Meem George Mason University, Justin Smith Lafayette College, Brittany Johnson George Mason University
16:30
15m
Talk
PyTy: Repairing Static Type Errors in Python
ICSE Research Track
Yiu Wai Chow University of Stuttgart, Luca Di Grazia Università della Svizzera italiana (USI), Michael Pradel University of Stuttgart
Link to publication DOI Pre-print File Attached
16:45
15m
Talk
Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation
ICSE Research Track
Wenzhang Yang University of Science and Technology of China, Linhai Song Programme Committee, Yinxing Xue University of Science and Technology of China
17:00
7m
Talk
Improving Automated Program Repair with Domain Adaptation
ICSE Journal-first Papers
Armin Zirak University of Calgary, Hadi Hemmati York University
17:07
7m
Talk
Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning
ICSE Journal-first Papers
Le-Cong Thanh The University of Melbourne, Duc-Minh Luong Hanoi University of Science and Technology, Xuan-Bach D. Le University of Melbourne, David Lo Singapore Management University, Nhat-Hoa Tran Hanoi University of Science and Technology, Quang-Huy Bui Hanoi University of Science and Technology, Quyet Thang Huynh Hanoi University of Science and Technology
Media Attached

Sun 14 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Fernando Pessoa

Mon 15 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Fernando Pessoa

Tue 16 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Fernando Pessoa
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30
14:00 - 15:30

Wed 17 Apr

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Fernando Pessoa

Fri 19 Apr

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Fernando Pessoa