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

11:00 - 12:30
11:00
25m
Research paper
An Exploratory Study on the Occurrence of Self-Admitted Technical Debt in Android Apps
TechDebt Technical Papers
Gregory Wilder II University of Hawai‘i at Mānoa, Riley Miyamoto University of Hawai‘i at Mānoa, Samuel Watson University of Hawai‘i at Mānoa, Rick Kazman University of Hawai‘i at Mānoa, Anthony Peruma University of Hawai‘i at Mānoa
Pre-print
11:25
25m
Research paper
Automatically Identifying Relations Between Self-Admitted Technical Debt Across Different Sources
TechDebt Technical Papers
Yikun Li University of Groningen, Mohamed Soliman University of Groningen, Paris Avgeriou Univ. of Gronningen 
11:50
15m
Short-paper
Automated Self-Admitted Technical Debt Tracking at Commit-Level: A Language-independent Approach
TechDebt Short Papers
Mohammad Sadegh Sheikhaei School of Computing, Queen's University, Yuan Tian Queens University, Kingston, Canada
Pre-print
12:05
15m
Short-paper
Measuring Improvement of F1-Scores in Detection of Self-Admitted Technical Debt
TechDebt Short Papers
William Aiken University of Ottawa, Paul K. Mvula University of Ottawa, Paula Branco University of Ottawa, Guy Jourdan University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Herna Viktor University of Ottawa
Pre-print
12:20
10m
Live Q&A
Open Q&A
TechDebt Plenary

13:45 - 15:15
13:45
25m
Research paper
The Type to Take Out a Loan? A Study of Developer Personality and Technical Debt
TechDebt Technical Papers
Lorenz Graf-Vlachy University of Stuttgart, Stefan Wagner University of Stuttgart
Pre-print
14:10
25m
Research paper
Technical Debt Contagiousness Metrics for Measurement and Prioritization in Mechatronics
TechDebt Technical Papers
Fandi Bi Technical University of Munich, Birgit Vogel-Heuser Karlsruhe Institute of Technology, Fengmin Du ETH Zürich, Nils Hanich Technical University of Munich, Eunnuri Cho Technical University of Munich
14:35
25m
Talk
How to introduce TD Management into a Software Development Process – A Practical Approach
TechDebt Technical Papers
Markus Finke KUKA Deutschland, Thomas Neff KUKA Deutschland, Tobias Reichl KUKA Deutschland
15:00
15m
Live Q&A
Open Q&A
TechDebt Plenary

15:45 - 17:15
Architecture and Documentation Technical DebtTechDebt Technical Papers / TechDebt Plenary at Meeting Room 101
15:45
25m
Research paper
Identifying Code Changes for Architecture Decay via a Metric Forest Structure
TechDebt Technical Papers
Wuxia Jin Xi'an Jiaotong University, Yuyun Zhang Xi'an Jiaotong University, Jiaowei Shang Xi'an Jiaotong University, Yi Hou Xi'an Jiaotong University, Ming Fan Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University
16:10
25m
Research paper
Resolving Security Issues via Quality-Oriented Refactoring: A User Study
TechDebt Technical Papers
Domenico Gigante SER&Practices and University of Bari, Fabiano Pecorelli Jheronimus Academy of Data Science, Vita Santa Barletta University of Bari, Andrea Janes FHV Vorarlberg University of Applied Sciences, Valentina Lenarduzzi University of Oulu, Davide Taibi Tampere University , Maria Teresa Baldassarre Department of Computer Science, University of Bari
16:35
25m
Research paper
Towards identifying and minimizing customer-facing documentation debt
TechDebt Technical Papers
Lakmal Silva Blekinge Institute of Technology, Michael Unterkalmsteiner Blekinge Institute of Technology, Krzysztof Wnuk
17:00
15m
Live Q&A
Open Q&A
TechDebt Plenary

Mon 15 May

Displayed time zone: Hobart change

09:00 - 10:30
09:00
15m
Day opening
Day Opening
TechDebt Plenary

09:15
75m
Keynote
Xiwei (Sherry) Xu: Technical Debt in AI-based Software Systems: Challenges and Approaches
TechDebt Plenary

