FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
VenueMelbourne Convention Exhibition Centre | MCEC
Room nameMeeting Room 102
Floor1
Room number102
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 May

Displayed time zone: Hobart change

09:00 - 10:30
Opening / KeynoteFormaliSE 2023 at Meeting Room 102
Chair(s): Toby Murray University of Melbourne
09:00
15m
Day opening
Opening
FormaliSE 2023

09:15
75m
Keynote
Leakage Logic for programs
FormaliSE 2023
Annabelle McIver Macquarie University
11:00 - 12:30
Synthesis and AIFormaliSE 2023 at Meeting Room 102
Chair(s): Mark Utting The University of Queensland
11:00
30m
Talk
Goal Controller Synthesis for Self-Adaptive Systems
FormaliSE 2023
Radu Calinescu University of York, UK, Genaína Nunes Rodrigues University of Brasília
11:30
30m
Paper
Verifying Binary Neural Networks on Continuous Input Space using Star Reachability
FormaliSE 2023
Mykhailo Ivashchenko University of Nebraska-Lincoln, Sung Woo Choi , Luan Nguyen University of Pennsylvania, Hoang-Dung Tran Vanderbilt University
12:00
30m
Paper
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning
FormaliSE 2023
Marcello Bersani Politecnico di Milano, Italy, Matteo Camilli Politecnico di Milano, Livia Lestingi DEIB, Politecnico di Milano, Raffaela Mirandola Politecnico di Milano, Matteo Rossi Politecnico di Milano
13:45 - 15:15
SpecificationFormaliSE 2023 at Meeting Room 102
Chair(s): Larissa A. Meinicke The University of Queensland
13:45
30m
Paper
Contract-Based Specification Refinement and Repair for Mission Planning
FormaliSE 2023
Piergiuseppe Mallozzi UC Berkeley, Inigo Incer University of California, Berkeley, Pierluigi Nuzzo University of Southern California, Alberto L. Sangiovanni-Vincentelli University of California at Berkeley, USA
14:15
30m
Paper
Patch Specifications via Product Programs
FormaliSE 2023
Cristian Cadar Imperial College London, UK, Daniel Schemmel Imperial College London, Arindam Sharma Imperial College London
14:45
30m
Paper
An Empirical Study Assessing Software Modeling in Alloy
FormaliSE 2023
Niloofar Mansoor University of Nebraska-Lincoln, Hamid Bagheri University of Nebraska-Lincoln, Eunsuk Kang Carnegie Mellon University, Bonita Sharif University of Nebraska-Lincoln, USA
15:45 - 17:15
TestingFormaliSE 2023 at Meeting Room 102
Chair(s): Cristian Cadar Imperial College London, UK
15:45
30m
Paper
Mutant Equivalence as Monotonicity in Parametric Timed Games
FormaliSE 2023
Davide Basile Formal Methods and Tools lab, ISTI-CNR, Pisa, Italy, Maurice ter Beek ISTI-CNR, Pisa, Italy, Hendrik Göttmann Technical University of Darmstadt, Malte Lochau University of Siegen
16:15
30m
Paper
Differential Testing of a Verification Framework for Compiler Optimizations (Case Study)
FormaliSE 2023
Mark Utting The University of Queensland, Brae J. Webb The University of Queensland, Ian J. Hayes The University of Queensland
16:45
30m
Paper
Formalizing Symbolic Execution Path Explosion for Recursive Functions via Asymptotic Path Complexity
FormaliSE 2023
Eli Pregerson Harvey Mudd College, Shaheen Cullen-Baratloo Harvey Mudd College, David Chen Harvey Mudd College, Duy Lam Harvey Mudd College, Max Szostak Harvey Mudd College, Lucas Bang Harvey Mudd College

Mon 15 May

Displayed time zone: Hobart change

