FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
VenueCentro Cultural de Belém
Room nameEugénio de Andrade
Capacity45
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
Opening and KeynoteFormaliSE 2024 at Eugénio de Andrade
Chair(s): Antónia Lopes University of Lisbon
09:00
10m
Day opening
Opening
FormaliSE 2024

09:10
80m
Keynote
FormalISE: Reflections on Formal and Informal Methods in Software Engineering
FormaliSE 2024
Cristian Cadar Imperial College London
11:00 - 12:30
Automata and applicationsFormaliSE 2024 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 2024
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 2024
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 2024
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 verificationFormaliSE 2024 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 2024
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 2024
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 2024
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 engineeringFormaliSE 2024 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 2024
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 2024
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 2024
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
KeynoteFormaliSE 2024 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 2024
Claire Dross AdaCore
11:00 - 12:30
Theorem proving and applicationsFormaliSE 2024 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 2024
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 2024
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 2024
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 methodsFormaliSE 2024 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 2024
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 2024
Á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 2024

Tue 16 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Session 1 - Keynote & MSR StudiesWSESE 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 StudiesWSESE 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 & ParticipantsWSESE 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 & ConclusionsWSESE 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 Lund 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
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 meetingICSE 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
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 1ICSE 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 4ICSE 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 LunchICSE 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 5ICSE 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 4ICSE 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 DetectionICSE 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 DeviationsACM SIGSOFT Distinguished Paper Award
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 TechniquesICSE 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 FirmwareACM SIGSOFT Distinguished Paper Award
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 + TutorialsDeepTest 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 TalksDeepTest 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 TalkDeepTest 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 + ClosingDeepTest 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

Sat 20 Apr

Displayed time zone: Lisbon change

Tue 16 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Eugénio de Andrade
WSESE
Welcome
09:00 - 09:15
WSESE
Conclusions
17:15 - 17:30

Wed 17 Apr

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Eugénio de Andrade

Fri 19 Apr

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Eugénio de Andrade