11:00 - 12:30
11:00
25m
Research paper
Technical Debt Classification in Issue Trackers using Natural Language Processing based on Transformers
TechDebt Technical Papers
Daniel Skryseth University of Oslo, Karthik Shivashankar University of Oslo, Ildikó Pilán Norwegian Computing Center, Antonio Martini University of Oslo, Norway
11:25
25m
Research paper
Exploring the Effect of Various Maintenance Activities on the Accumulation of TD Principal
TechDebt Technical Papers
Nikolaos Nikolaidis University of Macedonia, Apostolos Ampatzoglou University of Macedonia, Alexander Chatzigeorgiou University of Macedonia, Nikolaos Mittas International Hellenic University, Evdokimos Konstantinidis Aristotle University, Panagiotis Bamidis Aristotle University
11:50
40m
Live Q&A
Open Q&A
TechDebt Plenary

13:45 - 15:15
13:45
30m
Talk
Business-aligned approach to prioritizing and servicing technical debt of cloud applications
TechDebt Industry Track
14:15
45m
Panel
Panel Discussion
TechDebt Plenary

15:00
15m
Day closing
Conference Closing
TechDebt Plenary

Tue 16 May

Displayed time zone: Hobart change

09:00 - 10:30
Welcome, introductions, panelICSE DS - Doctoral Symposium at Meeting Room 101
09:00
90m
Day opening
Welcome, introductions, panel
ICSE DS - Doctoral Symposium
Didar Zowghi CSIRO's Data61, Denys Poshyvanyk College of William and Mary
11:00 - 12:30
11:00
12m
Doctoral symposium paper
Detecting Scattered and Tangled Quality Concerns in Code to Aid Maintenance and Evolution Tasks
ICSE DS - Doctoral Symposium
Rrezarta Krasniqi University of North Carolina at Charlotte
11:12
12m
Doctoral symposium paper
Automating Code Review
ICSE DS - Doctoral Symposium
Rosalia Tufano Università della Svizzera Italiana
11:25
12m
Doctoral symposium paper
Addressing Performance Regressions in DevOps: Can We Escape from System Performance Testing?
ICSE DS - Doctoral Symposium
Lizhi Liao Concordia University
11:38
12m
Doctoral symposium paper
Toward More Effective Deep Learning-based Automated Software Vulnerability Prediction, Classification, and Repair
ICSE DS - Doctoral Symposium
Michael Fu Monash University
11:51
12m
Doctoral symposium paper
Enhancing Deep Reinforcement Learning with Executable Specifications
ICSE DS - Doctoral Symposium
12:04
12m
Doctoral symposium paper
Toward Automated Tools to Support Ethical GUI Design
ICSE DS - Doctoral Symposium
S M Hasan Mansur George Mason University
12:17
12m
Doctoral symposium paper
Towards strengthening software library interfaces with granular and interactive type migrations
ICSE DS - Doctoral Symposium
Richárd Szalay Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers
13:45 - 15:15
13:45
12m
Doctoral symposium paper
Designing Adaptive Developer-Chatbot Interactions: Context Integration, Experimental Studies and Levels of Automation
ICSE DS - Doctoral Symposium
Glaucia Melo University of Waterloo
Pre-print
13:57
12m
Doctoral symposium paper
Towards machine learning guided by best practices
ICSE DS - Doctoral Symposium
Anamaria Mojica-Hanke University of Passau and Universidad de los Andes
14:10
12m
Doctoral symposium paper
Software Supply Chain Risk Assessment Framework
ICSE DS - Doctoral Symposium
Nusrat Zahan North Carolina State University
14:23
12m
Doctoral symposium paper
Some Investigations of Machine Learning Models for Software Defects
ICSE DS - Doctoral Symposium
Umamaheswara Sharma B National Institute of Technology, Warangal
14:36
12m
Doctoral symposium paper
Improving Automatic C-to-Rust Translation with Static Analysis
ICSE DS - Doctoral Symposium
14:49
12m
Doctoral symposium paper
Cost-effective Strategies for Building Energy Efficient Mobile Applications
ICSE DS - Doctoral Symposium
Abdul Ali Bangash University of Alberta, Canada
15:02
12m
Doctoral symposium paper
Towards Utilizing Natural Language Processing Techniques to Assist in Software Engineering Tasks
ICSE DS - Doctoral Symposium
Zishuo Ding Concordia University
15:45 - 18:00
15:45
7m
Poster
Towards Automated Embedded Systems Programming
ICSE DS - Doctoral Symposium
Imam Nur Bani Yusuf Singapore Management University, Singapore
15:52
7m
Poster
Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation
ICSE DS - Doctoral Symposium
16:00
7m
Poster
Automating Code Generation for MDE using Machine Learning
ICSE DS - Doctoral Symposium