09:00 - 10:30
KeynoteFormaliSE 2023 at Meeting Room 102
Chair(s): Stefania Gnesi Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
09:15
75m
Keynote
Exploiting incompleteness in software development
FormaliSE 2023
Paola Spoletini Kennesaw State University
11:00 - 12:30
ConcurrencyFormaliSE 2023 at Meeting Room 102
Chair(s): Domenico Bianculli University of Luxembourg
11:00
30m
Paper
A Dafny-based approach to thread-local information flow analysis
FormaliSE 2023
Graeme Smith The University of Queensland
11:30
30m
Paper
Transparent Actor Model
FormaliSE 2023
Fatemeh Ghassemi University of Tehran, Marjan Sirjani Malardalen University, Ehsan Khamespanah University of Tehran, Mahrokh Mirani Tehran Institute for Advanced Studies, Hossein Hojjat Tehran Institute for Advanced Studies
12:00
30m
Paper
Using cylindric algebra to support local variables in rely/guarantee concurrency
FormaliSE 2023
Larissa A. Meinicke The University of Queensland, Ian J. Hayes The University of Queensland
13:45 - 15:15
ApplicationFormaliSE 2023 at Meeting Room 102
Chair(s): Graeme Smith The University of Queensland
13:45
30m
Paper
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids
FormaliSE 2023
Ahmed Nagy Abdelkhalek Mansour Politecnico di Milano, Samuele Grillo Politecnico di Milano, Enrico Ragaini ABB italy, Matteo Rossi Politecnico di Milano
14:15
30m
Paper
A Verified UAV Flight Plan Generator
FormaliSE 2023
Baptiste Pollien ISAE-SUPAERO, Christophe Garion ISAE-SUPAERO, Gautier Hattenberger ENAC, Pierre Roux ONERA, ISAE, Xavier Thirioux ISAE-SUPAERO
15:45 - 17:15
14:45
30m
Day closing
Closing
FormaliSE 2023

Tue 16 May

Displayed time zone: Hobart change

09:00 - 10:30
09:00
30m
Talk
Schedule, set the scene + introductions
ICSE New Faculty Symposium

09:30
60m
Talk
Michele Lanza + Sarah Nadi
ICSE New Faculty Symposium

11:00 - 12:30
11:00
90m
Talk
Kevin Moran + Sonia Haiduc + Juergen Cito
ICSE New Faculty Symposium

13:45 - 15:15
13:45
90m
Talk
Gail Murphy + David Rosenblum + Xin Peng
ICSE New Faculty Symposium

15:45 - 17:15
15:45
70m
Talk
"Turn the tables" session
ICSE New Faculty Symposium

16:55
5m
Talk
Closing
ICSE New Faculty Symposium

Wed 17 May

Displayed time zone: Hobart change

11:00 - 12:30
Mining software repositoriesICSE Technical Track / ICSE Journal-First Papers / ICSE DEMO - Demonstrations at Meeting Room 102
Chair(s): Brittany Johnson George Mason University
11:00
15m
Talk
The untold story of code refactoring customizations in practice
ICSE Technical Track
Daniel Oliveira PUC-Rio, Wesley Assunção Johannes Kepler University Linz, Austria & Pontifical Catholic University of Rio de Janeiro, Brazil, Alessandro Garcia PUC-Rio, Ana Carla Bibiano PUC-Rio, Márcio Ribeiro Federal University of Alagoas, Brazil, Rohit Gheyi Federal University of Campina Grande, Baldoino Fonseca Federal University of Alagoas (UFAL)
Pre-print
11:15
15m
Talk
Data Quality for Software Vulnerability Datasets
ICSE Technical Track
Roland Croft The University of Adelaide, Muhammad Ali Babar University of Adelaide, M. Mehdi Kholoosi University of Adelaide
Pre-print
11:30
15m
Talk
Do code refactorings influence the merge effort?
ICSE Technical Track
André Oliveira Federal Fluminense University, Vania Neves Universidade Federal Fluminense (UFF), Alexandre Plastino Federal Fluminense University, Ana Carla Bibiano PUC-Rio, Alessandro Garcia PUC-Rio, Leonardo Murta Universidade Federal Fluminense (UFF)
11:45
7m
Talk
ActionsRemaker: Reproducing GitHub Actions
ICSE DEMO - Demonstrations
Hao-Nan Zhu University of California, Davis, Kevin Z. Guan University of California, Davis, Robert M. Furth University of California, Davis, Cindy Rubio-González University of California at Davis
11:52
7m
Talk
Problems with with SZZ and Features: An empirical assessment of the state of practice of defect prediction data collection
ICSE Journal-First Papers
Steffen Herbold University of Passau, Alexander Trautsch University of Passau, Alexander Trautsch Germany, Benjamin Ledel None
12:00
7m
Talk
An empirical study of issue-link algorithms: which issue-link algorithms should we use?
ICSE Journal-First Papers
Masanari Kondo Kyushu University, Yutaro Kashiwa Nara Institute of Science and Technology, Yasutaka Kamei Kyushu University, Osamu Mizuno Kyoto Institute of Technology
12:07
7m
Talk
SCS-Gan: Learning Functionality-Agnostic Stylometric Representations for Source Code Authorship Verification
ICSE Journal-First Papers
Weihan Ou Queen's University at Kingston, Ding Steven, H., H. Queen’s University at Kingston, Yuan Tian Queens University, Kingston, Canada, Leo Song Queen’s University at Kingston
12:15
15m
Talk
A Comprehensive Study of Real-World Bugs in Machine Learning Model Optimization
ICSE Technical Track
Hao Guan The University of Queensland, Ying Xiao Southern University of Science and Technology, Jiaying LI Microsoft, Yepang Liu Southern University of Science and Technology, Guangdong Bai University of Queensland
13:45 - 15:15
13:45
15m
Talk
Robustification of Behavioral Designs against Environmental Deviations
ICSE Technical Track
Changjian Zhang Carnegie Mellon University, Tarang Saluja Swarthmore College, Rômulo Meira-Góes Carnegie Mellon University, Matthew Bolton University of Virginia, David Garlan Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University
Pre-print
14:00
15m
Talk
A Qualitative Study on the Implementation Design Decisions of DevelopersDistinguished Paper Award
ICSE Technical Track
Jenny T. Liang Carnegie Mellon University, Maryam Arab George Mason University, Minhyuk Ko Virginia Tech, Amy Ko University of Washington, Thomas LaToza George Mason University
Pre-print
14:15
15m
Talk
Designing for Real People: Teaching Agility through User-Centric Service Design
ICSE SEET - Software Engineering Education and Training
Robert Chatley Imperial College London, Tony Field Imperial College London, Mark Wheelhouse Imperial College London, Carolyn Runcie Royal College of Art, Nick de Leon Royal College of Art, Clive Grinyer Royal College of Art
Pre-print
14:30
15m
Talk
A Decision Model for Choosing Patterns in Blockchain-Based Applications
ICSE Showcase
Xiwei (Sherry) Xu CSIRO’s Data61, ‪H M N Dilum Bandara Data61, CSIRO, Qinghua Lu CSIRO’s Data61, Ingo Weber TU Munich & Fraunhofer, Munich, Len Bass Carnegie Mellon University, Liming Zhu CSIRO’s Data61
14:45
15m
Talk
Architectural Design Decisions for Machine Learning Deployment
ICSE Showcase
Stephen John Warnett University of Vienna, Uwe Zdun University of Vienna
15:00
7m
Talk
Handling Communication via APIs for Microservices
ICSE NIER - New Ideas and Emerging Results
Vini Kanvar IBM Research, Ridhi Jain IIIT-Delhi, Srikanth Tamilselvam IBM Research
15:07
7m
Talk
Open Design Case Study - A Crowdsourcing Effort to Curate Software Design Case Studies
ICSE SEET - Software Engineering Education and Training
Chun Yong Chong Monash University Malaysia, Eunsuk Kang Carnegie Mellon University, Mary Shaw Carnegie Mellon University
Pre-print
15:45 - 17:15
15:45
7m
Talk
SoapOperaTG: A Tool for System Knowledge Graph Based Soap Opera Test Generation
ICSE DEMO - Demonstrations
Yanqi Su Australian National University, Zheming Han , Zhenchang Xing CSIRO’s Data61; Australian National University, Xiwei (Sherry) Xu CSIRO’s Data61, Liming Zhu CSIRO’s Data61, Qinghua Lu CSIRO’s Data61
15:52
7m
Talk
GUI Testing to the Power of Parallel Q-Learning
ICSE DEMO - Demonstrations
Marco Mobilio University of Milano Bicocca, Diego Clerissi University of Milano-Bicocca, Giovanni Denaro University of Milano-Bicocca, Italy, Leonardo Mariani University of Milano-Bicocca
16:00
15m
Talk
BADGE: Prioritizing UI Events with Hierarchical Multi-Armed Bandits for Automated UI Testing
ICSE Technical Track
Dezhi Ran Peking University, Hao Wang Peking University, China, Wenyu Wang University of Illinois Urbana-Champaign, Tao Xie Peking University
16:15
15m
Talk
Efficiency Matters: Speeding Up Automated Testing with GUI Rendering InferenceDistinguished Paper Award
ICSE Technical Track
Sidong Feng Monash University, Mulong Xie Australian National University, Chunyang Chen Monash University
Pre-print
16:30
15m
Talk
CodaMOSA: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models
ICSE Technical Track
Caroline Lemieux University of British Columbia, Jeevana Priya Inala Microsoft Research, Shuvendu K. Lahiri Microsoft Research, Siddhartha Sen Microsoft Research
16:45
15m
Talk
Simulation-Driven Automated End-to-End Test and Oracle Inference
ICSE SEIP - Software Engineering in Practice
Shreshth Tuli Meta Platforms Inc. and Imperial College, Kinga Bojarczuk Facebook, Natalija Gucevska Facebook, Mark Harman University College London, Xiaoyu Wang Meta Platforms Inc., Graham Wright Meta Platforms Inc.
17:00
7m
Talk
Reasoning-Based Software Testing
ICSE NIER - New Ideas and Emerging Results
Luca Giamattei Università di Napoli Federico II, Roberto Pietrantuono Università di Napoli Federico II, Stefano Russo Università di Napoli Federico II
Pre-print
17:07
7m
Talk
Automated Generation and Evaluation of JMH Microbenchmark Suites From Unit Tests
ICSE Journal-First Papers
Mostafa Jangali Concordia University, Yiming Tang Concordia University, Niclas Alexandersson Chalmers University of Technology, Philipp Leitner Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Jinqiu Yang Concordia University, Weiyi Shang University of Waterloo