16:07
7m
Poster
Assessing Cognitive Load in Software Development with Wearable Sensors
ICSE DS - Doctoral Symposium

16:15
7m
Poster
A Framework to Communicate Software Engineering Data Effectively with Dashboards
ICSE DS - Doctoral Symposium
16:22
7m
Poster
Complementing secure code review with automated program analysis
ICSE DS - Doctoral Symposium

16:30
7m
Poster
Domain Specific Languages for Optimisation Modelling
ICSE DS - Doctoral Symposium

16:37
7m
Poster
Evaluation of Stakeholder Mapping and Sustainability Personas Towards Sustainable Software Development
ICSE DS - Doctoral Symposium
Bimpe Ayoola Dalhousie University
16:45
7m
Poster
Evolutionary Computation and Reinforcement Learning for Cyber-physical System Design
ICSE DS - Doctoral Symposium
Chengjie Lu Simula Research Laboratory and University of Oslo
16:52
7m
Poster
From Input to Failure: Explaining Program Behavior via Cause-Effect Chains
ICSE DS - Doctoral Symposium
Marius Smytzek CISPA Helmholtz Center for Information Security
Pre-print
17:00
7m
Poster
Grammar-Based String Refinement Types
ICSE DS - Doctoral Symposium
Fengmin Zhu CISPA Helmholtz Center for Information Security
17:07
7m
Poster
Graph Solver as a Service
ICSE DS - Doctoral Symposium
Fozail Ahmad McGill University
17:15
7m
Poster
Incident Prevention Through Reliable Changes Deployment
ICSE DS - Doctoral Symposium
Eileen Kapel Delft University of Technology
17:22
7m
Poster
Learning Program Models from Generated Inputs
ICSE DS - Doctoral Symposium
Tural Mammadov CISPA Helmholtz Center for Information Security
17:30
7m
Poster
Learning Test Input Constraints from Branch Conditions
ICSE DS - Doctoral Symposium
Leon Bettscheider CISPA Helmholtz Center for Information Security
17:37
7m
Poster
Static Analysis for Android GDPR Compliance Assurance
ICSE DS - Doctoral Symposium
Mugdha Khedkar Heinz Nixdorf Institute at Paderborn University
Pre-print
17:45
7m
Poster
Towards an AI-centric Requirement Engineering Framework for Trustworthy AI
ICSE DS - Doctoral Symposium

17:52
7m
Day closing
Closing
ICSE DS - Doctoral Symposium
Didar Zowghi CSIRO's Data61, Denys Poshyvanyk College of William and Mary

Wed 17 May

Displayed time zone: Hobart change