Thu 18 May

Displayed time zone: Hobart change

11:00 - 12:30
11:00
15m
Talk
When and Why Test Generators for Deep Learning Produce Invalid Inputs: an Empirical Study
ICSE Technical Track
Vincenzo Riccio University of Udine, Paolo Tonella USI Lugano
Pre-print
11:15
15m
Talk
Fuzzing Automatic Differentiation in Deep-Learning Libraries
ICSE Technical Track
Chenyuan Yang University of Illinois at Urbana-Champaign, Yinlin Deng University of Illinois at Urbana-Champaign, Jiayi Yao The Chinese University of Hong Kong, Shenzhen, Yuxing Tu Huazhong University of Science and Technology, Hanchi Li University of Science and Technology of China, Lingming Zhang University of Illinois at Urbana-Champaign
11:30
15m
Talk
Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective
ICSE Technical Track
Zenan Li Nanjing University, China, Maorun Zhang Nanjing University, China, Jingwei Xu , Yuan Yao Nanjing University, Chun Cao Nanjing University, Taolue Chen Birkbeck University of London, Xiaoxing Ma Nanjing University, Jian Lu Nanjing University
Pre-print
11:45
7m
Talk
DeepJudge: A Testing Framework for Copyright Protection of Deep Learning Models
ICSE DEMO - Demonstrations
Jialuo Chen Zhejiang University, Youcheng Sun The University of Manchester, Jingyi Wang Zhejiang University, Peng Cheng Zhejiang University, Xingjun Ma Deakin University
11:52
7m
Talk
DeepCrime: from Real Faults to Mutation Testing Tool for Deep Learning
ICSE DEMO - Demonstrations
Nargiz Humbatova USI Lugano, Gunel Jahangirova King's College London, Paolo Tonella USI Lugano
12:00
7m
Talk
DiverGet: a Search-Based Software Testing approach for Deep Neural Network Quantization assessment
ICSE Journal-First Papers
Ahmed Haj Yahmed École Polytechnique de Montréal, Houssem Ben Braiek École Polytechnique de Montréal, Foutse Khomh Polytechnique Montréal, Sonia Bouzidi National Institute of Applied Science and Technology, Rania Zaatour Potsdam Institute for Climate Impact Research
12:07
15m
Talk
Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion
ICSE Technical Track
Yuanyuan Yuan The Hong Kong University of Science and Technology, Qi Pang HKUST, Shuai Wang Hong Kong University of Science and Technology
13:45 - 15:15
Program repair with and for AIICSE Technical Track / ICSE Journal-First Papers / ICSE DEMO - Demonstrations at Meeting Room 102
Chair(s): Julia Rubin University of British Columbia, Canada
13:45
15m
Talk
Impact of Code Language Models on Automated Program Repair
ICSE Technical Track
Nan Jiang Purdue University, Kevin Liu Lynbrook High School, Thibaud Lutellier University of Alberta, Lin Tan Purdue University
Pre-print
14:00
15m
Talk
Tare: Type-Aware Neural Program Repair
ICSE Technical Track
Qihao Zhu Peking University, Zeyu Sun Zhongguancun Laboratory, Wenjie Zhang Peking University, Yingfei Xiong Peking University, Lu Zhang Peking University
14:15
15m
Talk
Template-based Neural Program Repair
ICSE Technical Track
Xiangxin Meng Beihang University, Beijing, China, Xu Wang Beihang University, Hongyu Zhang The University of Newcastle, Hailong Sun School of Computer Science and Engineering, Beihang University, Beijing,China, Xudong Liu Beihang University, Chunming Hu Beihang University
Pre-print
14:30
15m
Talk
Automated Repair of Programs from Large Language Models
ICSE Technical Track
Zhiyu Fan National University of Singapore, Singapore, Xiang Gao Beihang University, China, Martin Mirchev National University of Singapore, Abhik Roychoudhury National University of Singapore, Shin Hwei Tan Southern University of Science and Technology
14:45
15m
Talk
Automated Program Repair in the Era of Large Pre-trained Language Models
ICSE Technical Track
Chunqiu Steven Xia University of Illinois at Urbana-Champaign, Yuxiang Wei University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign
15:00
7m
Talk
AIREPAIR: A Repair Platform for Neural Networks
ICSE DEMO - Demonstrations
Xidan Song Department of Computer Science, University of Manchester, UK, Youcheng Sun The University of Manchester, Mustafa A. Mustafa Department of Computer Science, University of Manchester, UK, imec-COSIC, KU Leuven, Belgium, Lucas C. Cordeiro University of Manchester
15:07
7m
Talk
Arachne: Search Based Repair of Deep Neural Networks
ICSE Journal-First Papers
Jeongju Sohn University of Luxembourg, Sungmin Kang KAIST, Shin Yoo KAIST
Link to publication DOI Pre-print

Fri 19 May

Displayed time zone: Hobart change

11:00 - 12:30
11:00
15m
Talk
Automatic prediction of rejected edits in Stack Overflow
ICSE Journal-First Papers
Saikat Mondal University of Saskatchewan, Gias Uddin University of Calgary, Canada, Chanchal K. Roy University of Saskatchewan
Link to publication DOI Pre-print
11:15
15m
Talk
Automated Summarization of Stack Overflow Posts
ICSE Technical Track
Bonan Kou Purdue University, Muhao Chen University of Southern California, Tianyi Zhang Purdue University
11:30
15m
Talk
Semi-Automatic, Inline and Collaborative Web Page Code Curations
ICSE Technical Track
Roy Rutishauser University of Zurich, André N. Meyer University of Zurich, Reid Holmes University of British Columbia, Thomas Fritz University of Zurich
11:45
15m
Talk
You Don’t Know Search: Helping Users Find Code by Automatically Evaluating Alternative Queries
ICSE SEIP - Software Engineering in Practice
Rijnard van Tonder Sourcegraph
12:00
7m
Talk
TECHSUMBOT: A Stack Overflow Answer Summarization Tool for Technical Query
ICSE DEMO - Demonstrations
Chengran Yang Singapore Management University, Bowen Xu Singapore Management University, Jiakun Liu Singapore Management University, David Lo Singapore Management University
12:07
8m
Talk
An empirical study of question discussions on Stack Overflow
ICSE Journal-First Papers
Wenhan Zhu University of Waterloo, Haoxiang Zhang Centre for Software Excellence at Huawei Canada, Ahmed E. Hassan Queen’s University, Michael W. Godfrey University of Waterloo, Canada
12:15
15m
Talk
Faster or Slower? Performance Mystery of Python Idioms Unveiled with Empirical Evidence
ICSE Technical Track
zejun zhang Australian National University, Zhenchang Xing , Xin Xia Huawei, Xiwei (Sherry) Xu CSIRO’s Data61, Liming Zhu CSIRO’s Data61, Qinghua Lu CSIRO’s Data61
13:45 - 15:15
Cyber-physical systems developmentICSE SEIP - Software Engineering in Practice / ICSE Journal-First Papers / ICSE DEMO - Demonstrations at Meeting Room 102
Chair(s): Andrzej Wąsowski IT University of Copenhagen, Denmark
13:45
15m
Talk
Hybrid Cloudification of Legacy Software for Efficient Simulation of Gas Turbine Designs
ICSE SEIP - Software Engineering in Practice
Fozail Ahmad McGill University, Maruthi Rangappa , Neeraj Katiyar McGill University, Canada, Martin Staniszewski Siemens Energy, Daniel Varro Linköping University / McGill University
14:00
15m
Talk
Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms
ICSE SEIP - Software Engineering in Practice
Pablo Valle University of Mondragon, Aitor Arrieta Mondragon University, Maite Arratibel Orona
Pre-print
14:15
7m
Talk
WirelessDT: A Digital Twin Platform for Real-Time Evaluation of Wireless Software Applications
ICSE DEMO - Demonstrations
Zhongzheng Lai The University of Sydney, Dong Yuan The University of Sydney, Huaming Chen The University of Sydney, Yu Zhang The University of Sydney, Wei Bao The University of Sydney
Media Attached
14:22
7m
Talk
MROS: A framework for robot self-adaptation
ICSE DEMO - Demonstrations
Gustavo Rezende Silva Cognitive Robotics, Delft University of Technology, Darko Bozhinoski Université Libre de Bruxelles, Mario Garzon Oviedo Department of Cognitive Robotics, Delft University of Technology, Mariano Ramírez Montero Cognitive Robotics, Delft University of Technology, Nadia Hammoudeh Garcia Fraunhofer IPA, Harshavardhan Deshpande Fraunhofer IPA, Andrzej Wąsowski IT University of Copenhagen, Denmark, Carlos Hernández Corbato Delft University of Technology
14:30
7m
Talk
Mind the Gap! A Study on the Transferability of Virtual vs Physical-world Testing of Autonomous Driving Systems
ICSE Journal-First Papers
Andrea Stocco Technical University of Munich & fortiss, Brian Pulfer University of Geneva, Paolo Tonella USI Lugano
14:37
7m
Talk
Uncertainty-aware Prediction Validator in Deep Learning Models for Cyber-physical System Data (Journal First Presentation)
ICSE Journal-First Papers
Ferhat Ozgur Catak University of Stavanger, Norway, Tao Yue Simula Research Laboratory, Shaukat Ali Simula Research Laboratory
14:45
7m
Talk
Uncertainty-aware Robustness Assessment of Industrial Elevator Systems
ICSE Journal-First Papers
Liping Han Nanjing University of Aeronautics and Astronautics & Simula Research Laboratory, Shaukat Ali Simula Research Laboratory, Tao Yue Simula Research Laboratory, Aitor Arrieta Mondragon University, Maite Arratibel Orona
14:52
7m
Talk
Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions
ICSE Journal-First Papers
Chengjie Lu Simula Research Laboratory and University of Oslo, Shi Yize Nanjing University of Aeronautics and Astronautics, Huihui Zhang Weifang University, Man Zhang Kristiania University, Tiexin Wang Nanjing University of Aeronautics and Astronautics, Tao Yue Simula Research Laboratory, Shaukat Ali Simula Research Laboratory
Link to publication DOI Pre-print
15:00
7m
Talk
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria
ICSE Journal-First Papers
Zhenya Zhang Kyushu University, Deyun Lyu Kyushu university, Paolo Arcaini National Institute of Informatics , Lei Ma University of Alberta, Ichiro Hasuo National Institute of Informatics, Japan, Jianjun Zhao Kyushu University
Link to publication DOI
15:45 - 17:15
15:45
15m
Talk
MTTM: Metamorphic Testing for Textual Content Moderation Software
ICSE Technical Track
Wenxuan Wang The Chinese University of Hong Kong, Jen-tse Huang The Chinese University of Hong Kong, Weibin Wu Sun Yat-sen University, Jianping Zhang The Chinese University of Hong Kong, Yizhan Huang The Chinese University of Hong Kong, Shuqing Li The Chinese University of Hong Kong, Pinjia He Chinese University of Hong Kong at Shenzhen, Michael Lyu The Chinese University of Hong Kong
16:00
15m
Talk
Metamorphic Shader Fusion for Testing Graphics Shader Compilers
ICSE Technical Track
Dongwei Xiao The Hong Kong University of Science and Technology, Zhibo Liu Hong Kong University of Science and Technology, Shuai Wang Hong Kong University of Science and Technology
16:15
15m
Paper
Metamorphic Testing and Debugging of Tax Preparation Software
ICSE SEIS - Software Engineering in Society
Saeid Tizpaz-Niari University of Texas at El Paso, Verya Monjezi University of Texas at El Paso, Morgan Wagner University of Texas at El Paso, Shiva Darian University of Colorado Boulder, Krystia Reed University of Texas at El Paso, Ashutosh Trivedi University of Colorado Boulder
Pre-print
16:30
7m
Talk
Biasfinder: Metamorphic test generation to uncover bias for sentiment analysis systems
ICSE Journal-First Papers
Muhammad Hilmi Asyrofi School of Computing and Information Systems, Singapore Management University, Zhou Yang Singapore Management University, Imam Nur Bani Yusuf Singapore Management University, Singapore, Hong Jin Kang UCLA, Ferdian Thung Singapore Management University, David Lo Singapore Management University
16:37
7m
Talk
Automated Metamorphic Testing using Transitive Relations for Specializing Stance Detection Models
ICSE SEIP - Software Engineering in Practice
Alisa Arno IBM Research - Tokyo, Futoshi Iwama IBM Research - Tokyo, Mikio Takeuchi IBM Research - Tokyo
16:45
15m
Talk
MorphQ: Metamorphic Testing of the Qiskit Quantum Computing Platform
ICSE Technical Track
Matteo Paltenghi University of Stuttgart, Germany, Michael Pradel University of Stuttgart
Pre-print