11:00 - 12:30
Fuzzing: applicationsICSE Technical Track / ICSE DEMO - Demonstrations at Meeting Room 101
Chair(s): Corina S. Păsăreanu Carnegie Mellon University
11:00
15m
Talk
Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces
ICSE Technical Track
Haoxiang Jia Huazhong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Zifan Xie Huazhong University of Science and Technology, Xiaochen Guo Huazhong University of Science and Technology, Rongxin Wu Xiamen University, Maolin Sun Huazhong University of Science and Technology, Kang Chen Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology
Pre-print
11:15
15m
Talk
JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers
ICSE Technical Track
Mingyuan Wu Southern University of Science and Technology, Minghai Lu Southern University of Science and Technology, Heming Cui University of Hong Kong, Junjie Chen Tianjin University, Yuqun Zhang Southern University of Science and Technology, Lingming Zhang University of Illinois at Urbana-Champaign
11:30
15m
Talk
Validating SMT Solvers via Skeleton Enumeration Empowered by Historical Bug-Triggering Inputs
ICSE Technical Track
Maolin Sun Huazhong University of Science and Technology, Yibiao Yang Nanjing University, Ming Wen Huazhong University of Science and Technology, Yongcong Wang Huazhong University of Science and Technology, Yuming Zhou Nanjing University, Hai Jin Huazhong University of Science and Technology
Pre-print
11:45
15m
Talk
Regression Fuzzing for Deep Learning Systems
ICSE Technical Track
Hanmo You College of Intelligence and Computing, Tianjin University, Zan Wang Tianjin University, China, Junjie Chen Tianjin University, Shuang Liu Tianjin University, Shuochuan Li College of Intelligence and Computing, Tianjin University
12:00
15m
Talk
Operand-Variation-Oriented Differential Analysis for Fuzzing Binding Calls in PDF Readers
ICSE Technical Track
Suyue Guo Renmin University of China, Xinyu Wan Renmin University of China, Wei You Renmin University of China, Bin Liang Renmin University of China, China, Wenchang Shi Renmin University of China, China, Yiwei Zhang Renmin University of China, Jianjun Huang Renmin University of China, China, Jian Zhang State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China
Pre-print
12:15
7m
Talk
JAttack: Java JIT Testing using Template Programs
ICSE DEMO - Demonstrations
Zhiqiang Zang University of Texas at Austin, Fu-Yao Yu The University of Texas at Austin, Nathan Wiatrek The University of Texas at Austin, Milos Gligoric University of Texas at Austin, August Shi University of Texas at Austin
Pre-print
13:45 - 15:15
Fuzzing: techniques and toolsICSE Technical Track / ICSE Journal-First Papers / ICSE SEIP - Software Engineering in Practice at Meeting Room 101
Chair(s): Mike Papadakis University of Luxembourg, Luxembourg
13:45
7m
Talk
Neural Network Guided Evolutionary Fuzzing for Finding Traffic Violations of Autonomous Vehicles
ICSE Journal-First Papers
Ziyuan Zhong Columbia University, Gail Kaiser Columbia University, Baishakhi Ray Columbia University
13:52
15m
Talk
Reachable Code Coverage
ICSE Technical Track
Danushka Liyanage Monash University, Australia, Marcel Böhme MPI-SP, Germany and Monash University, Australia, Kla Tantithamthavorn Monash University, Stephan Lipp Technical University of Munich
14:07
15m
Talk
Learning Seed-Adaptive Mutation Strategies for Greybox Fuzzing
ICSE Technical Track
Myungho Lee Korea University, Sooyoung Cha Sungkyunkwan University, Hakjoo Oh Korea University
14:22
15m
Talk
Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object Generation
ICSE Technical Track
Sicong Cao Yangzhou University, Xiaobing Sun Yangzhou University, Xiaoxue Wu Yangzhou University, Lili Bo Yangzhou University, Bin Li Yangzhou University, Rongxin Wu Xiamen University, Wei Liu Nanjing University, Biao He Ant Group, Yu Ouyang Ant Group, Jiajia Li Ant Group
14:37
15m
Talk
Evaluating and Improving Hybrid Fuzzing
ICSE Technical Track
Ling Jiang Southern University of Science and Technology, Hengchen Yuan Southern University of Science and Technology, Mingyuan Wu Southern University of Science and Technology, Lingming Zhang University of Illinois at Urbana-Champaign, Yuqun Zhang Southern University of Science and Technology
14:52
15m
Talk
DAISY: Effective Fuzz Driver Synthesis with Object Usage Sequence Analysis
ICSE SEIP - Software Engineering in Practice
Mingrui Zhang Tsinghua University, Beijing, China, Chijin Zhou Tsinghua University, Jianzhong Liu ShanghaiTech University, Mingzhe Wang Tsinghua University, Jie Liang , Juan Zhu , Yu Jiang Tsinghua University
15:45 - 17:15
Software loggingICSE Technical Track at Meeting Room 101
Chair(s): Hongyu Zhang The University of Newcastle
15:45
15m
Talk
PILAR: Studying and Mitigating the Influence of Configurations on Log Parsing
ICSE Technical Track
Hetong Dai Concordia University, Yiming Tang Concordia University, Heng Li Polytechnique Montréal, Weiyi Shang University of Waterloo
16:00
15m
Talk
Did We Miss Something Important? Studying and Exploring Variable-Aware Log Abstraction
ICSE Technical Track
Zhenhao Li Concordia University, Chuan Luo Beihang University, Tse-Hsun (Peter) Chen Concordia University, Weiyi Shang University of Waterloo, Shilin He Microsoft Research, Qingwei Lin Microsoft Research, Dongmei Zhang Microsoft Research
16:15
15m
Talk
On the Temporal Relations between Logging and Code
ICSE Technical Track
Zishuo Ding Concordia University, Yiming Tang Concordia University, Yang Li Beijing University of Posts and Telecommunications, Heng Li Polytechnique Montréal, Weiyi Shang University of Waterloo
Pre-print
16:30
15m
Talk
How Do Developers' Profiles and Experiences Influence their Logging Practices? An Empirical Study of Industrial Practitioners
ICSE Technical Track
Guoping Rong Nanjing University, shenghui gu Nanjing University, Haifeng Shen Australian Catholic University, He Zhang Nanjing University, Hongyu Kuang Nanjing University
16:45
15m
Talk
When to Say What: Learning to Find Condition-Message Inconsistencies
ICSE Technical Track
Islem BOUZENIA University of Stuttgart, Michael Pradel University of Stuttgart
Pre-print
17:00
15m
Talk
A Semantic-aware Parsing Approach for Log Analytics
ICSE Technical Track
Yintong Huo The Chinese University of Hong Kong, Yuxin Su Sun Yat-sen University, Cheryl Lee The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong
Pre-print

Thu 18 May

Displayed time zone: Hobart change

11:00 - 12:30
Studies on gender in SEICSE SEIS - Software Engineering in Society / ICSE Technical Track / ICSE SEET - Software Engineering Education and Training at Meeting Room 101
Chair(s): Ita Richardson Lero - The Irish Software Research Centre and University of Limerick
11:00
15m
Talk
“STILL AROUND”: Experiences and Survival Strategies of Veteran Women Software DevelopersDistinguished Paper Award
ICSE Technical Track
Sterre van Breukelen Eindhoven University of Technology, Ann Barcomb Department of Electrical and Software Engineering, Schulich School of Engineering, University of Calgary, Sebastian Baltes SAP SE & University of Adelaide, Alexander Serebrenik Eindhoven University of Technology
Pre-print
11:15
15m
Talk
The ABC of Pair Programming: Gender-dependent Attitude, Behavior and Code of Young Learners
ICSE SEET - Software Engineering Education and Training
Isabella Graßl University of Passau, Gordon Fraser University of Passau
Pre-print
11:30
15m
Talk
Engaging Girls in Computer Science: Do Single-Gender Interdisciplinary Classes Help?
ICSE SEET - Software Engineering Education and Training
Kai Marquardt Karlsruhe Institute of Technology (KIT), Lucia Happe Karlsruhe Institute of Technology, Ingo Wagner Karlsruhe Institute of Technology (KIT)
Pre-print
11:45
15m
Paper
Fundamentalists, Integrationists, & Transformationists: An Empirical Theory of Men Software Engineers' Orientations in Gender Inequalities
ICSE SEIS - Software Engineering in Society
Yi Wang Beijing University of Posts and Telecommunications, Xinyue Zhang Beijing University of Posts and Telecommunications, Wei Wang Beijing University of Posts and Telecommunications
12:00
15m
Paper
Draw a Software Engineer Test - An Investigation into Children's Perception of Software Engineering Profession
ICSE SEIS - Software Engineering in Society
Claudia Maria Cutrupi Norwegian University of Science and Technology (NTNU), Irene Zanardi USI Università della Svizzera italiana, Letizia Jaccheri Norwegian University of Science and Technology (NTNU), Monica Landoni USI Università della Svizzera italiana
12:15
15m
Full-paper
Benefits and Limitations of Remote Work to LGBTQIA+ Software Professionals
ICSE SEIS - Software Engineering in Society
Ronnie de Souza Santos Cape Breton University, Cleyton V. C. de Magalhaes CESAR School, Paul Ralph Dalhousie University
Pre-print
12:30 - 13:45
How to Assess ResearchICSE Social Events at Meeting Room 101
12:30
75m
Meeting
How to Assess Research
ICSE Social Events