Sat 20 May

Displayed time zone: Hobart change

09:00 - 10:30
Opening SessionBotSE at Meeting Room 102
09:00
45m
Day opening
Opening ceremony
BotSE
A: Mairieli Wessel Radboud University, A: Ahmad Abdellatif Concordia University, A: Igor Steinmacher Northern Arizona University
09:45
45m
Keynote
What do we know about conversation?
BotSE
K: Paul Thomas Microsoft Research
11:00 - 12:30
Session 1: Conversational Bots in SEBotSE at Meeting Room 102
11:00
20m
Talk
Navigating Complexity in Software Engineering: A Prototype for Comparing GPT-n SolutionsShort paper
BotSE
Christoph Treude University of Melbourne
11:20
20m
Talk
Towards Continuous Performance Assessment of Java Applications With PerfBotInvited Paper
BotSE
Florian Markusse , Alexander Serebrenik Eindhoven University of Technology, Philipp Leitner Chalmers University of Technology, Sweden / University of Gothenburg, Sweden
11:40
20m
Talk
Supporting Conversational Agent-Based Software DevelopmentShort paper
BotSE
Glaucia Melo University of Waterloo, Luis Fernando Lins University of Waterloo, Paulo Alencar University of Waterloo, Donald Cowan University of Waterloo
Pre-print
12:00
20m
Talk
Idiolect: A Reconfigurable Voice Coding AssistantShort paper
BotSE
Breandan Considine McGill University, Nicholas Albion , Xujie Si University of Toronto
13:45 - 15:15
Session 2: Bots Design and ChallengesBotSE at Meeting Room 102
13:45
20m
Talk
From RSSE to BotSE: Potentials and Challenges Revisited after 15 YearsInvited Paper
BotSE
Walid Maalej University of Hamburg
Pre-print
14:05
20m
Talk
Optimizing Workflow for Elite Developers: Perspectives on Leveraging SE BotsInvited Paper
BotSE
Zhendong Wang University of California, Irvine, Yi Wang Beijing University of Posts and Telecommunications, David Redmiles University of California, Irvine
14:25
20m
Talk
Bot With Interactions: Improving GitHub Pull-Request Feedback Through Two-Way CommunicationShort paper
BotSE
Zhewei Hu North Carolina State University, Edward Gehringer North Carolina State University
14:45
20m
Talk
The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience ReportJournal First
BotSE
Théo Zimmermann Télécom Paris, Polytechnic Institute of Paris, Julien Coolen , Jason Gross MIT CSAIL, Pierre-Marie Pédrot INRIA, Gaetan Gilbert
DOI Pre-print
15:45 - 17:15
Session 3: Bots in OSS BotSE at Meeting Room 102
15:45
20m
Talk
Suggestion Bot: Analyzing the Impact of Automated Suggested Changes on Code ReviewsShort paper
BotSE
16:05
20m
Talk
Using Benchmarking Bots for Continuous Performance AssessmentJournal First
BotSE
Florian Markusse , Philipp Leitner Chalmers University of Technology, Sweden / University of Gothenburg, Sweden, Alexander Serebrenik Eindhoven University of Technology
16:25
20m
Talk
From Specialized Mechanics to Project Butlers: The Usage of Bots in Open Source Software DevelopmentJournal First
BotSE
Zhendong Wang University of California, Irvine, Yi Wang Beijing University of Posts and Telecommunications, David Redmiles University of California, Irvine
16:45
20m
Talk
Recognizing Bot Activity in Collaborative Software DevelopmentJournal First
BotSE
Mehdi Golzadeh Software Engineering lab, University of Mons, Tom Mens University of Mons, Alexandre Decan University of Mons; F.R.S.-FNRS, Eleni Constantinou University of Cyprus, Natarajan Chidambaram University of Mons
17:05
10m
Day closing
Closing ceremony
BotSE
Igor Steinmacher Northern Arizona University, Mairieli Wessel Radboud University, Ahmad Abdellatif Concordia University

Sun 14 May

Displayed time zone: Hobart change

Mon 15 May

Displayed time zone: Hobart change

Sat 20 May

Displayed time zone: Hobart change

Wed 17 May

Displayed time zone: Hobart change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Meeting Room 102

Fri 19 May

Displayed time zone: Hobart change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Meeting Room 102