13:45 - 15:15
Diversity and inclusion in SEICSE SEIS - Software Engineering in Society at Meeting Room 101
Chair(s): Xiao Liu School of Information Technology, Deakin University
13:45
15m
Paper
At the Margins: Marginalized Groups' Ethical Concerns about Software
ICSE SEIS - Software Engineering in Society
Lauren Olson Vrije Universiteit Amsterdam, Emitzá Guzmán Vrije Universiteit Amsterdam, Florian Kunneman Vrije Universiteit Amsterdam
Pre-print File Attached
14:00
15m
Paper
Do Users Act Equitably? Understanding User Bias Through a Large In-Person Study
ICSE SEIS - Software Engineering in Society
Yang Liu Rochester Institute of Technology, Heather Moses Rochester Institute of Technology, Mark Sternefeld Rochester Institute of Technology, Samuel Malachowsky Rochester Institute of Technology, Daniel Krutz Rochester Institute of Technology
14:15
15m
Paper
Developing Software for Diverse Socio-Economic End Users: Lessons Learned from A Case Study of Fisherfolk Communities in Bangladesh
ICSE SEIS - Software Engineering in Society
Tanjila Kanij Monash University, Misita Anwar Monash University, Gillian Oliver Monash University, Md Khalid Hossain Monash Universit
14:30
15m
Full-paper
Walking Down the Road to Independent Mobility: An Adaptive Route Training System for the Cognitively Impaired
ICSE SEIS - Software Engineering in Society
Konstantin Rink Bielefeld University of Applied Sciences, Tristan Gruschka Bielefeld University of Applied Sciences, Patrick Palsbröker Bielefeld University of Applied Sciences, Marcos Baez Bielefeld University of Applied Sciences, Dominic Becking Bielefeld University of Applied Sciences, Udo Seelmeyer Bielefeld University of Applied Sciences, Gudrun Dobslaw Bielefeld University of Applied Sciences, Patricia Stolz Bielefeld University of Applied Sciences and Arts
14:45
15m
Paper
Diversity Awareness in Software Engineering Participant Research
ICSE SEIS - Software Engineering in Society
Riya Dutta Concordia University, Diego Costa Concordia University, Canada, Emad Shihab Concordia Univeristy, Tanja Tajmel Concordia University
Pre-print
15:00
7m
Vision and Emerging Results
Harmful Terms in Computing: Towards Widespread Detection and Correction
ICSE SEIS - Software Engineering in Society
Hana Winchester Saint Ursula Academy, Alicia Boyd New York University, Brittany Johnson George Mason University

Fri 19 May

Displayed time zone: Hobart change

11:00 - 12:30
AI testing 2ICSE Technical Track / ICSE Journal-First Papers at Meeting Room 101
Chair(s): Gunel Jahangirova USI Lugano, Switzerland
11:00
15m
Talk
Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation
ICSE Technical Track
Qiang Hu University of Luxembourg, Yuejun GUo University of Luxembourg, Xiaofei Xie Singapore Management University, Maxime Cordy University of Luxembourg, Luxembourg, Lei Ma University of Alberta, Mike Papadakis University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg
Pre-print
11:15
15m
Talk
Testing the Plasticity of Reinforcement Learning Based Systems
ICSE Journal-First Papers
Matteo Biagiola Università della Svizzera italiana, Paolo Tonella USI Lugano
Link to publication DOI Pre-print
11:30
15m
Talk
CC: Causality-Aware Coverage Criterion for Deep Neural Networks
ICSE Technical Track
Zhenlan Ji The Hong Kong University of Science and Technology, Pingchuan Ma HKUST, Yuanyuan Yuan The Hong Kong University of Science and Technology, Shuai Wang Hong Kong University of Science and Technology
11:45
15m
Talk
Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests
ICSE Technical Track
Chunqiu Steven Xia University of Illinois at Urbana-Champaign, Saikat Dutta University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign
12:00
15m
Talk
Many-Objective Reinforcement Learning for Online Testing of DNN-Enabled Systems
ICSE Technical Track
Fitash ul haq , Donghwan Shin The University of Sheffield, Lionel Briand University of Luxembourg; University of Ottawa
Pre-print
12:15
15m
Talk
Reliability Assurance for Deep Neural Network Architectures Against Numerical Defects
ICSE Technical Track
Linyi Li University of Illinois at Urbana-Champaign, Yuhao Zhang University of Wisconsin-Madison, Luyao Ren Peking University, China, Yingfei Xiong Peking University, Tao Xie Peking University
Pre-print
13:45 - 15:15
Code generationICSE Journal-First Papers / ICSE Technical Track at Meeting Room 101
Chair(s): Iftekhar Ahmed University of California at Irvine
13:45
15m
Talk
Learning Deep Semantics for Test Completion
ICSE Technical Track
Pengyu Nie University of Texas at Austin, Rahul Banerjee The University of Texas at Austin, Junyi Jessy Li University of Texas at Austin, USA, Raymond Mooney The University of Texas at Austin, Milos Gligoric University of Texas at Austin
14:00
15m
Talk
Dynamic Human-in-the-Loop Assertion Generation
ICSE Journal-First Papers
Lucas Zamprogno University of British Columbia, Braxton Hall University of British Columbia, Reid Holmes University of British Columbia, Joanne M. Atlee University of Waterloo
14:15
15m
Talk
SkCoder: A Sketch-based Approach for Automatic Code Generation
ICSE Technical Track
Jia Li Peking University, Yongmin Li Peking University, Ge Li Peking University, Zhi Jin Peking University, Xing Hu Zhejiang University
Pre-print
14:30
15m
Talk
An Empirical Comparison of Pre-Trained Models of Source Code
ICSE Technical Track
Changan Niu Software Institute, Nanjing University, Chuanyi Li Nanjing University, Vincent Ng Human Language Technology Research Institute, University of Texas at Dallas, Richardson, TX 75083-0688, Dongxiao Chen Software Institute, Nanjing University, Jidong Ge Nanjing University, Bin Luo Nanjing University
Pre-print
14:45
15m
Talk
On the Robustness of Code Generation Techniques: An Empirical Study on GitHub Copilot
ICSE Technical Track
Antonio Mastropaolo Università della Svizzera italiana, Luca Pascarella ETH Zurich, Emanuela Guglielmi University of Molise, Matteo Ciniselli Università della Svizzera Italiana, Simone Scalabrino University of Molise, Rocco Oliveto University of Molise, Gabriele Bavota Software Institute, USI Università della Svizzera italiana
15:00
15m
Talk
Source Code Recommender Systems: The Practitioners' Perspective
ICSE Technical Track
Matteo Ciniselli Università della Svizzera Italiana, Luca Pascarella ETH Zurich, Emad Aghajani Software Institute, USI Università della Svizzera italiana, Simone Scalabrino University of Molise, Rocco Oliveto University of Molise, Gabriele Bavota Software Institute, USI Università della Svizzera italiana
15:45 - 17:15
SE education methods and toolsICSE Technical Track / ICSE SEET - Software Engineering Education and Training at Meeting Room 101
Chair(s): Andrew Begel Carnegie Mellon University
15:45
15m
Talk
On the Applicability of Language Models to Block-Based Programs
ICSE Technical Track
Elisabeth Griebl University of Passau, Benedikt Fein University of Passau, Florian Obermueller University of Passau, Gordon Fraser University of Passau, René Just University of Washington
16:00
15m
Talk
Improving Grading Outcomes in Software Engineering Projects Through Automated Contributions Summaries
ICSE SEET - Software Engineering Education and Training
Kai Presler-Marshall Bowdoin College, Sarah Heckman North Carolina State University, Kathryn Stolee North Carolina State University
16:15
15m
Talk
Analyzing the Quality of Submissions in Online Programming Courses
ICSE SEET - Software Engineering Education and Training
Maria Tigina JetBrains Research, Anastasiia Birillo JetBrains Research, Yaroslav Golubev JetBrains Research, Hieke Keuning Utrecht University, Nikolay Vyahhi Stepik, Timofey Bryksin JetBrains Research
Pre-print
16:30
15m
Talk
A Metric for Measuring Software Engineering Post-Graduate Outcomes
ICSE SEET - Software Engineering Education and Training
Travis Breaux Carnegie Mellon University, Jennifer Moritz Carnegie Mellon University
16:45
7m
Talk
Using Focus to Personalise Learning and Feedback in Software Engineering Education
ICSE SEET - Software Engineering Education and Training
Bansri Amish Modi School of Information Technology, Deakin University, Andrew Cain School of Information Technology, Deakin University, Guy Wood-Bradley Deakin University, Jake Renzella University of New South Wales, Sydney
16:52
7m
Talk
Shaping a Tool for Developing Computing Students’ Professional Identity - Industry Perspectives
ICSE SEET - Software Engineering Education and Training
Laura Tubino Deakin University, Kerri Morgan Deakin University, Guy Wood-Bradley Deakin University, Andrew Cain School of Information Technology, Deakin University
17:00
7m
Talk
REFERENT: Transformer based Feedback Generation using Assignment Information for Programming Course
ICSE SEET - Software Engineering Education and Training
Jinseok Heo Sungkyunkwan University, Hohyeon Jeong Sungkyunkwan University, Dongwook Choi SungKyunKwan University, Eunseok Lee Sungkyunkwan University
17:07
7m
Talk
Factors Affecting Compilable State at Each Keystroke in CS1
ICSE SEET - Software Engineering Education and Training
Steven Scott Utah State University, Arto Hellas Aalto University, Juho Leinonen The University of Auckland, John Edwards Utah State University

Sat 20 May

Displayed time zone: Hobart change

07:30 - 08:50
Building IoT SystemsSERP4IoT at Meeting Room 101
07:45
25m
Talk
Building IoT Systems Modeling: A Object-oriented Metamodeling Approach
SERP4IoT
Peter Yefi Concordia University, Ramanunni Menon Concordia University, Ursula Eicker Concordia University
08:10
20m
Talk
Building an Interface for Controlling IoT Devices
SERP4IoT
Steven P. Reiss Brown University, USA
08:30
20m
Talk
An Experiment to Build an Open Source Application for the Internet of Things as Part of a Software Engineering Course
SERP4IoT
Rares Cristea University of Bucharest, Ciprian Paduraru University of Bucharest
10:10 - 11:20
Learning and Experimenting with IoTSERP4IoT at Meeting Room 101
10:10
25m
Talk
Motivating and Demystifying IoT Learning with Hackathons in a Maker Space, Low-code Development and Rapid Prototyping
SERP4IoT
10:35
25m
Talk
Event Driven Architecture: on the Gap Between Academia and Industry
SERP4IoT
Nader Trabelsi École de technologie supérieure, Cristiano Politowski École de technologie supérieure, Ghizlane El Boussaidi École de Technologie Supérieure
11:00
20m
Talk
A Controlled Experiment on Incorporating Failure Knowledge into Design Decisions for Internet of Things Systems
SERP4IoT
Dharun Anandayuvaraj Purdue University, Pujita Thulluri Purdue University, Justin Figueroa Purdue University, Harshit Shandilya Purdue University, James C. Davis Purdue University
Pre-print
11:25 - 12:30
Model Driven Development and Innovation on IoTSERP4IoT at Meeting Room 101
11:25
25m
Talk
ReqMIoT: An Integrated Requirements Modelling Environment for IoT Systems
SERP4IoT
Paul Boutot Toronto Metropolitan University, Sadaf Mustafiz Toronto Metropolitan University
11:50
25m
Talk
ra4xstate: An Efficient Quantitative Robustness Analysis Approach for Statecharts
SERP4IoT
Majid Babaei McGill University, Maroua Ben Attia Humanitas Solutions
12:15
10m
Talk
Open Innovation in Cities with IoT Hackathons
SERP4IoT
Breno Alencar Gonçalves Emprel, Evisson Lucena Prefeitura da Cidade do Recife, Kiev Gama UFPE

Sun 14 May

Displayed time zone: Hobart change

Tue 16 May

Displayed time zone: Hobart change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Meeting Room 101

Wed 17 May

Displayed time zone: Hobart change

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

Thu 18 May

Displayed time zone: Hobart change

Room11:0015304512:0015304513:0015304514:0015304515:00153045
Meeting Room 101

Fri 19 May

Displayed time zone: Hobart change

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