Wed 17 AprDisplayed time zone: Lisbon change
09:00 - 10:30 | ICSE2024 Opening & Keynote 1 - Rupak MajumdarICSE Keynotes / Social Events at Grande Auditório Chair(s): Rui Abreu Meta & University of Porto | ||
09:00 45mTalk | ICSE2024 Opening Social Events Rui Abreu Meta & University of Porto, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto, Abhik Roychoudhury National University of Singapore, Margaret-Anne Storey University of Victoria | ||
09:45 45mKeynote | Challenges and Opportunities in Model Checking Large-scale Distributed Systems ICSE Keynotes |
11:00 - 12:30 | AI & Security 1Research Track / Journal-first Papers at Grande Auditório Chair(s): Tevfik Bultan University of California at Santa Barbara | ||
11:00 15mTalk | Towards More Practical Automation of Vulnerability Assessment Research Track Shengyi Pan Zhejiang University, Lingfeng Bao Zhejiang University, Jiayuan Zhou Huawei, Xing Hu Zhejiang University, Xin Xia Huawei Technologies, Shanping Li Zhejiang University | ||
11:15 15mTalk | VGX: Large-Scale Sample Generation for Boosting Learning-Based Software Vulnerability Analyses Research Track Yu Nong Washington State University, Richard Fang Washington State University, Guangbei Yi Washington State University, Kunsong Zhao The Hong Kong Polytechnic University, Xiapu Luo The Hong Kong Polytechnic University, Feng Chen University of Texas at Dallas, Haipeng Cai Washington State University | ||
11:30 15mTalk | MalCertain: Enhancing Deep Neural Network Based Android Malware Detection by Tackling Prediction Uncertainty Research Track haodong li Beijing University of Posts and Telecommunications, Guosheng Xu Beijing University of Posts and Telecommunications, Liu Wang Beijing University of Posts and Telecommunications, Xusheng Xiao Arizona State University, Xiapu Luo The Hong Kong Polytechnic University, Guoai Xu Harbin Institute of Technology, Shenzhen, Haoyu Wang Huazhong University of Science and Technology | ||
11:45 15mTalk | Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks Research Track Zhongxin Liu Zhejiang University, Zhijie Tang Zhejiang University, Junwei Zhang Zhejiang University, Xin Xia Huawei Technologies, Xiaohu Yang Zhejiang University | ||
12:00 15mTalk | Investigating White-Box Attacks for On-Device Models Research Track Mingyi Zhou Monash University, Xiang Gao Beihang University, Jing Wu Monash University, Kui Liu Huawei, Hailong Sun Beihang University, Li Li Beihang University | ||
12:15 7mTalk | VulExplainer: A Transformer-Based Hierarchical Distillation for Explaining Vulnerability Types Journal-first Papers Michael Fu Monash University, Van Nguyen Monash University, Kla Tantithamthavorn Monash University, Trung Le Monash University, Australia, Dinh Phung Monash University, Australia Link to publication DOI | ||
12:22 7mTalk | SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-enabled Cyber-Physical Systems Journal-first Papers Jiayang Song University of Alberta, Xuan Xie University of Alberta, Lei Ma The University of Tokyo & University of Alberta DOI |
11:00 - 12:30 | |||
11:00 15mTalk | Prism: Decomposing Program Semantics for Code Clone Detection through Compilation Research Track Haoran Li Nankai university, wangsiqian Nankai university, Weihong Quan Nankai university, Xiaoli Gong Nankai University, Huayou Su NUDT, Jin Zhang Hunan Normal University | ||
11:15 15mTalk | Evaluating Code Summarization Techniques: A New Metric and an Empirical Characterization Research Track Antonio Mastropaolo Università della Svizzera italiana, Matteo Ciniselli Università della Svizzera Italiana, Massimiliano Di Penta University of Sannio, Italy, Gabriele Bavota Software Institute @ Università della Svizzera Italiana | ||
11:30 15mTalk | Are Prompt Engineering and TODO Comments Friends or Foes? An Evaluation on GitHub Copilot Research Track David OBrien Iowa State University, Sumon Biswas Carnegie Mellon University, Sayem Mohammad Imtiaz Iowa State University, Rabe Abdalkareem Omar Al-Mukhtar University, Emad Shihab Concordia University, Hridesh Rajan Iowa State University | ||
11:45 15mTalk | Automatic Semantic Augmentation of Language Model Prompts (for Code Summarization) Research Track Toufique Ahmed University of California at Davis, Kunal Suresh Pai UC Davis, Prem Devanbu University of California at Davis, Earl T. Barr University College London DOI Pre-print | ||
12:00 15mTalk | DSFM: Enhancing Functional Code Clone Detection with Deep Subtree Interactions Research Track Zhiwei Xu Tsinghua University, Shaohua Qiang Tsinghua University, Dinghong Song Tsinghua University, Min Zhou Tsinghua University, Hai Wan Tsinghua University, Xibin Zhao Tsinghua University, Ping Luo Tsinghua University, Hongyu Zhang Chongqing University | ||
12:15 15mTalk | Machine Learning is All You Need: A Simple Token-based Approach for Effective Code Clone Detection Research Track Siyue Feng Huazhong University of Science and Technology, Wenqi Suo Huazhong University of Science and Technology, Yueming Wu Nanyang Technological University, Deqing Zou Huazhong University of Science and Technology, Yang Liu Nanyang Technological University, Hai Jin Huazhong University of Science and Technology |
11:00 - 12:30 | Analysis 1Demonstrations / Software Engineering Education and Training / Journal-first Papers / Research Track at Fernando Pessoa Chair(s): Davide Taibi University of Oulu and Tampere University | ||
11:00 15mTalk | Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems Research Track Kadiray Karakaya Heinz Nixdorf Institut, Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Pre-print | ||
11:15 15mTalk | A Framework For Inferring Properties of User-Defined Functions Research Track Xinyu Liu Georgia Institute of Technology, Joy Arulraj Georgia Institute of Technology, Alessandro Orso Georgia Institute of Technology | ||
11:30 15mTalk | Building Collaborative Learning: Exploring Social Annotation in Introductory Programming Software Engineering Education and Training Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg, Felix Dobslaw Mid Sweden University | ||
11:45 15mTalk | Teaching Software Development for Real-World Problems using a Microservice-Based Collaborative Problem-Solving Approach Software Engineering Education and Training Yi Meng LAU Singapore Management University, Christian Michael KOH Singapore Management University, Lingxiao Jiang Singapore Management University | ||
12:00 7mTalk | Detecting Outdated Code Element References in Software Repository Documentation Journal-first Papers Wen Siang Tan The University of Adelaide, Markus Wagner Monash University, Australia, Christoph Treude Singapore Management University | ||
12:07 7mTalk | Augmenting Diffs With Runtime Information 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 7mTalk | TPV: A Tool for Validating Temporal Properties in UML Class Diagrams 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 |
11:00 - 12:30 | Human and Social 1Software Engineering in Society / Research Track / Software Engineering Education and Training at Glicínia Quartin Chair(s): Grischa Liebel Reykjavik University | ||
11:00 15mTalk | Breaking the Flow: A Study of Interruptions During Software Engineering Activities Research Track Pre-print | ||
11:15 15mTalk | Supporting Web-based API Searches in the IDE Using Signatures Research Track Nick Bradley University of British Columbia, Thomas Fritz University of Zurich, Reid Holmes University of British Columbia | ||
11:30 15mTalk | Adopting an Agile Approach for Reflective Learning and Teaching Software Engineering Education and Training | ||
11:45 15mTalk | Experiences with Summer Camp Communication via Discord Software Engineering Education and Training Makayla Moster Clemson University, Ella Kokinda Clemson Univeristy, D. Matthew Boyer Clemson University, Paige Rodeghero Clemson University | ||
12:00 15mTalk | With Great Humor Comes Great Developer Engagement Software Engineering in Society Deepika Tiwari KTH Royal Institute of Technology, Tim Toady Programming Republic of Perl, Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry KTH | ||
12:15 7mTalk | Using Accessibility Awareness Interventions to Improve Computing Education Software Engineering Education and Training Yang Liu Rochester Institute of Technology, Domenic Mangano RIT, Krishna Neupane Rochester Institute of Technology, Samuel Malachowsky Rochester Institute of Technology, Daniel Krutz Rochester Institute of Technology |
11:00 - 12:30 | Generative AI studiesResearch Track / Software Engineering Education and Training at Luis de Freitas Branco Chair(s): Walid Maalej University of Hamburg | ||
11:00 15mTalk | ChatGPT Incorrectness Detection in Software Reviews Research Track Minaoar Hossain Tanzil University of Calgary, Canada, Junaed Younus Khan University of Calgary, Gias Uddin York University, Canada DOI Pre-print | ||
11:15 15mTalk | ChatGPT-Resistant Screening Instrument for Identifying Non-Programmers Research Track Raphael Serafini Ruhr University Bochum, Clemens Otto Ruhr University Bochum, Stefan Albert Horstmann Ruhr University Bochum, Alena Naiakshina Ruhr University Bochum | ||
11:30 15mTalk | Development in times of hype: How freelancers explore Generative AI? Research Track Mateusz Dolata University of Zurich, Norbert Lange Entschleunigung Lange, Gerhard Schwabe University of Zurich DOI Pre-print File Attached | ||
11:45 15mTalk | How Far Are We? The Triumphs and Trials of Generative AI in Learning Software Engineering Research Track Rudrajit Choudhuri Oregon State University, Dylan Liu Oregon State University, Igor Steinmacher Northern Arizona University, Marco Gerosa Northern Arizona University, Anita Sarma Oregon State University Pre-print | ||
12:00 15mResearch paper | Uncovering the Causes of Emotions in Software Developer Communication Using Zero-shot LLMs Research Track Mia Mohammad Imran Virginia Commonwealth University, Preetha Chatterjee Drexel University, USA, Kostadin Damevski Virginia Commonwealth University Pre-print | ||
12:15 15mTalk | Assessing AI Detectors in Identifying AI-Generated Code: Implications for Education Software Engineering Education and Training Wei Hung Pan School of Information Technology, Monash University Malaysia, Ming Jie Chok School of Information Technology, Monash University Malaysia, Jonathan Leong Shan Wong School of Information Technology, Monash University Malaysia, Yung Xin Shin School of Information Technology, Monash University Malaysia, Yeong Shian Poon School of Information Technology, Monash University Malaysia, Zhou Yang Singapore Management University, Chun Yong Chong Monash University Malaysia, David Lo Singapore Management University, Mei Kuan Lim Monash University Malaysia |
11:00 - 12:30 | Language Models and Generated Code 1Research Track / New Ideas and Emerging Results at Maria Helena Vieira da Silva Chair(s): Yiling Lou Fudan University | ||
11:00 15mTalk | Modularizing while Training: a New Paradigm for Modularizing DNN Models Research Track Binhang Qi Beihang University, Hailong Sun Beihang University, Hongyu Zhang Chongqing University, Ruobing Zhao Beihang University, Xiang Gao Beihang University Pre-print | ||
11:15 15mResearch paper | KnowLog: Knowledge Enhanced Pre-trained Language Model for Log Understanding Research Track Lipeng Ma Fudan University, Weidong Yang Fudan University, Bo Xu Donghua University, Sihang Jiang Fudan University, Ben Fei Fudan University, Jiaqing Liang Fudan University, Mingjie Zhou Fudan University, Yanghua Xiao Fudan University | ||
11:30 15mTalk | FAIR: Flow Type-Aware Pre-Training of Compiler Intermediate Representations Research 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, David Lo Singapore Management University, Bin Luo Nanjing University Pre-print | ||
11:45 15mTalk | Unveiling Memorization in Code Models Research Track Zhou Yang Singapore Management University, Zhipeng Zhao Singapore Management University, Chenyu Wang Singapore Management University, Jieke Shi Singapore Management University, Dongsun Kim Kyungpook National University, DongGyun Han Royal Holloway, University of London, David Lo Singapore Management University | ||
12:00 15mTalk | Code Search is All You Need? Improving Code Suggestions with Code Search Research Track Junkai Chen Zhejiang University, Xing Hu Zhejiang University, Zhenhao Li Concordia University, Cuiyun Gao Harbin Institute of Technology, Xin Xia Huawei Technologies, David Lo Singapore Management University | ||
12:15 7mTalk | Expert Monitoring: Human-Centered Concept Drift Detection in Machine Learning Operations New Ideas and Emerging Results Joran Leest Vrije Universiteit Amsterdam, Claudia Raibulet Vrije Universiteit Amsterdam, Ilias Gerostathopoulos Vrije Universiteit Amsterdam, Patricia Lago Vrije Universiteit Amsterdam Pre-print |
11:00 - 12:30 | Program Repair 1Research Track / Journal-first Papers / Industry Challenge Track at Pequeno Auditório Chair(s): Sergey Mechtaev University College London | ||
11:00 15mTalk | Domain Knowledge Matters: Improving Prompts with Fix Templates for Repairing Python Type Errors Research Track Yun Peng The Chinese University of Hong Kong, Shuzheng Gao The Chinese University of Hong Kong, Cuiyun Gao Harbin Institute of Technology, Yintong Huo The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong | ||
11:15 15mTalk | VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks Research Track Jianan Ma Hangzhou Dianzi University, China; Zhejiang University, Hangzhou, China, Pengfei Yang Institute of Software at Chinese Academy of Sciences, China, Jingyi Wang Zhejiang University, Youcheng Sun The University of Manchester, Cheng-Chao Huang Nanjing Institute of Software Technology, ISCAS, Zhen Wang Hangzhou Dianzi University, China | ||
11:30 15mTalk | Automated Program Repair, What Is It Good For? Not Absolutely Nothing! Research Track Hadeel Eladawy University of Massachusetts, Claire Le Goues Carnegie Mellon University, Yuriy Brun University of Massachusetts DOI Pre-print Media Attached | ||
11:45 15mTalk | When Large Language Models Confront Repository-Level Automatic Program Repair: How Well They Done? Industry Challenge Track YuXiao Chen Institute of Software, Chinese Academy of Sciences, Jingzheng Wu Institute of Software, The Chinese Academy of Sciences, Xiang Ling Institute of Software, Chinese Academy of Sciences, Changjiang Li Penn State, ZHIQING RUI Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences, Tianyue Luo Institute of Software, Chinese Academy of Sciences, Yanjun Wu Institute of Software, Chinese Academy of Sciences | ||
12:00 7mTalk | Katana: Dual Slicing Based Context for Learning Bug Fixes Journal-first Papers Mifta Sintaha University of British Columbia, Noor Nashid University of British Columbia, Ali Mesbah University of British Columbia (UBC) Link to publication Pre-print | ||
12:07 7mTalk | Poracle: Testing Patches Under Preservation Conditions to Combat the Overfitting Problem of Program Repair Journal-first Papers Elkhan Ismayilzada UNIST, Md Mazba Ur Rahman UNIST, Dongsun Kim Kyungpook National University, Jooyong Yi UNIST | ||
12:14 7mTalk | APR4Vul: An empirical study of automatic program repair techniques on real-world Java vulnerabilities Journal-first Papers Quang-Cuong Bui Hamburg University of Technology, Ranindya Paramitha University of Trento, Duc-Ly Vu University of Information Technology, Ho Chi Minh City, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam, Riccardo Scandariato Hamburg University of Technology DOI Pre-print |
14:00 - 15:30 | Security 1Research Track / Journal-first Papers at Grande Auditório Chair(s): Letizia Jaccheri Norwegian University of Science and Technology (NTNU) | ||
14:00 15mTalk | Marco: A Stochastic Asynchronous Concolic Explorer Research Track Jie Hu University of California Riverside, Yue Duan Singapore Management University, Heng Yin UC Riverside Pre-print | ||
14:15 15mTalk | Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners? Research Track Stefanos Chaliasos Imperial College London, Marcos Antonios Charalambous Imperial College London, Liyi Zhou Imperial College London, Rafaila Galanopoulou University of Athens, Arthur Gervais Imperial College London, Dimitris Mitropoulos University of Athens, Ben Livshits Imperial College London | ||
14:30 15mTalk | DocFlow: Extracting Taint Specifications from Software Documentation Research Track Marcos Tileria Royal Holloway, University of London, Jorge Blasco Universidad Politécnica de Madrid, Santanu Dash University of Surrey | ||
14:45 15mTalk | Toward Improved Deep Learning-based Vulnerability Detection Research Track Adriana Sejfia University of Edinburgh, Satyaki Das University of Southern California, Saad Shafiq University of Southern California, Nenad Medvidović University of Southern California Pre-print | ||
15:00 15mTalk | Attention! Your Copied Data is Under Monitoring: A Systematic Study of Clipboard Usage in Android Apps Research Track Yongliang Chen City University of Hong Kong, Ruoqin Tang City University of Hong Kong, Chaoshun Zuo Ohio State University, Xiaokuan Zhang George Mason University, Lei Xue Sun Yat-Sen University, Xiapu Luo The Hong Kong Polytechnic University, Qingchuan Zhao City University of Hong Kong | ||
15:15 7mTalk | Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study Journal-first Papers Monika di Angelo TU Wien, Thomas Durieux TU Delft, João F. Ferreira INESC-ID and IST, University of Lisbon, Gernot Salzer TU Wien Link to publication DOI Pre-print File Attached |
14:00 - 15:30 | Evolution 1Research Track / Journal-first Papers / Demonstrations / Industry Challenge Track at Amália Rodrigues Chair(s): Jonathan Sillito Brigham Young University | ||
14:00 15mTalk | Large Language Models are Few-Shot Summarizers: Multi-Intent Comment Generation via In-Context Learning Research Track Mingyang Geng National University of Defense Technology, Shangwen Wang National University of Defense Technology, Dezun Dong NUDT, Haotian Wang National University of Defense Technolog, Ge Li Peking University, Zhi Jin Peking University, Xiaoguang Mao National University of Defense Technology, Liao Xiangke National University of Defense Technology DOI Pre-print | ||
14:15 15mTalk | Block-based Programming for Two-Armed Robots: A Comparative Study Research Track Felipe Fronchetti Virginia Commonwealth University, Nico Ritschel University of British Columbia, Logan Schorr Virginia Commonwealth University, Chandler Barfield Virginia Commonwealth University, Gabriella Chang Virginia Commonwealth University, Rodrigo Spinola Virginia Commonwealth University, Reid Holmes University of British Columbia, David C. Shepherd Louisiana State University DOI Pre-print Media Attached | ||
14:30 15mTalk | Exploiting Library Vulnerability via Migration Based Automating Test Generation Research Track Zirui Chen , Xing Hu Zhejiang University, Xin Xia Huawei Technologies, Yi Gao Zhejiang University, Tongtong Xu Huawei, David Lo Singapore Management University, Xiaohu Yang Zhejiang University | ||
14:45 15mTalk | ReposVul: A Repository-Level High-Quality Vulnerability Dataset Industry Challenge Track Xinchen Wang Harbin Institute of Technology, Ruida Hu Harbin Institute of Technology, Shenzhen, Cuiyun Gao Harbin Institute of Technology, Xin-Cheng Wen Harbin Institute of Technology, Yujia Chen Harbin Institute of Technology, Shenzhen, Qing Liao Harbin Institute of Technology Pre-print File Attached | ||
15:00 7mTalk | JOG: Java JIT Peephole Optimizations and Tests from Patterns Demonstrations Zhiqiang Zang The University of Texas at Austin, Aditya Thimmaiah The University of Texas at Austin, Milos Gligoric The University of Texas at Austin DOI Pre-print | ||
15:07 7mTalk | Predicting the Change Impact of Resolving Defects by Leveraging the Topics of Issue Reports in Open Source Software Systems Journal-first Papers Maram Assi Queen's University, Safwat Hassan University of Toronto, Canada, Stefanos Georgiou Queen's University, Ying Zou Queen's University, Kingston, Ontario | ||
15:14 7mTalk | Assessing the Exposure of Software Changes Journal-first Papers Mehran Meidani University of Waterloo, Maxime Lamothe Polytechnique Montreal, Shane McIntosh University of Waterloo Link to publication Pre-print | ||
15:21 7mTalk | Responding to change over time: A longitudinal case study on changes in coordination mechanisms in large‑scale agile Journal-first Papers Marthe Berntzen University of Oslo, Viktoria Stray University of Oslo, Nils Brede Moe , Rashina Hoda Monash University |
14:00 - 15:30 | Testing 2Research Track / Software Engineering Education and Training / Software Engineering in Practice / Demonstrations / Journal-first Papers at Eugénio de Andrade Chair(s): Jonathan Bell Northeastern University | ||
14:00 15mTalk | Ripples of a Mutation — An Empirical Study of Propagation Effects in Mutation Testing Research Track Hang Du University of California at Irvine, Vijay Krishna Palepu Microsoft, James Jones University of California at Irvine DOI | ||
14:15 15mTalk | Fast Deterministic Black-box Context-free Grammar Inference 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 15mTalk | Bridging Theory to Practice in Software Testing Teaching through Team-based Learning (TBL) and Open Source Software (OSS) Contribution Software Engineering Education and Training | ||
14:45 15mTalk | Productive Coverage: Improving the Actionability of Code Coverage 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 15mTalk | Taming Timeout Flakiness: An Empirical Study of SAP HANA Software Engineering in Practice Pre-print | ||
15:15 7mTalk | Testing Abstractions for Cyber-Physical Control Systems 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 7mTalk | FaultFuzz: A Coverage Guided Fault Injection Tool for Distributed Systems 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 |
14:00 - 15:30 | Analysis and Debugging 1Research Track / Journal-first Papers at Fernando Pessoa Chair(s): Kihong Heo KAIST | ||
14:00 15mTalk | CrashTranslator: Automatically Reproducing Mobile Application Crashes Directly from Stack Trace 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 15mTalk | Reorder Pointer Flow in Sound Concurrency Bug Prediction 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 15mTalk | Object Graph Programming 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 15mPaper | Semantic Analysis of Macro Usage for Portability Research Track Link to publication DOI Pre-print Media Attached File Attached | ||
15:00 7mTalk | PREVENT: An Unsupervised Approach to Predict Software Failures in Production 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 7mTalk | On the Effectiveness of Log Representation for Log-based Anomaly Detection Journal-first Papers Xingfang Wu Polytechnique Montréal, Heng Li Polytechnique Montréal, Foutse Khomh École Polytechnique de Montréal | ||
15:14 7mTalk | On the Caching Schemes to Speed Up Program Reduction 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 7mTalk | DeLag: Using Multi-Objective Optimization to Enhance the Detection of Latency Degradation Patterns in Service-based Systems 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 |
14:00 - 15:30 | Human and Social 2Research Track / Software Engineering Education and Training / Software Engineering in Society / Demonstrations at Glicínia Quartin Chair(s): Ayushi Rastogi University of Groningen, The Netherlands | ||
14:00 15mTalk | Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation Experiment Research Track Hammad Ahmad University of Michigan, Madeline Endres University of Michgain, Kaia Newman Carnegie Mellon University, Priscila Santiesteban University of Michigan, Emma Shedden University of Michigan, Westley Weimer University of Michigan | ||
14:15 15mTalk | Training App Developers in a Software Studio: The Business Nano Challenge Experience Software Engineering Education and Training Tania Mara Dors Pontifícia Universidade Católica do Paraná, Ana Paula Schran de Almeida Pontifícia Universidade Católica do Paraná, Lohine Mussi Pontifícia Universidade Católica do Paraná, Fabio Vinicius Binder Pontifícia Universidade Católica do Paraná, Sheila Reinehr Pontifícia Universidade Católica do Paraná (PUCPR), Andreia Malucelli Pontifícia Universidade Católica do Paraná | ||
14:30 15mTalk | Breaking Barriers: Investigating the Sense of Belonging Among Women and Non-Binary Students in Software Engineering Software Engineering Education and Training Lina Boman University of Gothenburg, Jonatan Andersson University of Gothenburg, Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg | ||
14:45 15mTalk | Micro-inequities and immigration backgrounds in the software industry Software Engineering in Society | ||
15:00 15mTalk | Alexa, is the skill always safe? Uncover Lenient Skill Vetting Process and Protect User Privacy at Run Time Software Engineering in Society Tu Le University of California, Irvine, Dongfang Zhao Indiana University Bloomington, Zihao Wang Indiana University Bloomington, XiaoFeng Wang Indiana University Bloomington, Yuan Tian Media Attached | ||
15:15 7mTalk | CodeGRITS: A Research Toolkit for Developer Behavior and Eye Tracking in IDE Demonstrations Ningzhi Tang University of Notre Dame, Junwen An , Meng Chen , Aakash Bansal University of Notre Dame, Yu Huang Vanderbilt University, Collin McMillan University of Notre Dame, Toby Jia-Jun Li University of Notre Dame |
14:00 - 15:30 | LLM, NN and other AI technologies 1Journal-first Papers / Research Track / New Ideas and Emerging Results at Luis de Freitas Branco Chair(s): Shin Yoo Korea Advanced Institute of Science and Technology | ||
14:00 15mTalk | EGFE: End-to-end Grouping of Fragmented Elements in UI Designs with Multimodal Learning Research Track Liuqing Chen Zhejiang University, Yunnong Chen Zhejiang University, Shuhong Xiao , Yaxuan Song Zhejiang University, Lingyun Sun Zhejiang University, Yankun Zhen Alibaba Group, Tingting Zhou Alibaba Group, Yanfang Chang Alibaba Group Link to publication Pre-print Media Attached File Attached | ||
14:15 15mTalk | A Comprehensive Study of Learning-based Android Malware Detectors under Challenging Environments Research Track Gao Cuiying Huazhong University of Science and Technology, Gaozhun Huang Huazhong University of Science and Technology, Heng Li Huazhong University of Science and Technology, Bang Wu Huazhong University of Science and Technology, Yueming Wu Nanyang Technological University, Wei Yuan Huazhong University of Science and Technology | ||
14:30 15mTalk | Toward Automatically Completing GitHub Workflows Research Track Antonio Mastropaolo Università della Svizzera italiana, Fiorella Zampetti University of Sannio, Italy, Gabriele Bavota Software Institute @ Università della Svizzera Italiana, Massimiliano Di Penta University of Sannio, Italy Pre-print | ||
14:45 15mTalk | UniLog: Automatic Logging via LLM and In-Context Learning Research Track Junjielong Xu The Chinese University of Hong Kong, Shenzhen, Ziang Cui Southeast University, Yuan Zhao Peking University, Xu Zhang Microsoft Research, Shilin He Microsoft Research, Pinjia He Chinese University of Hong Kong, Shenzhen, Liqun Li Microsoft Research, Yu Kang Microsoft Research, Qingwei Lin Microsoft, Yingnong Dang Microsoft Azure, Saravan Rajmohan Microsoft 365, Dongmei Zhang Microsoft Research | ||
15:00 7mTalk | Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules Journal-first Papers Steve Kommrusch Leela AI, Martin Monperrus KTH Royal Institute of Technology, Louis-Noël Pouchet Colorado State University | ||
15:07 7mTalk | NLP-based Automated Compliance Checking of Data Processing Agreements against GDPR Journal-first Papers Orlando Amaral University of Luxembourg, Muhammad Ilyas Azeem University of Luxembourg, Sallam Abualhaija University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland | ||
15:14 7mTalk | Exploring ChatGPT for Toxicity Detection in GitHub New Ideas and Emerging Results |
14:00 - 15:30 | Dependability and Formal methods 1Software Engineering in Practice / Demonstrations / Research Track at Maria Helena Vieira da Silva Chair(s): Domenico Bianculli University of Luxembourg | ||
14:00 15mTalk | REDriver: Runtime Enforcement for Autonomous Vehicles Research Track Yang Sun Singapore Management University, Chris Poskitt Singapore Management University, Xiaodong Zhang , Jun Sun Singapore Management University Pre-print | ||
14:15 15mTalk | Scalable Relational Analysis via Relational Bound Propagation Research Track DOI Pre-print | ||
14:30 15mTalk | Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications Research Track Ariel Gorenstein Tel Aviv University, Shahar Maoz Tel Aviv University, Jan Oliver Ringert Bauhaus-University Weimar | ||
14:45 15mTalk | On the Difficulty of Identifying Incident-Inducing Changes Software Engineering in Practice Eileen Kapel ING & Delft University of Technology, Luís Cruz Delft University of Technology, Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology, Arie van Deursen Delft University of Technology | ||
15:00 15mTalk | Autonomous Monitors for Detecting Failures Early and Reporting Interpretable Alerts in Cloud Operations Software Engineering in Practice Adha Hrusto Lund University, Sweden, Per Runeson Lund University, Magnus C Ohlsson System Verification | ||
15:15 7mTalk | nvshare: Practical GPU Sharing without Memory Size Constraints Demonstrations Pre-print | ||
15:22 7mTalk | Daedalux: An Extensible Platform for Variability-Aware Model Checking Demonstrations Sami Lazreg Visteon Electronics and Universite Cote d Azur, Maxime Cordy University of Luxembourg, Luxembourg, Simon Thrane Hansen SnT, University of Luxembourg, Axel Legay Université Catholique de Louvain, Belgium |
14:00 - 15:30 | Program Repair 2Journal-first Papers / Research Track / Software Engineering in Practice at Pequeno Auditório Chair(s): Xiang Gao Beihang University | ||
14:00 15mTalk | Practical Program Repair via Preference-based Ensemble Strategy Research Track Wenkang Zhong State Key Laboratory for Novel Software and Technology, Nanjing University, 22 Hankou Road, Nanjing, China, Chuanyi Li Nanjing University, Kui Liu Huawei, Tongtong Xu Huawei, Jidong Ge Nanjing University, Tegawendé F. Bissyandé University of Luxembourg, Bin Luo Nanjing University, Vincent Ng Human Language Technology Research Institute, University of Texas at Dallas, Richardson, TX 75083-0688 | ||
14:15 15mTalk | Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data Research Track Martin Tappler TU Graz; Silicon Austria Labs, Andrea Pferscher Institute of Software Technology, Graz University of Technology , Bernhard Aichernig Graz University of Technology, Bettina Könighofer Graz University of Technology | ||
14:30 15mTalk | BinAug: Enhancing Binary Similarity Analysis with Low-Cost Input Repairing Research Track WONG Wai Kin Hong Kong University of Science and Technology, Huaijin Wang Hong Kong University of Science and Technology, Li Zongjie Hong Kong University of Science and Technology, Shuai Wang The Hong Kong University of Science and Technology | ||
14:45 15mTalk | Constraint Based Program Repair for Persistent Memory Bugs Research Track | ||
15:00 15mTalk | User-Centric Deployment of Automated Program Repair at Bloomberg Software Engineering in Practice David Williams University College London, James Callan UCL, Serkan Kirbas Bloomberg LP, Sergey Mechtaev University College London, Justyna Petke University College London, Thomas Prideaux-Ghee Bloomberg LP, Federica Sarro University College London | ||
15:15 7mTalk | AIBugHunter: A Practical Tool for Predicting, Classifying and Repairing Software Vulnerabilities Journal-first Papers Michael Fu Monash University, Kla Tantithamthavorn Monash University, Trung Le Monash University, Australia, Yuki Kume Monash University, Van Nguyen Monash University, Dinh Phung Monash University, Australia, John Grundy Monash University Link to publication DOI Pre-print |
14:00 - 15:30 | Analytics & AIResearch Track / Journal-first Papers at Sophia de Mello Breyner Andresen Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign | ||
14:00 15mTalk | DeepLSH: Deep Locality-Sensitive Hash Learning for Fast and Efficient Near-Duplicate Crash Report Detection Research Track Youcef REMIL INSA Lyon, INFOLOGIC, Anes Bendimerad Infologic, Romain Mathonat Infologic, Chedy raissi Ubisoft, Mehdi Kaytoue Infologic | ||
14:15 15mTalk | DivLog: Log Parsing with Prompt Enhanced In-Context Learning Research Track Junjielong Xu The Chinese University of Hong Kong, Shenzhen, Ruichun Yang The Chinese University of Hong Kong, Shenzhen, Yintong Huo The Chinese University of Hong Kong, Chengyu Zhang ETH Zurich, Pinjia He Chinese University of Hong Kong, Shenzhen | ||
14:30 15mTalk | Where is it? Tracing the Vulnerability-relevant Files from Vulnerability Reports Research Track Jiamou Sun CSIRO's Data61, Jieshan Chen CSIRO's Data61, Zhenchang Xing CSIRO's Data61, Qinghua Lu Data61, CSIRO, Xiwei (Sherry) Xu Data61, CSIRO, Liming Zhu CSIRO’s Data61 | ||
14:45 15mTalk | Demystifying and Detecting Misuses of Deep Learning APIs Research Track Moshi Wei York University, Nima Shiri Harzevili York University, Yuekai Huang Institute of Software, Chinese Academy of Sciences, Jinqiu Yang Concordia University, Junjie Wang Institute of Software, Chinese Academy of Sciences, Song Wang York University | ||
15:00 7mTalk | Toward Understanding Deep Learning Framework Bugs Journal-first Papers Junjie Chen Tianjin University, Yihua Liang College of Intelligence and Computing, Tianjin University, Qingchao Shen Tianjin University, Jiajun Jiang Tianjin University, Shuochuan Li College of Intelligence and Computing, Tianjin University | ||
15:07 7mTalk | Fair Enough: Searching for Sufficient Measures of Fairness Journal-first Papers Suvodeep Majumder North Carolina State University, Joymallya Chakraborty Amazon.com, Gina Bai North Carolina State University, Kathryn Stolee North Carolina State University, Tim Menzies North Carolina State University DOI Pre-print | ||
15:14 7mTalk | Representation Learning for Stack Overflow Posts: How Far are We? Journal-first Papers Junda He Singapore Management University, Xin Zhou Singapore Management University, Singapore, Bowen Xu North Carolina State University, Ting Zhang Singapore Management University, Kisub Kim Singapore Management University, Singapore, Zhou Yang Singapore Management University, Ferdian Thung Singapore Management University, Ivana Clairine Irsan Singapore Management University, David Lo Singapore Management University | ||
15:21 7mTalk | Journal First: Learning from Very Little Data: On the Value of Landscape Analysis for Predicting Software Project Health) Journal-first Papers DOI Pre-print |
16:00 - 17:30 | Security 2Research Track / Software Engineering in Practice / Journal-first Papers / New Ideas and Emerging Results at Grande Auditório Chair(s): Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology | ||
16:00 15mTalk | PonziGuard: Detecting Ponzi Schemes on Ethereum with Contract Runtime Behavior Graph (CRBG) Research Track Ruichao Liang Wuhan University, Jing Chen Wuhan University, Kun He Wuhan University, Yueming Wu Nanyang Technological University, Gelei Deng Nanyang Technological University, Ruiying Du Wuhan University, Cong Wu The University of Hong Kong | ||
16:15 15mTalk | FuzzSlice: Pruning False Positives in Static Analysis Warnings through Function-Level Fuzzing Research Track Aniruddhan Murali University of Waterloo, Noble Saji Mathews University of Waterloo, Canada, Mahmoud Alfadel University of Waterloo, Mei Nagappan University of Waterloo, Meng Xu University of Waterloo DOI Pre-print | ||
16:30 15mTalk | LibvDiff: Library Version Difference Guided OSS Version Identification in Binaries Research Track Chaopeng Dong University of Chinese Academy of Sciences & Institute of Information Engineering Chinese Academy of Sciences, China, Siyuan Li University of Chinese Academy of Sciences & Institute of Information Engineering Chinese Academy of Sciences, China, shouguo yang Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China, Yang Xiao Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yongpan Wang University of Chinese Academy of Sciences & Institute of Information Engineering Chinese Academy of Sciences, China, Hong Li Institute of Information Engineering at Chinese Academy of Sciences, Zhi Li Institute of Information Engineering, Chinese Academy of Sciences, China, Limin Sun Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences, | ||
16:45 15mTalk | PrivacyCAT: Privacy-Aware Code Analysis at Scale Software Engineering in Practice Ke Mao Meta, Cons Ahs Meta, Sopot Cela Meta, Dino Distefano Meta, Nick Gardner Meta, Radu Grigore Meta, Per Gustafsson Meta, Ákos Hajdu Meta, Timotej Kapus Meta, Matteo Marescotti Meta, Gabriela Cunha Sampaio Meta, Thibault Suzanne Meta | ||
17:00 7mTalk | Software in the Manufacturing Industry: Emerging Security Challenge Areas for IIoT Platforms Software Engineering in Practice Yannick Landeck fortiss GmbH, Dian Balta fortiss GmbH, Martin Wimmer Siemens AG, Christian Knierim Siemens AG DOI | ||
17:07 7mTalk | Detecting and Characterizing Propagation of Security Weaknesses in Puppet-based Infrastructure Management Journal-first Papers Link to publication DOI Pre-print | ||
17:14 7mTalk | Synthesis of Allowlists for Runtime Protection against SQLi New Ideas and Emerging Results Kostyantyn Vorobyov Oracle Labs, François Gauthier Oracle Labs, Paddy Krishnan Oracle Labs, Australia |
16:00 - 17:30 | Program binaries - evolvabilityResearch Track / Software Engineering in Practice / Demonstrations at Amália Rodrigues Chair(s): Auri Vincenzi Federal University of São Carlos | ||
16:00 15mTalk | Cross-Inlining Binary Function Similarity Detection Research Track Ang Jia Xi'an Jiaotong University, Ming Fan Xi'an Jiaotong University, Xi Xu Xi'an Jiaotong University, Wuxia Jin Xi'an Jiaotong University, Haijun Wang Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University DOI Pre-print | ||
16:15 15mTalk | BinaryAI: Binary Software Composition Analysis via Intelligent Binary Source Code Matching Research Track Ling Jiang Southern University of Science and Technology, Junwen An Southern University of Science and Technology, Huihui Huang Southern University of Science and Technology, Qiyi Tang Tencent Security Keen Lab, Sen Nie Tencent Security Keen Lab, Shi Wu Tencent Security Keen Lab, Yuqun Zhang Southern University of Science and Technology | ||
16:30 15mTalk | PPT4J: Patch Presence Test for Java Binaries Research Track Zhiyuan Pan Zhejiang University, Xing Hu Zhejiang University, Xin Xia Huawei Technologies, Xian Zhan Southern University of Science and Technology, David Lo Singapore Management University, Xiaohu Yang Zhejiang University | ||
16:45 15mTalk | Code Impact Beyond Disciplinary Boundaries: Constructing A Multidisciplinary Dependency Graph and Analyzing Cross-Boundary Impact Software Engineering in Practice Gengyi Sun University of Waterloo, Mehran Meidani University of Waterloo, Sarra Habchi Ubisoft Montréal, Mathieu Nayrolles Ubisoft Montreal, Shane McIntosh University of Waterloo Pre-print | ||
17:00 7mTalk | The Devil Is in the Command Line: Associating the Compiler Flags With the Binary and Build Metadata Software Engineering in Practice Gunnar Kudrjavets Amazon Web Services, USA, Aditya Kumar Google, Jeff Thomas Meta Platforms, Inc., Ayushi Rastogi University of Groningen, The Netherlands DOI Pre-print | ||
17:07 7mTalk | Verifying and Displaying Move Smart Contract Source Code for the Sui Blockchain Demonstrations Rijnard van Tonder Mysten Labs, Inc. |
16:00 - 17:30 | Testing: various bug types 1Research Track / Software Engineering in Practice at Eugénio de Andrade Chair(s): June Sallou Delft University of Technology | ||
16:00 15mTalk | CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation Research Track Pre-print | ||
16:15 15mTalk | Optimistic Prediction of Synchronization-Reversal Data Races Research Track Zheng Shi National University of Singapore, Umang Mathur National University of Singapore, Andreas Pavlogiannis Aarhus University | ||
16:30 15mTalk | Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation 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 15mTalk | FlakeSync: Automatically Repairing Async Flaky Tests Research Track | ||
17:00 15mTalk | Testing the Limits: Unusual Text Inputs Generation for Mobile App Crash Detection with Large Language Model 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 15mTalk | AutoConsis: Automatic GUI-driven Data Inconsistency Detection of Mobile Apps 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 |
16:00 - 17:30 | Human and Social Aspects, and Requirements 1Research Track / Software Engineering in Society / Journal-first Papers at Fernando Pessoa Chair(s): Birgit Penzenstadler Chalmers | ||
16:00 15mTalk | Co-Creation in Fully Remote Software Teams 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 15mTalk | A Large-Scale Survey on the Usability of AI Programming Assistants: Successes and Challenges Research Track Jenny T. Liang Carnegie Mellon University, Chenyang Yang Carnegie Mellon University, Brad A. Myers Carnegie Mellon University | ||
16:30 15mTalk | How to Support ML End-User Programmers through a Conversational Agent 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 15mTalk | Unveiling the Life Cycle of User Feedback: Best Practices from Software Practitioners 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 15mTalk | Challenges, Strengths, and Strategies of Software Engineers with ADHD: A Case Study Software Engineering in Society Grischa Liebel Reykjavik University, Noah Langlois ISAE-ENSMA, Kiev Gama Federal University of Pernambuco (UFPE) Pre-print | ||
17:15 7mTalk | Safety of Perception Systems for Automated Driving: A Case Study on Apollo 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 7mTalk | Exposing Algorithmic Discrimination and Its Consequences in Modern Society: Insights from a Scoping Study Software Engineering in Society Ramandeep Singh Dehal Cape Breton University, Mehak Sharma Cape Breton University, Ronnie de Souza Santos University of Calgary Pre-print |
16:00 - 17:30 | LLM, NN and other AI technologies 2Journal-first Papers / Software Engineering in Practice / New Ideas and Emerging Results / Research Track / Software Engineering in Society at Luis de Freitas Branco Chair(s): Jane Cleland-Huang University of Notre Dame | ||
16:00 15mTalk | Large Language Models for Test-Free Fault Localization Research Track Aidan Z.H. Yang Carnegie Mellon University, Claire Le Goues Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Vincent J. Hellendoorn Carnegie Mellon University | ||
16:15 15mTalk | Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection Research Track Benjamin Steenhoek Iowa State University, Hongyang Gao Dept. of Computer Science, Iowa State University, Wei Le Iowa State University Pre-print | ||
16:30 15mTalk | An Empirical Study on Compliance with Ranking Transparency in the Software Documentation of EU Online Platforms Software Engineering in Society Francesco Sovrano University of Zurich, Michaël Lognoul University of Namur (CRIDS, NADI), Alberto Bacchelli University of Zurich | ||
16:45 15mTalk | An Industry Case Study on Adoption of AI-based Programming Assistants Software Engineering in Practice Nicole Davila Universidade Federal do Rio Grande do Sul, Igor Wiese Federal University of Technology, Igor Steinmacher Northern Arizona University, Lucas Lucio Federal University of Technology - Paraná (UTFPR), André Kawamoto Federal University of Technology - Paraná (UTFPR), Gilson José Peres Favaro , Ingrid Nunes Universidade Federal do Rio Grande do Sul (UFRGS), Brazil | ||
17:00 7mTalk | Assessing LLMs for High Stakes Applications Software Engineering in Practice Shannon K. Gallagher Software Engineering Institute, Carnegie Mellon University, Jasmine Ratchford Software Engineering Institute, Carnegie Mellon University, Tyler Brooks Software Engineering Institute, Carnegie Mellon University, Bryan P. Brown Software Engineering Institute, Carnegie Mellon University, Eric Heim Software Engineering Institute, Carnegie Mellon University, William R. Nichols Software Engineering Institute, Carnegie Mellon University, Scott McMillan Software Engineering Institute, Carnegie Mellon University, Swati Rallapalli Software Engineering Institute, Carnegie Mellon University, Carol J. Smith Software Engineering Institute, Carnegie Mellon University, Nathan VanHoudnos Software Engineering Institute, Carnegie Mellon University, Nick Winski Software Engineering Institute, Carnegie Mellon University, Andrew O. Mellinger Software Engineering Institute, Carnegie Mellon University | ||
17:07 7mTalk | ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking New Ideas and Emerging Results Weilin Luo SUN YAT-SEN UNIVERSITY, Weiyuan Fang SUN YAT-SEN UNIVERSITY, Junming Qiu SUN YAT-SEN UNIVERSITY, Hai Wan School of Data and Computer Science, Sun Yat-sen University, Yanan Liu SUN YAT-SEN UNIVERSITY, Rongzhen Ye Sun Yat-Sen University | ||
17:14 7mTalk | Improving Cross-Language Code Clone Detection via Code Representation Learning and Graph Neural Networks Journal-first Papers NIKITA MEHROTRA Indraprastha Institute of Information Technology, Akash Sharma IIIT-Delhi, Anmol Jindal IIIT-Delhi, Rahul Purandare UNL, USA |
16:00 - 17:30 | |||
16:00 15mTalk | RUNNER: Responsible UNfair NEuron Repair for Enhancing Deep Neural Network Fairness Research Track Li Tianlin Nanyang Technological University, Yue Cao Nanyang Technological University, Jian Zhang Nanyang Technological University, Shiqian Zhao Nanyang Technological University, Yihao Huang East China Normal University, Aishan Liu Beihang University; Institute of Dataspace, Qing Guo IHPC and CFAR at A*STAR, Singapore, Yang Liu Nanyang Technological University | ||
16:15 15mTalk | ITER: Iterative Neural Repair for Multi-Location Patches Research Track | ||
16:30 15mTalk | Out of Context: How important is Local Context in Neural Program Repair? Research Track | ||
16:45 15mTalk | Out of Sight, Out of Mind: Better Automatic Vulnerability Repair by Broadening Input Ranges and Sources Research Track Xin Zhou Singapore Management University, Singapore, Kisub Kim Singapore Management University, Singapore, Bowen Xu North Carolina State University, DongGyun Han Royal Holloway, University of London, David Lo Singapore Management University | ||
17:00 15mTalk | Strengthening Supply Chain Security with Fine-grained Safe Patch Identification Research Track Luo Changhua The Chinese University of Hong Kong, Wei Meng Chinese University of Hong Kong, Shuai Wang The Hong Kong University of Science and Technology |
16:00 - 17:30 | Analytics 2Research Track / Journal-first Papers / Demonstrations at Sophia de Mello Breyner Andresen Chair(s): Grace Lewis Carnegie Mellon Software Engineering Institute | ||
16:00 15mTalk | LogShrink: Effective Log Compression by Leveraging Commonality and Variability of Log Data Research Track Xiaoyun Li Sun Yat-sen University, Hongyu Zhang Chongqing University, Van-Hoang Le The University of Newcastle, Pengfei Chen Sun Yat-sen University Pre-print | ||
16:15 15mTalk | Demystifying Compiler Unstable Feature Usage and Impacts in the Rust Ecosystem Research Track Chenghao Li Zhejiang University, Yifei Wu Zhejiang University, Wenbo Shen Zhejiang University, China, Zichen Zhao Zhejiang University, Rui Chang Zhejiang University, Chengwei Liu Nanyang Technological University, Yang Liu Nanyang Technological University, Kui Ren Zhejiang University DOI Pre-print Media Attached | ||
16:30 15mTalk | Resource Usage and Optimization Opportunities in Workflows of GitHub Actions Research Track Pre-print | ||
16:45 15mTalk | Revealing Hidden Threats: An Empirical Study of Library Misuse in Smart Contracts Research Track Mingyuan Huang Sun Yat-Sen University, Jiachi Chen Sun Yat-sen University, Zigui Jiang Sun Yat-sen University, Zibin Zheng Sun Yat-sen University | ||
17:00 7mTalk | A Grounded Theory of Cross-community SECOs: Feedback Diversity vs. Synchronization Journal-first Papers Armstrong Foundjem Queens University, Ellis E. Eghan University of Cape Coast, Ghana, Bram Adams Queen's University | ||
17:07 7mTalk | Studying the Characteristics of AIOps Projects on GitHub Journal-first Papers Roozbeh Aghili Polytechnique Montréal, Heng Li Polytechnique Montréal, Foutse Khomh École Polytechnique de Montréal | ||
17:14 7mTalk | A First Look at Dark Mode in Real-World Android App Journal-first Papers Suyu Ma Monash University, Chunyang Chen Technical University of Munich (TUM), Hourieh Khalajzadeh Deakin University, Australia, John Grundy Monash University Link to publication DOI Pre-print | ||
17:21 7mTalk | GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions Demonstrations Nuno Saavedra INESC-ID and IST, University of Lisbon, André Silva KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology |
18:30 - 21:00 | Welcome receptionSocial Events / ICSE Keynotes / SRC - ACM Student Research Competition at Open Space | ||
18:30 2h30mSocial Event | Welcome reception Social Events |
Thu 18 AprDisplayed time zone: Lisbon change
09:00 - 10:30 | ICSE2024 Keynote 2 - Martin Rinard & SEIP Keynote: Soumith ChintalaICSE Keynotes / Social Events at Grande Auditório Chair(s): Nachiappan Nagappan Meta Platforms, Inc., Abhik Roychoudhury National University of Singapore | ||
09:00 45mKeynote | Software Engineering in a World with Generative AI ICSE Keynotes | ||
09:45 45mKeynote | AI is making us rethink everything, including software development ICSE Keynotes |
11:00 - 12:30 | Testing 3Research Track / Journal-first Papers / Software Engineering in Practice at Grande Auditório Chair(s): José Miguel Rojas The University of Sheffield | ||
11:00 15mTalk | Do Automatic Test Generation Tools Generate Flaky Tests? Research Track Martin Gruber BMW Group, University of Passau, Muhammad Firhard Roslan University of Sheffield, Owain Parry The University of Sheffield, Fabian Scharnböck University of Passau, Phil McMinn University of Sheffield, Gordon Fraser University of Passau Pre-print | ||
11:15 15mTalk | Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory Research Track Xindi Zhang Institute of Software Chinese Academy of Science, Bohan Li Institute of Software Chinese Academy of Science, Shaowei Cai Institute of Software at Chinese Academy of Sciences | ||
11:30 15mTalk | Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts Research Track Shuo Yang Sun Yat-sen University, Jiachi Chen Sun Yat-sen University, Mingyuan Huang Sun Yat-Sen University, Zibin Zheng Sun Yat-sen University, Yuan Huang School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China | ||
11:45 15mTalk | Practical Non-Intrusive GUI Exploration Testing with Visual-based Robotic Arms Research Track Shengcheng Yu Nanjing University, Chunrong Fang Nanjing University, Mingzhe Du Nanjing University, Yuchen Ling Nanjing University, Zhenyu Chen Nanjing University, Zhendong Su ETH Zurich | ||
12:00 15mTalk | Dynamic Inference of Likely Symbolic Tensor Shapes in Python Machine Learning Programs Software Engineering in Practice Pre-print | ||
12:15 7mTalk | Mutation Analysis for Evaluating Code Translation Journal-first Papers Giovani Guizzo Brick Abode, Jie M. Zhang King's College London, Federica Sarro University College London, Mark Harman Meta Platforms, Inc. and UCL, Christoph Treude Singapore Management University | ||
12:22 7mTalk | Generalized Coverage Criteria for Combinatorial Sequence Testing Journal-first Papers Achiya Elyasaf Ben-Gurion University of the Negev, Eitan Farchi IBM Haifa Research Lab, Oded Margalit Ben-Gurion University of the Negev, Gera Weiss Ben-Gurion University of the Negev, Yeshayahu Weiss Ben-Gurion University of the Negev Link to publication DOI |
11:00 - 12:30 | Evolution 2Research Track / Journal-first Papers / Software Engineering Education and Training at Amália Rodrigues Chair(s): Massimiliano Di Penta University of Sannio, Italy | ||
11:00 15mTalk | On Using GUI Interaction Data to Improve Text Retrieval-based Bug Localization Research Track Junayed Mahmud George Mason University, Nadeeshan De Silva William & Mary, Safwat Ali Khan George Mason University, Seyed Hooman Mostafavi George Mason University, S M Hasan Mansur George Mason University, Oscar Chaparro William & Mary, Andrian (Andi) Marcus The University of Texas at Dallas, Kevin Moran University of Central Florida | ||
11:15 15mTalk | DEMISTIFY: Identifying On-device Machine Learning Models Stealing and Reuse Vulnerabilities in Mobile Apps Research Track Pengcheng Ren Shandong University, Chaoshun Zuo Ohio State University, Xiaofeng Liu Shandong University, Wenrui Diao Shandong University, Qingchuan Zhao City University of Hong Kong, Shanqing Guo Shandong University | ||
11:30 15mTalk | How do Developers Talk about GitHub Actions? Evidence from Online Software Development Community Research Track Yang Zhang National University of Defense Technology, China, Yiwen Wu National University of Defense Technology, Tingting Chen College of Computer, National University of Defense Technology, Tao Wang National University of Defense Technology, Hui Liu Beijing Institute of Technology, Huaimin Wang | ||
11:45 15mPaper | Design principles for generating and presenting automated formative feedback on code quality using software metrics Software Engineering Education and Training Eddy van den Aker Zuyd University of Applied Science, Ebrahim Rahimi Open University, the Netherlands | ||
12:00 7mTalk | Automatic Specialization of Third-Party Java Dependencies Journal-first Papers César Soto-Valero KTH, Deepika Tiwari KTH Royal Institute of Technology, Tim Toady Programming Republic of Perl, Benoit Baudry KTH | ||
12:07 7mTalk | Discovering Reusable Functional Features in Legacy Object-Oriented Systems Journal-first Papers Hafedh Mili Université du Québec à Montréal, Imen Benzarti École de technologie supérieure, Amel Elkharraz Collège de Bois-de-Boulogne, Ghizlane El Boussaidi École de Technologie Supérieure, Yann-Gaël Guéhéneuc Concordia University and Polytechnique Montréal, Petko Valchev Université du Québec à Montréal |
11:00 - 12:30 | Fuzzing 1Software Engineering in Practice / Journal-first Papers / Research Track at Fernando Pessoa Chair(s): Marcel Böhme MPI-SP, Bochum | ||
11:00 15mTalk | Crossover in Parametric Fuzzing Research Track Pre-print Media Attached | ||
11:15 15mTalk | SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions 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 15mTalk | EDEFuzz: A Web API Fuzzer for Excessive Data Exposures 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 15mTalk | ECFuzz: Effective Configuration Fuzzing for Large-Scale Systems 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 15mTalk | Mind the Gap: What Working With Developers on Fuzz Tests Taught Us About Coverage Gaps 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 7mTalk | CLFuzz: Vulnerability Detection of Cryptographic Algorithm Implementation via Semantic-Aware Fuzzing 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 7mTalk | FormatFuzzer: Effective Fuzzing of Binary File Formats Journal-first Papers Rafael Dutra CISPA Helmholtz Center for Information Security, Rahul Gopinath University of Sydney, Andreas Zeller CISPA Helmholtz Center for Information Security |
11:00 - 12:30 | Analysis and Debugging 2New Ideas and Emerging Results / Research Track at Luis de Freitas Branco Chair(s): Pedro Diniz | ||
11:00 15mTalk | Trace-based Multi-Dimensional Root Cause Localization of Performance Issues in Microservice Systems Research Track Chenxi Zhang Fudan University, Zhen Dong Fudan University, China, Xin Peng Fudan University, Bicheng Zhang Fudan University, Miao Chen Fudan University | ||
11:15 15mTalk | ReClues: Representing and indexing failures in parallel debugging with program variables Research Track Yi Song School of Computer Science, Wuhan University, Xihao Zhang School of Computer Science, Wuhan University, Xiaoyuan Xie School of Computer Science, Wuhan University, China, Quanming Liu School of Computer Science, Wuhan University, Ruizhi Gao Sonos Inc., Chenliang Xing School of Computer Science, Wuhan University | ||
11:30 15mTalk | PyAnalyzer: An Effective and Practical Approach for Dependency Extraction from Python Code Research Track Wuxia Jin Xi'an Jiaotong University, Shuo Xu Xi'an jiaotong university, Dawei Chen Xi'an Jiaotong University, Jiajun He Xi'an jiaotong university, Dinghong Zhong Xi'an jiaotong university, Ming Fan Xi'an Jiaotong University, Hongxu Chen Huawei Technologies Co., Ltd., Huijia Zhang Huawei Technologies Co Ltd, Ting Liu Xi'an Jiaotong University Media Attached | ||
11:45 15mTalk | Detecting Automatic Software Plagiarism via Token Sequence Normalization Research Track Timur Sağlam Karlsruhe Institute of Technology (KIT), Moritz Brödel Karlsruhe Institute of Technology (KIT), Larissa Schmid Karlsruhe Institute of Technology, Sebastian Hahner Karlsruhe Institute of Technology (KIT) DOI Pre-print | ||
12:00 15mTalk | NuzzleBug: Debugging Block-Based Programs in Scratch Research Track Pre-print | ||
12:15 7mTalk | Locating Buggy Segments in Quantum Program Debugging New Ideas and Emerging Results | ||
12:22 7mTalk | Beyond a Joke: Dead Code Elimination Can Delete Live Code New Ideas and Emerging Results Haoxin Tu Singapore Management University, Singapore, Lingxiao Jiang Singapore Management University, Debin Gao Singapore Management University, He Jiang Dalian University of Technology |
11:00 - 12:30 | Language Models and Generated Code 2Demonstrations / Research Track at Maria Helena Vieira da Silva Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign | ||
11:00 15mTalk | Exploring the Potential of ChatGPT in Automated Code Refinement: An Empirical Study Research Track Qi Guo Tianjin University, China, Junming Cao Fudan University, Xiaofei Xie Singapore Management University, Shangqing Liu Nanyang Technological University, Xiaohong Li Tianjin University, Bihuan Chen Fudan University, Xin Peng Fudan University | ||
11:15 15mTalk | Deep Learning or Classical Machine Learning? An Empirical Study on Log-Based Anomaly Detection Research Track BoXi Yu The Chinese University of Hong Kong, Shenzhen, Jiayi Yao The Chinese University of Hong Kong, Shenzhen, Qiuai Fu Huawei Cloud Computing Technologies CO., LTD., Zhiqing Zhong Chinese University of Hong Kong, Shenzhen, Haotian Xie The Chinese University of Hong Kong, Shenzhen, Yaoliang Wu Huawei Cloud Computing Technologies Co., Ltd., Yuchi Ma Huawei Cloud Computing Technologies CO., LTD., Pinjia He Chinese University of Hong Kong, Shenzhen | ||
11:30 15mTalk | TRACED: Execution-aware Pre-training for Source Code Research Track Yangruibo Ding Columbia University, Benjamin Steenhoek Iowa State University, Kexin Pei The University of Chicago, Gail Kaiser Columbia University, Wei Le Iowa State University, Baishakhi Ray AWS AI Labs | ||
11:45 15mTalk | On Extracting Specialized Code Abilities from Large Language Models: A Feasibility Study Research Track Li Zongjie Hong Kong University of Science and Technology, Chaozheng Wang The Chinese University of Hong Kong, Pingchuan Ma HKUST, Chaowei Liu National University of Singapore, Shuai Wang The Hong Kong University of Science and Technology, Daoyuan Wu Nanyang Technological University, Cuiyun Gao Harbin Institute of Technology, Yang Liu Nanyang Technological University | ||
12:00 15mTalk | When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference Research Track Zhensu Sun Singapore Management University, Xiaoning Du Monash University, Australia, Fu Song State Key Laboratory of Computer Science and Institute of Software, Chinese Academy of Sciences., Shangwen Wang National University of Defense Technology, Li Li Beihang University Pre-print | ||
12:15 7mTalk | TestSpark: IntelliJ IDEA’s Ultimate Test Generation Companion Demonstrations Arkadii Sapozhnikov JetBrains Research, Mitchell Olsthoorn Delft University of Technology, Annibale Panichella Delft University of Technology, Vladimir Kovalenko JetBrains Research, Pouria Derakhshanfar JetBrains Research |
11:00 - 12:30 | LLM, NN and other AI technologies 3New Ideas and Emerging Results / Research Track / Software Engineering Education and Training / Software Engineering in Practice at Pequeno Auditório Chair(s): Tushar Sharma Dalhousie University | ||
11:00 15mTalk | Xpert: Empowering Incident Management with Query Recommendations via Large Language Models Research Track Yuxuan Jiang University of Michigan Ann-Arbor, Chaoyun Zhang Microsoft, Shilin He Microsoft Research, Zhihao Yang Peking University, Minghua Ma Microsoft Research, Si Qin Microsoft Research, Yu Kang Microsoft Research, Yingnong Dang Microsoft Azure, Saravan Rajmohan Microsoft 365, Qingwei Lin Microsoft, Dongmei Zhang Microsoft Research | ||
11:15 15mTalk | Tensor-Aware Energy Accounting Research Track DOI Pre-print | ||
11:30 15mTalk | LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems Software Engineering in Practice Mohamad Fakih University of California, Irvine, Rahul Dharmaji University of California, Irvine, Yasamin Moghaddas University of California, Irvine, Gustavo Quiros Siemens Technology, Tosin Ogundare Siemens Technology, Mohammad Al Faruque UCI | ||
11:45 15mTalk | Resolving Code Review Comments with Machine Learning Software Engineering in Practice Alexander Frömmgen Google, Jacob Austin Google, Peter Choy Google, Nimesh Ghelani Google, Lera Kharatyan Google, Gabriela Surita Google, Elena Khrapko Google, Pascal Lamblin Google, Pierre-Antoine Manzagol Google, Marcus Revaj Google, Maxim Tabachnyk Google, Danny Tarlow Google, Kevin Villela Google, Dan Zheng Google DeepMind, Satish Chandra Google, Inc, Petros Maniatis Google DeepMind | ||
12:00 15mTalk | LLMs Still Can't Avoid Instanceof: An investigation Into GPT-3.5, GPT-4 and Bard's Capacity to Handle Object-Oriented Programming Assignments Software Engineering Education and Training | ||
12:15 7mTalk | Leveraging Large Language Models to Improve REST API Testing New Ideas and Emerging Results Myeongsoo Kim Georgia Institute of Technology, Tyler Stennett Georgia Institute of Technology, Dhruv Shah Georgia Institute of Technology, Saurabh Sinha IBM Research, Alessandro Orso Georgia Institute of Technology Pre-print | ||
12:22 7mTalk | LogExpert: Log-based Recommended Resolutions Generation using Large Language Model New Ideas and Emerging Results JiaboWang Beijing University of Posts and Telecommunications, guojun chu Beijing University of Posts and Telecommunications, Jingyu Wang , Haifeng Sun Beijing University of Posts and Telecommunications, Qi Qi , Yuanyi Wang Beijing University of Posts and Telecommunications, Ji Qi China Mobile (Suzhou) Software Technology Co., Ltd., Jianxin Liao Beijing University of Posts and Telecommunications |
11:00 - 12:30 | AI & Security 2Research Track / New Ideas and Emerging Results at Sophia de Mello Breyner Andresen Chair(s): Gabriele Bavota Software Institute @ Università della Svizzera Italiana | ||
11:00 15mTalk | Towards Causal Deep Learning for Vulnerability Detection Research Track Md Mahbubur Rahman Iowa State University, Ira Ceka Columbia University, Chengzhi Mao Columbia University, Saikat Chakraborty Microsoft Research, Baishakhi Ray AWS AI Labs, Wei Le Iowa State University | ||
11:15 15mTalk | MetaLog: Generalizable Cross-System Anomaly Detection from Logs with Meta-Learning Research Track Chenyangguang Zhang Tsinghua University, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Guopeng Shen Linkedsee Technology (China) Limited, Pinyan Zhu Linkedsee Technology (China) Limited, Ying Li School of Software and Microelectronics, Peking University, Beijing, China | ||
11:30 15mTalk | Coca: Improving and Explaining Graph Neural Network-Based Vulnerability Detection Systems Research Track Sicong Cao Yangzhou University, Xiaobing Sun Yangzhou University, Xiaoxue Wu Yangzhou University, David Lo Singapore Management University, Lili Bo Yangzhou University, Bin Li Yangzhou University, Wei Liu Nanjing University Media Attached File Attached | ||
11:45 15mTalk | Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection Research Track Yizhou Chen Peking University, Zeyu Sun Institute of Software, Chinese Academy of Sciences, Zhihao Gong Peking University, Dan Hao Peking University | ||
12:00 15mTalk | On the Effectiveness of Function-Level Vulnerability Detectors for Inter-Procedural Vulnerabilities Research Track Zhen Li Huazhong University of Science and Technology, Ning Wang Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology, Yating Li Huazhong University of Science and Technology, Ruqian Zhang Huazhong University of Science and Technology, Shouhuai Xu University of Colorado Colorado Springs, Chao Zhang Tsinghua University, Hai Jin Huazhong University of Science and Technology Pre-print | ||
12:15 7mTalk | Large Language Model for Vulnerability Detection: Emerging Results and Future Directions New Ideas and Emerging Results Xin Zhou Singapore Management University, Singapore, Ting Zhang Singapore Management University, David Lo Singapore Management University | ||
12:22 7mTalk | Re(gEx|DoS)Eval: Evaluating Generated Regular Expressions and their Proneness to DoS Attacks New Ideas and Emerging Results Mohammed Latif Siddiq University of Notre Dame, Jiahao Zhang , Lindsay Roney University of Notre Dame, Joanna C. S. Santos University of Notre Dame DOI Pre-print Media Attached |
14:00 - 15:30 | Human and Social 5Software Engineering in Society / Journal-first Papers / New Ideas and Emerging Results / Software Engineering Education and Training / Research Track at Almada Negreiros Chair(s): Alexander Serebrenik Eindhoven University of Technology | ||
14:00 15mTalk | High Expectations: An Observational Study of Programming and Cannabis Intoxication Research Track Wenxin He University of Michigan, Manasvi Parikh University of Michigan, Westley Weimer University of Michigan, Madeline Endres University of Michgain DOI Pre-print | ||
14:15 15mTalk | Mining Pull Requests to Detect Process Anomalies in Open Source Software Development Research Track Bohan Liu Nanjing University, He Zhang Nanjing University, Weigang Ma Nanjing University, Hongyu Kuang Nanjing University, Yi Yang National University of Defense Technology, Jinwei Xu Nanjing University, Shan Gao Huawei, Jian Gao Huawei | ||
14:30 15mTalk | Video-based Training for Meeting Communication Skills Software Engineering Education and Training Matthias Galster University of Canterbury, Antonija Mitrovic University of Canterbury, Sanna Malinen University of Canterbury, Sreedevi Sankara Iyer University of Canterbury, Ja'afaru Musa University of Canterbury, Jay Holland University of Canterbury | ||
14:45 15mTalk | Impostor Phenomenon in Software Engineers Software Engineering in Society Paloma Guenes Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Rafael Tomaz Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Maria Teresa Baldassarre Department of Computer Science, University of Bari , Margaret-Anne Storey University of Victoria DOI Pre-print Media Attached | ||
15:00 7mTalk | An Empirical Comparison of Ethnic and Gender Diversity of DevOps and non-DevOps Contributions to Open-Source Projects Journal-first Papers Nimmi Rashinika Weeraddana University of Waterloo, Xiaoyan Xu University of Waterloo, Mahmoud Alfadel University of Waterloo, Shane McIntosh University of Waterloo, Mei Nagappan University of Waterloo Link to publication Pre-print | ||
15:07 7mTalk | Understanding Developers Well-Being and Productivity: a 2-year Longitudinal Analysis during the COVID-19 Pandemic Journal-first Papers Daniel Russo Department of Computer Science, Aalborg University, Paul Hanel University of Essex, Niels van Berkel Aalborg University DOI Pre-print | ||
15:14 7mTalk | Decomposing and Measuring Trust in Open-Source Software Supply Chains New Ideas and Emerging Results Lina Boughton The College of Wooster, Courtney Miller Carnegie Mellon University, Yasemin Acar Max Planck Institute for Security and Privacy, Dominik Wermke North Carolina State University, Christian Kästner Carnegie Mellon University |
14:00 - 15:30 | Testing 4Research Track / Journal-first Papers at Grande Auditório Chair(s): Shiva Nejati University of Ottawa | ||
14:00 15mTalk | Concrete Constraint Guided Symbolic Execution Research Track Yue Sun Institute of Information Engineering, CAS, China, Guowei Yang University of Queensland, Shichao Lv College of Cyberspace Security, Chinese Academy of Sciences, Zhi Li Institute of Information Engineering, Chinese Academy of Sciences, China, Limin Sun Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences, Pre-print | ||
14:15 15mTalk | Improving Testing Behavior by Gamifying IntelliJ Research Track DOI Pre-print | ||
14:30 15mTalk | SCTrans: Constructing a Large Public Scenario Dataset for Simulation Testing of Autonomous Driving Systems Research Track Jiarun Dai Fudan University, Bufan Gao Fudan University, Mingyuan Luo Fudan University, Zongan Huang Fudan University, Zhongrui Li Fudan University, Yuan Zhang Fudan University, Min Yang Fudan University | ||
14:45 15mTalk | Curiosity-Driven Testing for Sequential Decision-Making Process Research Track Junda He Singapore Management University, Zhou Yang Singapore Management University, Jieke Shi Singapore Management University, Chengran Yang Singapore Management University, Singapore, Kisub Kim Singapore Management University, Singapore, Bowen Xu North Carolina State University, Xin Zhou Singapore Management University, Singapore, David Lo Singapore Management University | ||
15:00 15mTalk | Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation Research Track Yuancheng Jiang National University of Singapore, Jiahao Liu National University of Singapore, Jinsheng Ba National University of Singapore, Roland H. C. Yap National University of Singapore, Singapore, Zhenkai Liang National University of Singapore, Manuel Rigger National University of Singapore DOI Pre-print | ||
15:15 7mTalk | Testing Causality in Scientific Modelling Software Journal-first Papers Andrew Graham Clark The University of Sheffield, Michael Foster The University of Sheffield, Neil Walkinshaw The University of Sheffield, Robert Hierons The University of Sheffield, Benedikt Prifling Ulm University, Volker Schmidt Ulm University, Robert D. Turner The University of Sheffield | ||
15:22 7mTalk | HybridCISave: A Combined Build and Test Selection Approach in Continuous Integration Journal-first Papers |
14:00 - 15:30 | Fuzzing 2Software Engineering in Practice / Research Track at Fernando Pessoa Chair(s): Thuan Pham The University of Melbourne | ||
14:00 15mTalk | Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers 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 15mTalk | RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support 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 15mTalk | Extrapolating Coverage Rate in Greybox Fuzzing 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 15mTalk | FuzzInMem: Fuzzing Programs via In-memory Structures 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 15mTalk | Fuzz4All: Universal Fuzzing with Large Language Models 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 15mTalk | MicroFuzz: An Efficient Fuzzing Framework for Microservices Software Engineering in Practice |
14:00 - 15:30 | Analytics 3Research Track / Journal-first Papers / Demonstrations at Maria Helena Vieira da Silva Chair(s): Sridhar Chimalakonda Indian Institute of Technology, Tirupati | ||
14:00 15mTalk | Less is More? An Empirical Study on Configuration Issues in Python PyPI Ecosystem Research Track Yun Peng The Chinese University of Hong Kong, Ruida Hu Harbin Institute of Technology, Shenzhen, Ruoke Wang Harbin Institute of Technology, Shenzhen, Cuiyun Gao Harbin Institute of Technology, Shuqing Li The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong | ||
14:15 15mTalk | Data-Driven Evidence-Based Syntactic Sugar Design Research Track David OBrien Iowa State University, Robert Dyer University of Nebraska-Lincoln, Tien N. Nguyen University of Texas at Dallas, Hridesh Rajan Iowa State University | ||
14:30 15mTalk | Revisiting Android App Categorization Research Track Marco Alecci University of Luxembourg, Jordan Samhi CISPA Helmholtz Center for Information Security, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg | ||
14:45 15mTalk | Are Your Requests Your True Needs? Checking Excessive Data Collection in VPA App Research Track Fuman Xie University of Queensland, Chuan Yan University of Queensland, Mark Huasong Meng National University of Singapore, Shaoming Teng The University of Queensland, Yanjun Zhang Deakin University, Guangdong Bai University of Queensland | ||
15:00 7mTalk | Acrobats and Safety-Nets: Problematizing Large-Scale Agile Software Development Journal-first Papers Knut Rolland University of Oslo, Brian Fitzgerald Lero - The Irish Software Research Centre and University of Limerick, Torgeir Dingsøyr Norwegian University of Science and Technology and SimulaMet, Klaas-Jan Stol Lero; University College Cork; SINTEF Digital Link to publication DOI | ||
15:07 7mTalk | Program Transformation Landscapes for Automated Program Modification Using Gin: Extended Abstract Journal-first Papers Justyna Petke University College London, Brad Alexander University of Adelaide, Earl T. Barr University College London, Alexander E.I. Brownlee University of Stirling, Markus Wagner Monash University, Australia, David R. White University of Sheffield | ||
15:14 7mTalk | Boidae: Your Personal Mining Platform Demonstrations Brian Sigurdson Bowling Green State University, Samuel W. Flint University of Nebraska-Lincoln, Robert Dyer University of Nebraska-Lincoln Pre-print Media Attached | ||
15:21 7mTalk | Code Mapper: Mapping the Global Contributions of OSS Demonstrations Thomas Le Tourneau CY Tech, Jasmine Latendresse Concordia University, Ahmad Abdellatif University of Calgary, Emad Shihab Concordia University |
14:00 - 15:30 | LLM, NN and other AI technologies 4Research Track / Industry Challenge Track / New Ideas and Emerging Results at Pequeno Auditório Chair(s): David Nader Palacio William & Mary | ||
14:00 15mTalk | Programming Assistant for Exception Handling with CodeBERT Research Track Yuchen Cai University of Texas at Dallas, Aashish Yadavally University of Texas at Dallas, Abhishek Mishra University of Texas at Dallas, Genesis Montejo University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas | ||
14:15 15mTalk | An Empirical Study on Noisy Label Learning for Program Understanding Research Track Wenhan Wang Nanyang Technological University, Yanzhou Li Nanyang Technological University, Anran Li Nanyang Technological University, Jian Zhang Nanyang Technological University, Wei Ma Nanyang Technological University, Singapore, Yang Liu Nanyang Technological University Pre-print | ||
14:30 15mTalk | An Empirical Study on Low GPU Utilization of Deep Learning Jobs Research Track Yanjie Gao Microsoft Research, yichen he , Xinze Li Microsoft Research, Bo Zhao Microsoft Research, Haoxiang Lin Microsoft Research, Yoyo Liang Microsoft, Jing Zhong Microsoft, Hongyu Zhang Chongqing University, Jingzhou Wang Microsoft Research, Yonghua Zeng Microsoft, Keli Gui Microsoft, Jie Tong Microsoft, Mao Yang Microsoft Research DOI Pre-print | ||
14:45 15mTalk | Using an LLM to Help With Code Understanding Research Track Daye Nam Carnegie Mellon University, Andrew Macvean Google, Inc., Vincent J. Hellendoorn Carnegie Mellon University, Bogdan Vasilescu Carnegie Mellon University, Brad A. Myers Carnegie Mellon University | ||
15:00 15mTalk | MissConf: LLM-Enhanced Reproduction of Configuration-Triggered Bugs Industry Challenge Track Ying Fu National University of Defense Technology, Teng Wang National University of Defense Technology, Shanshan Li National University of Defense Technology, Jinyan Ding National University of Defense Technolog, Shulin Zhou National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Wang Li National University of Defense Technology, Yu Jiang Tsinghua University, Liao Xiangke National University of Defense Technology File Attached | ||
15:15 7mTalk | XAIport: A Service Framework for the Early Adoption of XAI in AI Model Development New Ideas and Emerging Results Zerui Wang Concordia University, Yan Liu Concordia University, Abishek Arumugam Thiruselvi Concordia University, Wahab Hamou-Lhadj Concordia University, Montreal, Canada DOI Pre-print | ||
15:22 7mTalk | Which Syntactic Capabilities Are Statistically Learned by Masked Language Models for Code? New Ideas and Emerging Results Alejandro Velasco William & Mary, David Nader Palacio William & Mary, Daniel Rodriguez-Cardenas , Denys Poshyvanyk William & Mary Pre-print |
14:00 - 15:30 | Security 3Research Track / Journal-first Papers / Software Engineering in Practice at Sophia de Mello Breyner Andresen Chair(s): Akond Rahman Auburn University | ||
14:00 15mTalk | An Empirical Study on Oculus Virtual Reality Applications: Security and Privacy Perspectives Research Track Hanyang Guo Hong Kong Baptist University; Sun Yat-sen University, Hong-Ning Dai Hong Kong Baptist University, Xiapu Luo The Hong Kong Polytechnic University, Zibin Zheng Sun Yat-sen University, Gengyang Xu Department of Computer Science, Hong Kong Baptist University, Fengliang He Department of Computer Science, Hong Kong Baptist University | ||
14:15 15mTalk | Fairness Improvement with Multiple Protected Attributes: How Far Are We? Research Track Zhenpeng Chen Nanyang Technological University, Jie M. Zhang King's College London, Federica Sarro University College London, Mark Harman Meta Platforms, Inc. and UCL Pre-print | ||
14:30 15mTalk | An Empirical Study of Data Disruption by Ransomware Attacks Research Track Yiwei Hou Tsinghua University, Lihua Guo Tsinghua University, Chijin Zhou Tsinghua University, Yiwen Xu Tsinghua University, Zijing Yin Tsinghua University, Shanshan Li National University of Defense Technology, Chengnian Sun University of Waterloo, Yu Jiang Tsinghua University | ||
14:45 15mTalk | Stop Pulling my Rug: Exposing Rug Pull Risks in Crypto Token to Investors Software Engineering in Practice Yuanhang Zhou Tsinghua University, Jingxuan Sun Beijing University of Posts and Telecommunications, Fuchen Ma Tsinghua University, Yuanliang Chen Tsinghua University, Zhen Yan Tsinghua University, Yu Jiang Tsinghua University | ||
15:00 7mTalk | A Closer Look at the Security Risks in the Rust Ecosystem Journal-first Papers Xiaoye Zheng Zhejiang University, Zhiyuan Wan Zhejiang University, Yun Zhang Hangzhou City University, Rui Chang Zhejiang University, David Lo Singapore Management University | ||
15:07 7mTalk | An Empirical Study of Vulnerabilities in Edge Frameworks to Support Security Testing Improvement Journal-first Papers | ||
15:14 7mTalk | A First Look at On-device Models in iOS Apps Journal-first Papers Han Hu Faculty of Information Technology, Monash University, Yujin Huang Monash University, Qiuyuan Chen Tencent Technology, Terry Yue Zhuo Monash University and CSIRO's Data61, Chunyang Chen Technical University of Munich (TUM) |
16:00 - 17:30 | MIP Award / SIGSOFT Outstanding Award / Harlan D. MIlls AwardMost Influential Paper ICSE N-10Social Events / ICSE Keynotes / SRC - ACM Student Research Competition at Grande Auditório Chair(s): Rui Abreu Meta & University of Porto, Walid Maalej University of Hamburg, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto, Mauro Pezze USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology, Paolo Tonella USI Lugano, Andre van der Hoek University of California, Irvine Chairs:
IEEE Computer Society Harlan D. Mills AwardPrem Thomas Devanbu , Distinguished Research Professor, Computer Science, UC Davis Most influential paper ICSE N-10Coverage is not strongly correlated with test suite effectiveness (ICSE 2014) ACM SIGSOFT Outstanding Research AwardTsong Yueh Chen (Swinburne University of Technology, Australia) for contributions to software testing through the invention and development of metamorphic testing. | ||
16:00 30mAwards | IEEE Computer Society Harlan D. Mills Award Social Events | ||
16:30 30mAwards | Most influential paper ICSE N-10 Social Events | ||
17:00 30mAwards | ACM SIGSOFT Outstanding Research Award Social Events |
19:00 - 22:30 | Conference BanquetSocial Events / ICSE Keynotes / SRC - ACM Student Research Competition at LX Factory | ||
19:00 3h30mDinner | Conference Banquet Social Events |
Fri 19 AprDisplayed time zone: Lisbon change
09:00 - 10:30 | ICSE2024 Keynote 3 - Carol Smith & Award session: TCSE and SIGSOFTICSE Keynotes / Social Events at Grande Auditório Chair(s): Rui Abreu Meta & University of Porto, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto | ||
09:00 30mAwards | Award session: TCSE and SIGSOFT Social Events Ladan Tahvildari University of Waterloo, David Lo Singapore Management University, Marsha Chechik University of Toronto, Federica Sarro University College London | ||
09:30 15mTalk | Preview of ICSE2025 Social Events Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Timothy Lethbridge University of Ottawa | ||
09:45 45mKeynote | Trustworthy by Design ICSE Keynotes K: Carol J. Smith Software Engineering Institute - Carnegie Mellon University, Margaret-Anne Storey University of Victoria |
11:00 - 12:30 | Analysis 3Research Track / Demonstrations / Software Engineering Education and Training at Almada Negreiros Chair(s): Dalal Alrajeh Imperial College London | ||
11:00 15mTalk | LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems Research Track Rongxin Wu School of Informatics, Xiamen University, Yuxuan He School of Informatics, Xiamen University, Jiafeng Huang School of Informatics, Xiamen University, Chengpeng Wang The Hong Kong University of Science and Technology, Wensheng Tang The Hong Kong University of Science and Technology, Qingkai Shi Nanjing University, Xiao Xiao Ant Group, Charles Zhang The Hong Kong University of Science and Technology Pre-print | ||
11:15 15mTalk | Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming Research Track Mohan Cui Fudan University, Mohan Cui Fudan University, Shuran Sun Fudan University, Hui Xu Fudan University, Yangfan Zhou Fudan University | ||
11:30 15mTalk | Unveiling Hurdles in Software Engineering Education: The Role of Learning Management Systems Software Engineering Education and Training Niklas Meissner University of Stuttgart, Nadine Koch University of Stuttgart, Sandro Speth Institute of Software Engineering, University of Stuttgart, Uwe Breitenbücher Reutlingen University, Steffen Becker University of Stuttgart DOI File Attached | ||
11:45 15mTalk | Training for Security: Results from Using a SAT in the Development Pipeline of Web Apps Software Engineering Education and Training Sabato Nocera Department of Computer Science, University of Salerno, Simone Romano University of Salerno, Rita Francese University of Salerno, Giuseppe Scanniello University of Salerno | ||
12:00 7mTalk | Refinery: Graph Solver as a Service Demonstrations Kristóf Marussy Budapest University of Technology and Economics, Attila Ficsor Budapest University of Technology and Economics, Oszkár Semeráth Budapest University of Technology and Economics, Daniel Varro Linköping University / McGill University DOI Pre-print Media Attached | ||
12:07 7mTalk | (Neo4j)^ Browser: Visualizing Variable-Aware Analysis Results Demonstrations Rafael F. Toledo University of Waterloo, Joanne M. Atlee University of Waterloo, Rui Ming Xiong University of Waterloo, Mingyu Liu University of Waterloo DOI Media Attached |
11:00 - 12:30 | LLM, NN and other AI technologies 5Software Engineering Education and Training / Software Engineering in Practice / Research Track at Grande Auditório Chair(s): Baishakhi Ray AWS AI Labs | ||
11:00 15mTalk | Enhancing Exploratory Testing by Large Language Model and Knowledge Graph Research Track Yanqi Su Australian National University, Dianshu Liao Australian National University, Zhenchang Xing CSIRO's Data61, Qing Huang School of Computer Information Engineering, Jiangxi Normal University, Mulong Xie CSIRO's Data61, Qinghua Lu Data61, CSIRO, Xiwei (Sherry) Xu Data61, CSIRO | ||
11:15 15mTalk | LLMParser: An Exploratory Study on Using Large Language Models for Log Parsing Research Track Zeyang Ma Concordia University, An Ran Chen University of Alberta, Dong Jae Kim Concordia University, Tse-Hsun (Peter) Chen Concordia University, Shaowei Wang Department of Computer Science, University of Manitoba, Canada | ||
11:30 15mTalk | Enhancing Text-to-SQL Translation for Financial System Design Software Engineering in Practice Yewei Song University of Luxembourg, Saad Ezzini Lancaster University, Xunzhu Tang University of Luxembourg, Cedric Lothritz University of Luxembourg, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Andrey Boytsov Banque BGL BNP Paribas, Ulrick Ble Banque BGL BNP Paribas, Anne Goujon Banque BGL BNP Paribas | ||
11:45 15mTalk | Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation Software Engineering in Practice Zhehua Zhou University of Alberta, Jiayang Song University of Alberta, Xuan Xie University of Alberta, Zhan Shu University of Alberta, Lei Ma The University of Tokyo & University of Alberta, Dikai Liu NVIDIA AI Tech Centre, Jianxiong Yin NVIDIA AI Tech Centre, Simon See NVIDIA AI Tech Centre Pre-print | ||
12:00 15mTalk | Let's Ask AI About Their Programs: Exploring ChatGPT's Answers To Program Comprehension Questions Software Engineering Education and Training Pre-print Media Attached File Attached | ||
12:15 15mTalk | Experience Report: Identifying common misconceptions and errors of novice programmers with ChatGPT Software Engineering Education and Training Hua Leong Fwa Singapore Management University Media Attached |
11:00 - 12:30 | Analytics 4Demonstrations / Software Engineering in Practice / Journal-first Papers / Research Track at Amália Rodrigues Chair(s): Gabriele Bavota Software Institute @ Università della Svizzera Italiana | ||
11:00 15mResearch paper | Shedding Light on Software Engineering-specific Metaphors and Idioms Research Track Mia Mohammad Imran Virginia Commonwealth University, Preetha Chatterjee Drexel University, USA, Kostadin Damevski Virginia Commonwealth University Pre-print | ||
11:15 15mTalk | MiniMon: Minimizing Android Applications with Intelligent Monitoring-Based Debloating Research Track Jiakun Liu Singapore Management University, Zicheng Zhang School of Computing and Information Systems, Singapore Management University, Xing Hu Zhejiang University, Ferdian Thung Singapore Management University, Shahar Maoz Tel Aviv University, Debin Gao Singapore Management University, Eran Toch Tel Aviv University, Zhipeng Zhao Singapore Management University, David Lo Singapore Management University | ||
11:30 15mTalk | On the Costs and Benefits of Adopting Lifelong Learning for Software Analytics - Empirical Study on Brown Build and Risk Prediction Software Engineering in Practice Doriane Olewicki Queen's University, Sarra Habchi Ubisoft Montréal, Mathieu Nayrolles Ubisoft Montreal, Mojtaba Faramarzi Université de Montréal, Sarath Chandar Polytechnique Montréal, Bram Adams Queen's University Pre-print | ||
11:45 15mTalk | An Ethnographic Study on the CI of A Large Scale Project Software Engineering in Practice Zikuan Wang Nanjing University, Bohan Liu Nanjing University, Zeye Zhan Nanjing University, He Zhang Nanjing University, Gongyuan Li Nanjing University | ||
12:00 7mTalk | An Empirical Study of Refactoring Rhythms and Tactics in the Software Development Process Journal-first Papers Shayan Noei Queen's University, Heng Li Polytechnique Montréal, Stefanos Georgiou Queen's University, Ying Zou Queen's University, Kingston, Ontario | ||
12:07 7mTalk | Insights into Software Development Approaches: Mining Q&A Repositories [Journal-first] Journal-first Papers Arif Ali Khan University of Oulu, Javed Ali Khan University of Hertforshire Hertfordshire, UK, Muhammad Azeem Akbar LUT University, Zhou Peng Nanjing University of Aeronautics and Astronautics Nanjing, China, Mahdi Fahmideh University of Southern Queensland, Arif Ali Khan University of Oulu, Arif Ali Khan University of Oulu Link to publication DOI | ||
12:14 7mTalk | Can My Microservice Tolerate an Unreliable Database? Resilience Testing with Fault Injection and Visualization Demonstrations Michael Assad Technical University of Munich, Christopher S. Meiklejohn Carnegie Mellon University, Heather Miller Carnegie Mellon University and Two Sigma, Stephan Krusche Technical University of Munich DOI Pre-print Media Attached | ||
12:21 7mTalk | CATMA: Conformance Analysis Tool For Microservice Applications Demonstrations Clinton Cao Delft University of Technology, Simon Schneider Hamburg University of Technology, Nicolás E. Díaz Ferreyra Hamburg University of Technology, Sicco Verwer TU Delft, Annibale Panichella Delft University of Technology, Riccardo Scandariato Hamburg University of Technology Pre-print Media Attached |
11:00 - 12:30 | Security 4Research Track / Software Engineering in Practice at Eugénio de Andrade Chair(s): Liliana Pasquale University College Dublin & Lero | ||
11:00 15mTalk | A User-centered Security Evaluation of Copilot Research Track Owura Asare University of Waterloo, Mei Nagappan University of Waterloo, N. Asokan University of Waterloo | ||
11:15 15mTalk | Identifying Affected Libraries and Their Ecosystems for Open Source Software Vulnerabilities Research Track Susheng Wu Fudan University, Wenyan Song Fudan University, Kaifeng Huang Tongji University, Bihuan Chen Fudan University, Xin Peng Fudan University | ||
11:30 15mTalk | Understanding Transaction Bugs in Database Systems 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 15mTalk | When Contracts Meets Crypto: Exploring Developers' Struggles with Ethereum Cryptographic APIs 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 15mTalk | Industrial Challenges in Secure Continuous Development 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 15mTalk | Automated Security Findings Management: A Case Study in Industrial DevOps 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 |
11:00 - 12:30 | Testing: various bug types 2Research Track / Software Engineering in Practice at Fernando Pessoa Chair(s): João F. Ferreira INESC-ID and IST, University of Lisbon | ||
11:00 15mTalk | Towards Finding Accounting Errors in Smart Contracts Research Track Brian Zhang Purdue University | ||
11:15 15mTalk | MultiTest: Physical-Aware Object Insertion for Testing Multi-sensor Fusion Perception Systems 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 15mTalk | JLeaks: A Featured Resource Leak Repository Collected From Hundreds of Open-Source Java Projects 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 15mTalk | S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles Research Track Trey Woodlief University of Virginia, Felipe Toledo , Sebastian Elbaum University of Virginia, Matthew B Dwyer University of Virginia Pre-print | ||
12:00 15mTalk | FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation Research Track Zhiyang Chen University of Toronto, Sidi Mohamed Beillahi University of Toronto, Fan Long University of Toronto Pre-print | ||
12:15 15mTalk | Hawkeye: Change-targeted Testing for Android Apps based on Deep Reinforcement Learning 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 |
11:00 - 12:30 | Evolution 4Research Track / Journal-first Papers / Software Engineering in Practice at Glicínia Quartin Chair(s): Wesley Assunção North Carolina State University | ||
11:00 15mTalk | MUT: Human-in-the-Loop Unit Test Migration Research Track Yi Gao Zhejiang University, Xing Hu Zhejiang University, Tongtong Xu Huawei, Xin Xia Huawei Technologies, David Lo Singapore Management University, Xiaohu Yang Zhejiang University | ||
11:15 15mTalk | Streamlining Java Programming: Uncovering Well-Formed Idioms with IdioMine Research Track Yanming Yang Zhejiang University, Xing Hu Zhejiang University, Xin Xia Huawei Technologies, David Lo Singapore Management University, Xiaohu Yang Zhejiang University | ||
11:30 15mTalk | Fine-grained, accurate and scalable source differencing Research Track | ||
11:45 15mTalk | A Catalog of Unintended Software Dependencies in Multi-Lingual Systems at ASML Software Engineering in Practice Tom Groot Eindhoven University of Technology & ASML, Lina Ochoa Eindhoven University of Technology, Bogdan Lazar ASML, Jacob Krüger Eindhoven University of Technology | ||
12:00 7mTalk | Runtime Evolution of Bitcoin’s Consensus Rules Journal-first Papers Jakob Svennevik Notland Norwegian University of Science and Technology, Mariusz Nowostawski Norwegian University of Science and Technology, Jingyue Li Norwegian University of Science and Technology (NTNU) | ||
12:07 7mTalk | CfgNet: A Framework for Tracking Equality-Based Configuration Dependencies Across a Software Project Journal-first Papers Sebastian Simon Leipzig University, Nicolai Ruckel Secunet Security Networks AG, Norbert Siegmund Leipzig University | ||
12:14 7mTalk | Hyperparameter Optimization for AST Differencing Journal-first Papers Matias Martinez Universitat Politècnica de Catalunya (UPC), Jean-Rémy Falleri Univ. Bordeaux, Bordeaux INP, CNRS, LaBRI, UMR5800, F-33400 Talence, France, Martin Monperrus KTH Royal Institute of Technology, Matias Martinez Universitat Politècnica de Catalunya (UPC), Matias Martinez Universitat Politècnica de Catalunya (UPC) |
11:00 - 12:30 | Testing with and for AI 1Research Track / Journal-first Papers / Demonstrations at Sophia de Mello Breyner Andresen Chair(s): Peter Rigby Concordia University; Meta | ||
11:00 15mTalk | Prompting Is All Your Need: Automated Android Bug Replay with Large Language Models Research Track | ||
11:15 15mTalk | Towards Reliable AI: Adequacy Metrics for Ensuring the Quality of System-level Testing of Autonomous Vehicles Research Track | ||
11:30 15mTalk | Learning-based Widget Matching for Migrating GUI Test Cases Research Track Yakun Zhang Peking University, Wenjie Zhang Peking University, Dezhi Ran Peking University, Qihao Zhu Peking University, Chengfeng Dou Peking University, Dan Hao Peking University, Tao Xie Peking University, Lu Zhang Peking University | ||
11:45 7mTalk | A Search-Based Testing Approach for Deep Reinforcement Learning Agents Journal-first Papers Amirhossein Zolfagharian University of Ottawa - School of Electrical Engineering & Computer Science (EECS), Manel Abdellatif Software and Information Technology Engineering Department, École de Technologie Supérieure, Mojtaba Bagherzadeh Cisco, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Ramesh S | ||
11:52 7mTalk | StubCoder: Automated Generation and Repair of Stub Code for Mock Objects Journal-first Papers Hengcheng Zhu The Hong Kong University of Science and Technology, Lili Wei McGill University, Valerio Terragni University of Auckland, Yepang Liu Southern University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology, Jiarong Wu , Qin Sheng WeBank Co Ltd, Bing Zhang WeBank Co. Ltd., Lihong Song WeBank Co. Ltd. Link to publication DOI Authorizer link Pre-print | ||
11:59 7mTalk | Testing of Deep Reinforcement Learning Agents with Surrogate Models Journal-first Papers | ||
12:06 7mTalk | Model vs System Level Testing of Autonomous Driving Systems: A Replication and Extension Study Journal-first Papers Andrea Stocco Technical University of Munich, fortiss, Brian Pulfer University of Geneva, Paolo Tonella USI Lugano | ||
12:13 7mTalk | SAFE: Safety Analysis and Retraining of DNNs Demonstrations Mohammed Attaoui University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland Pre-print | ||
12:20 7mTalk | MutaBot: A Mutation Testing Approach for Chatbots Demonstrations Michael Ferdinando Urrico University of Milano - Bicocca, Diego Clerissi University of Milano-Bicocca, Leonardo Mariani University of Milano-Bicocca DOI Pre-print Media Attached |
14:00 - 15:30 | Language Models and Generated Code 3Research Track / Demonstrations at Almada Negreiros Chair(s): Jie M. Zhang King's College London | ||
14:00 15mTalk | CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models Research Track Hao Yu Peking University, Bo Shen Huawei Cloud Computing Technologies Co., Ltd., Dezhi Ran Peking University, Jiaxin Zhang Huawei Cloud Computing Technologies Co., Ltd., Qi Zhang Huawei Cloud Computing Technologies Co., Ltd., Yuchi Ma Huawei Cloud Computing Technologies CO., LTD., Guangtai Liang Huawei Cloud Computing Technologies, Ying Li School of Software and Microelectronics, Peking University, Beijing, China, Qianxiang Wang Huawei Technologies Co., Ltd, Tao Xie Peking University | ||
14:15 15mTalk | Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment Research Track Shibbir Ahmed Iowa State University, Hongyang Gao Dept. of Computer Science, Iowa State University, Hridesh Rajan Iowa State University | ||
14:30 15mTalk | GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code Research Track Qihao Zhu Peking University, Qingyuan Liang Peking University, Zeyu Sun Institute of Software, Chinese Academy of Sciences, Yingfei Xiong Peking University, Lu Zhang Peking University, Shengyu Cheng ZTE Corporation | ||
14:45 15mTalk | On Calibration of Pre-trained Code models Research Track DOI Media Attached | ||
15:00 15mTalk | Learning in the Wild: Towards Leveraging Unlabeled Data for Effectively Tuning Pre-trained Code Models Research Track Shuzheng Gao , Wenxin Mao Harbin Institute of Technology, Cuiyun Gao Harbin Institute of Technology, Li Li Beihang University, Xing Hu Zhejiang University, Xin Xia Huawei Technologies, Michael Lyu The Chinese University of Hong Kong | ||
15:15 7mTalk | GitHubInclusifier: Finding and fixing non-inclusive language in GitHub Repositories Demonstrations Liam Todd Monash University, John Grundy Monash University, Christoph Treude Singapore Management University Pre-print Media Attached |
14:00 - 15:30 | LLM, NN and other AI technologies 6Software Engineering Education and Training / Research Track / Software Engineering in Practice at Grande Auditório Chair(s): Bowen Xu North Carolina State University | ||
14:00 15mTalk | Make LLM a Testing Expert: Bringing Human-like Interaction to Mobile GUI Testing via Functionality-aware Decisions 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, Xing Che Institute of Software, Chinese Academy of Sciences, Dandan Wang Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software, Chinese Academy of Sciences | ||
14:15 15mTalk | Automated Detection of AI-Obfuscated Plagiarism in Modeling Assignments Software Engineering Education and Training Timur Sağlam Karlsruhe Institute of Technology (KIT), Sebastian Hahner Karlsruhe Institute of Technology (KIT), Larissa Schmid Karlsruhe Institute of Technology, Erik Burger Karlsruhe Institute of Technology (KIT) DOI Pre-print | ||
14:30 15mTalk | AI-Tutoring in Software Engineering Education Software Engineering Education and Training Eduard Frankford University of Innsbruck, Clemens Sauerwein University of Innsbruck, Patrick Bassner Technical University of Munich, Stephan Krusche Technical University of Munich, Ruth Breu University of Innsbruck DOI Pre-print | ||
14:45 15mTalk | Beyond Functional Correctness: An Exploratory Study on the Time Efficiency of Programming Assignments Software Engineering Education and Training Yida Tao Southern University of Science and Technology, Wenyan Chen Southern University of Science and Technology, Qingyang Ye Southern University of Science and Technology, Yao Zhao Southern University of Science and Technology | ||
15:00 15mTalk | Does ChatGPT Help With Introductory Programming?An Experiment of Students Using ChatGPT in CS1 Software Engineering Education and Training Yuankai Xue Vanderbilt University, Hanlin Chen Vanderbilt University, Gina Bai North Carolina State University, Robert Tairas Vanderbilt University, Yu Huang Vanderbilt University | ||
15:15 15mTalk | A New Frontier of AI: On-Device AI Training and Personalization Software Engineering in Practice Jijoong Moon Samsung Electronics, Hyun Suk Lee Samsung Electronics, Jiho Chu Samsung Electronics, Donghak Park Samsung Electronics, Seungbaek Hong Samsung Electronics, Hyungjun Seo Samsung Electronics, Donghyeon Jeong Samsung Electronics, Sungsik Kong Samsung Electronics, MyungJoo Ham Samsung Electronics Pre-print |
14:00 - 15:30 | Analytics 5Research Track / Journal-first Papers at Amália Rodrigues Chair(s): Sridhar Chimalakonda Indian Institute of Technology, Tirupati | ||
14:00 15mTalk | An Exploratory Investigation of Log Anomalies in Unmanned Aerial Vehicles Research Track Dinghua Wang , Shuqing Li The Chinese University of Hong Kong, Guanping Xiao Nanjing University of Aeronautics and Astronautics, Yepang Liu Southern University of Science and Technology, Yulei Sui UNSW, Pinjia He Chinese University of Hong Kong, Shenzhen, Michael Lyu The Chinese University of Hong Kong | ||
14:15 15mTalk | ModuleGuard: Understanding and Detecting Module Conflicts in Python Ecosystem Research Track Ruofan Zhu Zhejiang University, Xingyu Wang Zhejiang University, Chengwei Liu Nanyang Technological University, Zhengzi Xu Nanyang Technological University, Wenbo Shen Zhejiang University, China, Rui Chang Zhejiang University, Yang Liu Nanyang Technological University | ||
14:30 15mTalk | Empirical Analysis of Vulnerabilities Life Cycle in Golang Ecosystem Research Track Jinchang Hu , Lyuye Zhang Nanyang Technological University, Chengwei Liu Nanyang Technological University, Sen Yang Academy of Military Science, Song Huang Army Engineering University of PLA, Yang Liu Nanyang Technological University | ||
14:45 15mTalk | Fine-SE: Integrating Semantic Features and Expert Features for Software Effort Estimation Research Track Yue Li Nanjing University, Zhong Ren State Key Laboratory of Novel Software Technology, Software Institute, Nanjing University Nanjing, Jiangsu, China, Zhiqi Wang State Key Laboratory of Novel Software Technology, Software Institute, Nanjing University Nanjing, Jiangsu, China, Lanxin Yang Nanjing University, Liming Dong Nanjing University, He Zhang Nanjing University | ||
15:00 7mTalk | Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search Journal-first Papers Aren Babikian McGill University, Oszkár Semeráth Budapest University of Technology and Economics, Daniel Varro Linköping University / McGill University | ||
15:07 7mTalk | Technical leverage analysis in the Python ecosystem Journal-first Papers Ranindya Paramitha University of Trento, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam | ||
15:14 7mTalk | Automated Mapping of Adaptive App GUIs from Phones to TVs Journal-first Papers Han Hu Faculty of Information Technology, Monash University, ruiqi dong Swinburne University of Technology, John Grundy Monash University, Thai Minh Nguyen Monash University, huaxiao liu Jilin University, Chunyang Chen Technical University of Munich (TUM) Link to publication DOI Pre-print | ||
15:21 7mTalk | Assessing the Early Bird Heuristic (for Predicting Project Quality) Journal-first Papers Link to publication DOI Pre-print |
14:00 - 15:30 | Vulnerability DetectionResearch Track at Eugénio de Andrade Chair(s): Caroline Lemieux University of British Columbia | ||
14:00 15mTalk | GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis 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 15mTalk | PrettySmart: Detecting Permission Re-delegation Vulnerability for Token Behaviors in Smart Contracts 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 15mTalk | Combining Structured Static Code Information and Dynamic Symbolic Traces for Software Vulnerability Prediction 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 15mTalk | SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network 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 15mTalk | PS3: Precise Patch Presence Test based on Semantic Symbolic Signature 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 15mTalk | Safeguarding DeFi Smart Contracts against Oracle Deviations 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 |
14:00 - 15:30 | Testing: various bug types 3Research Track / Demonstrations / Software Engineering Education and Training at Fernando Pessoa Chair(s): Fernando Brito e Abreu ISCTE-IUL | ||
14:00 15mTalk | Testing Graph Database Systems via Equivalent Query Rewriting 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 15mTalk | ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems 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 15mTalk | Finding XPath Bugs in XML Document Processors via Differential Testing Research Track Shuxin Li Southern University of Science and Technology, Manuel Rigger National University of Singapore | ||
14:45 15mTalk | Sedar: Obtaining High-Quality Seeds for DBMS Fuzzing via Cross-DBMS SQL Transfer Research Track Jingzhou Fu School of Software, Tsinghua University, Jie Liang , Zhiyong Wu Tsinghua University, China, Yu Jiang Tsinghua University | ||
15:00 15mTalk | Automatically Detecting Reflow Accessibility Issues in Responsive Web Pages 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 7mTalk | Simulation-based Testing of Unmanned Aerial Vehicles with Aerialist 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 7mTalk | eFish'nSea: Unity Game Set for Learning Software Performance Issues Root Causes and Resolutions 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 |
14:00 - 15:30 | Evolution 5New Ideas and Emerging Results / Demonstrations / Research Track at Glicínia Quartin Chair(s): Martin Pinzger Universität Klagenfurt | ||
14:00 15mTalk | Semantic GUI Scene Learning and Video Alignment for Detecting Duplicate Video-based Bug Reports Research Track Yanfu Yan William & Mary, Nathan Cooper William & Mary, Oscar Chaparro William & Mary, Kevin Moran University of Central Florida, Denys Poshyvanyk William & Mary | ||
14:15 15mTalk | The Classics Never Go Out of Style: An Empirical Study of Downgrades from the Bazel Build Technology Research Track Pre-print | ||
14:30 15mTalk | Scaling Code Pattern Inference with Interactive What-If Analysis Research Track | ||
14:45 15mTalk | Context-Aware Name Recommendation for Field Renaming Research Track Chunhao Dong Beijing Institute of Technology, Yanjie Jiang Peking University, Nan Niu University of Cincinnati, Yuxia Zhang Beijing Institute of Technology, Hui Liu Beijing Institute of Technology | ||
15:00 7mTalk | "Don’t Touch my Model!" Towards Managing Model History and Versions during Metamodel Evolution New Ideas and Emerging Results Marcel Homolka Institute for Software Systems Engineering, Johannes Kepler University, Linz, Luciano Marchezan Johannes Kepler University Linz, Wesley Assunção North Carolina State University, Alexander Egyed Johannes Kepler University Linz Pre-print | ||
15:07 7mTalk | Challenges in Empirically Testing Memory Persistency Models New Ideas and Emerging Results Vasileios Klimis Queen Mary University of London, Alastair F. Donaldson Imperial College London, Viktor Vafeiadis MPI-SWS, John Wickerson Imperial College London, Azalea Raad Imperial College London | ||
15:14 7mTalk | AntiCopyPaster 2.0: Whitebox just-in-time code duplicates extraction Demonstrations Eman Abdullah AlOmar Stevens Institute of Technology, Benjamin Knobloch Stevens Institute of Technology, Thomas Kain Stevens Institute of Technology, Christopher Kalish Stevens Institute of Technology, Mohamed Wiem Mkaouer University of Michigan - Flint, Ali Ouni ETS Montreal, University of Quebec |
14:00 - 15:30 | Human and Social 7Journal-first Papers / Software Engineering in Practice / Research Track at Luis de Freitas Branco Chair(s): Igor Steinmacher Northern Arizona University | ||
14:00 15mTalk | “I tend to view ads almost like a pestilence”: On the Accessibility Implications of Mobile Ads for Blind Users Research Track Ziyao He University of California, Irvine, Syed Fatiul Huq University of California, Irvine, Sam Malek University of California at Irvine | ||
14:15 15mTalk | Constructive Code Review: Managing the Impact of Interpersonal Conflicts in Practice Software Engineering in Practice Pavlina Wurzel Goncalves University of Zurich, Joao S. V. Goncalves University of Zurich, Alberto Bacchelli University of Zurich | ||
14:30 15mTalk | Motivating Open Source Collaborations Through Social Network Evaluation: A Gamification Practice from Alibaba Software Engineering in Practice Shengyu Zhao Tongji University, Xiaoya Xia East China Normal University, Brian Fitzgerald Lero - The Irish Software Research Centre and University of Limerick, Xiaozhou Li University of Oulu, Valentina Lenarduzzi University of Oulu, Davide Taibi University of Oulu and Tampere University , Rong Wang Alibaba Group, will wang , Chunqi Tian Yongji University | ||
14:45 15mTalk | Objectives and Key Results in Software Teams: Challenges, Opportunities and Impact on Development Software Engineering in Practice Jenna L. Butler Microsoft Research, Thomas Zimmermann Microsoft Research, Christian Bird Microsoft Research | ||
15:00 7mTalk | Dealing with Data Challenges when Delivering Data-Intensive Software Solutions Journal-first Papers Ulrike Maria Graetsch , Hourieh Khalajzadeh Deakin University, Australia, Rashina Hoda Monash University, Mojtaba Shahin RMIT University, John Grundy Monash University Link to publication DOI Pre-print | ||
15:07 7mTalk | What’s (Not) Working in Programmer User Studies? Journal-first Papers Matthew C. Davis Carnegie Mellon University, Emad Aghayi , Thomas LaToza George Mason University, Xiaoyin Wang University of Texas at San Antonio, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University Link to publication DOI | ||
15:14 7mTalk | Confirmation Bias and Time Pressure: A Family of Experiments in Software Testing Journal-first Papers Iflaah Salman Lappeenranta-Lahti University of Technology (LUT), Burak Turhan University of Oulu, Robert Ramač Faculty of Technical Sciences, University of Novi Sad, Vladimir Mandić Faculty of Technical Sciences, University of Novi Sad |
14:00 - 15:30 | Dependability and Formal methods 3Research Track / Software Engineering in Practice / New Ideas and Emerging Results at Maria Helena Vieira da Silva Chair(s): Shahar Maoz Tel Aviv University | ||
14:00 15mTalk | It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data Research Track Felix Wallner Graz University of Technology, Institute of Software Technology, Bernhard Aichernig Graz University of Technology, Christian Burghard AVL List GmbH Link to publication DOI | ||
14:15 15mTalk | Verifying Declarative Smart Contracts Research Track Haoxian Chen ShanghaiTech University, Lan Lu University of Pennsylvania, Brendan Massey University of Pennsylvania, Yuepeng Wang Simon Fraser University, Boon Thau Loo University of Pennsylvania | ||
14:30 15mTalk | Knowledge-aware Alert Aggregation in Large-scale Cloud Systems: a Hybrid Approach Software Engineering in Practice Jinxi Kuang The Chinese University of Hong Kong, Jinyang Liu The Chinese University of Hong Kong, Junjie Huang The Chinese University of Hong Kong, Renyi Zhong The Chinese University of Hong Kong, Jiazhen Gu The Chinese University of Hong Kong, Lan Yu Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Rui Tan Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Zengyin Yang Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Michael Lyu The Chinese University of Hong Kong | ||
14:45 15mTalk | Intelligent Monitoring Framework for Cloud Services: A Data-Driven Approach Software Engineering in Practice Pooja Srinivas Microsoft, Fiza Husain Microsoft, Anjaly Parayil Microsoft, Ayush Choure Microsoft, Chetan Bansal Microsoft Research, Saravan Rajmohan Microsoft | ||
15:00 15mTalk | FaultProfIT: Hierarchical Fault Profiling of Incident Tickets in Large-scale Cloud Systems Software Engineering in Practice Junjie Huang The Chinese University of Hong Kong, Jinyang Liu The Chinese University of Hong Kong, Zhuangbin Chen School of Software Engineering, Sun Yat-sen University, Zhihan Jiang The Chinese University of Hong Kong, Yichen LI The Chinese University of Hong Kong, Jiazhen Gu The Chinese University of Hong Kong, Cong Feng Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Zengyin Yang Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Yongqiang Yang Huawei Technologies, Michael Lyu The Chinese University of Hong Kong | ||
15:15 7mTalk | Translating between SQL Dialects for Cloud Migration Software Engineering in Practice Ran Zmigrod JP Morgan - Chase, Salwa Alamir J.P. Morgan AI Research, Xiaomo Liu JP Morgan AI Research | ||
15:22 7mTalk | Designing Trustful Cooperation Ecosystems is Key to the New Space Exploration Era New Ideas and Emerging Results Renan Lima Baima University of Luxembourg, Loïck Chovet University of Luxembourg, Johannes Sedlmeir University of Luxembourg, Miguel A. Olivares-Mendez University of Luxembourg, Gilbert Fridgen University of Luxembourg |
14:00 - 15:30 | Testing with and for AI 2Journal-first Papers / Research Track / Demonstrations at Sophia de Mello Breyner Andresen Chair(s): João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC | ||
14:00 15mTalk | Large Language Models are Edge-Case Generators: Crafting Unusual Programs for Fuzzing Deep Learning Libraries Research Track Yinlin Deng University of Illinois at Urbana-Champaign, Chunqiu Steven Xia University of Illinois at Urbana-Champaign, Chenyuan Yang University of Illinois at Urbana-Champaign, Shizhuo Zhang University of Illinois Urbana-Champaign, Shujing Yang University of Illinois Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign | ||
14:15 15mTalk | Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning Research Track Yuanhong Lan Nanjing University, Yifei Lu Nanjing University, Zhong Li , Minxue Pan Nanjing University, Wenhua Yang Nanjing University of Aeronautics and Astronautics, Tian Zhang Nanjing University, Xuandong Li Nanjing University | ||
14:30 7mTalk | Black-Box Testing of Deep Neural Networks through Test Case Diversity Journal-first Papers Zohreh Aghababaeyan University of Ottawa Ottawa, Ontario, Canada, Manel Abdellatif Software and Information Technology Engineering Department, École de Technologie Supérieure, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Ramesh S , Mojtaba Bagherzadeh Cisco | ||
14:37 7mTalk | scenoRITA: Generating Diverse, Fully Mutable, Test Scenarios for Autonomous Vehicle Planning Journal-first Papers Yuqi Huai University of California, Irvine, Sumaya Almanee University of California, Irvine, Yuntianyi Chen University of California, Irvine, Xiafa Wu University of California, Irvine, Qi Alfred Chen University of California, Irvine, Joshua Garcia University of California, Irvine | ||
14:44 7mTalk | InterEvo-TR: Interactive Evolutionary Test Generation with Readability Assessment Journal-first Papers Pedro Delgado-Pérez Universidad de Cádiz, Aurora Ramírez University of Córdoba, Kevin Jesús Valle-Gómez Universidad de Cádiz, Inmaculada Medina-Bulo Universidad de Cádiz, José Raúl Romero University of Cordoba, Spain | ||
14:51 7mTalk | Differential testing for machine learning: an analysis for classification algorithms beyond deep learning Journal-first Papers | ||
14:58 7mTalk | Journal First Article: "Syntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies" Journal-first Papers Milos Ojdanic University of Luxembourg, Aayush Garg Luxembourg Institute of Science and Technology, Ahmed Khanfir University of Luxembourg, Renzo Degiovanni Luxembourg Institute of Science and Technology, Mike Papadakis University of Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg | ||
15:05 7mTalk | Causality-driven Testing of Autonomous Driving Systems Journal-first Papers Luca Giamattei Università di Napoli Federico II, Antonio Guerriero Università di Napoli Federico II, Roberto Pietrantuono Università di Napoli Federico II, Stefano Russo Università di Napoli Federico II | ||
15:12 7mTalk | When Less is More: On the Value of ''Co-training'' for Semi-Supervised Software Defect Predictors Journal-first Papers Suvodeep Majumder North Carolina State University, Joymallya Chakraborty Amazon.com, Tim Menzies North Carolina State University Pre-print | ||
15:19 7mTalk | OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems Demonstrations Lev Sorokin fortiss, Tiziano Munaro fortiss, Damir Safin fortiss, Brian Hsuan-Cheng Liao DENSO AUTOMOTIVE, Adam Molin DENSO AUTOMOTIVE |
16:00 - 17:30 | Language Models and Generated Code 4New Ideas and Emerging Results / Research Track at Almada Negreiros Chair(s): Shin Yoo Korea Advanced Institute of Science and Technology | ||
16:00 15mTalk | Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code Research Track Rangeet Pan IBM Research, Ali Reza Ibrahimzada University of Illinois Urbana-Champaign, Rahul Krishna IBM Research, Divya Sankar IBM Research, Lambert Pouguem Wassi IBM Research, Michele Merler IBM Research, Boris Sobolev IBM Research, Raju Pavuluri IBM T.J. Watson Research Center, Saurabh Sinha IBM Research, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign DOI Pre-print Media Attached | ||
16:15 15mTalk | Traces of Memorisation in Large Language Models for Code Research Track Ali Al-Kaswan Delft University of Technology, Netherlands, Maliheh Izadi Delft University of Technology, Arie van Deursen Delft University of Technology Pre-print | ||
16:30 15mTalk | Language Models for Code Completion: A Practical Evaluation Research Track Maliheh Izadi Delft University of Technology, Jonathan Katzy Delft University of Technology, Tim van Dam Delft University of Technology, Marc Otten Delft University of Technology, Răzvan Mihai Popescu Delft University of Technology, Arie van Deursen Delft University of Technology Pre-print | ||
16:45 15mTalk | Evaluating Large Language Models in Class-Level Code Generation Research Track Xueying Du Fudan University, Mingwei Liu Fudan University, Kaixin Wang Fudan University, Hanlin Wang Fudan University, Junwei Liu Huazhong University of Science and Technology, Yixuan Chen Fudan University, Jiayi Feng Fudan University, Chaofeng Sha Fudan University, Xin Peng Fudan University, Yiling Lou Fudan University Pre-print | ||
17:00 7mTalk | Naturalness of Attention: Revisiting Attention in Code Language Models New Ideas and Emerging Results Pre-print | ||
17:07 7mTalk | Towards Trustworthy AI Software Development Assistance New Ideas and Emerging Results DOI Pre-print |
16:00 - 17:30 | LLM, NN and other AI technologies 7Software Engineering in Society / Software Engineering in Practice / Research Track / New Ideas and Emerging Results at Grande Auditório Chair(s): Vincent J. Hellendoorn Carnegie Mellon University | ||
16:00 15mTalk | Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning Research Track | ||
16:15 15mTalk | A Synthesis of Green Architectural Tactics for ML-Enabled Systems Software Engineering in Society Heli Järvenpää Vrije Universiteit Amsterdam, Patricia Lago Vrije Universiteit Amsterdam, Justus Bogner Vrije Universiteit Amsterdam, Grace Lewis Carnegie Mellon Software Engineering Institute, Henry Muccini University of L'Aquila, Italy, Ipek Ozkaya Carnegie Mellon University Pre-print | ||
16:30 15mTalk | Greening Large Language Models of Code Software Engineering in Society Jieke Shi Singapore Management University, Zhou Yang Singapore Management University, Hong Jin Kang UCLA, Bowen Xu North Carolina State University, Junda He Singapore Management University, David Lo Singapore Management University Pre-print Media Attached | ||
16:45 15mTalk | Lessons from Building CodeBuddy: A Contextualized AI Coding Assistant Software Engineering in Practice Gustavo Pinto Federal University of Pará (UFPA) and Zup Innovation, Cleidson de Souza Federal University of Pará Belém, João Batista Cordeiro Neto Federal University of Santa Catarina and Zup Innovation, Alberto de Souza Zup Innovation, Tarcísio Gotto Zup Innovation, Edward Monteiro StackSpot | ||
17:00 15mTalk | CodeFuse-13B: A Pretrained Multi-lingual Code Large Language Model Software Engineering in Practice | ||
17:15 7mTalk | Breaking the Silence: the Threats of Using LLMs in Software Engineering New Ideas and Emerging Results June Sallou Delft University of Technology, Thomas Durieux TU Delft, Annibale Panichella Delft University of Technology Pre-print |
16:00 - 17:30 | Static Detection TechniquesSoftware Engineering in Practice / Research Track at Eugénio de Andrade Chair(s): Valentina Lenarduzzi University of Oulu | ||
16:00 15mTalk | MalwareTotal: Multi-Faceted and Sequence-Aware Bypass Tactics against Static Malware Detection 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 15mTalk | Semantic-Enhanced Static Vulnerability Detection in Baseband Firmware 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 15mTalk | CSChecker: Revisiting GDPR and CCPA Compliance of Cookie Banners on the Web Research Track Mingxue Zhang Zhejiang University, Wei Meng Chinese University of Hong Kong, You Zhou Zhejiang University, Kui Ren Zhejiang University | ||
16:45 15mTalk | Raisin: Identifying Rare Sensitive Functions for Bug Detection 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 15mTalk | Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust 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 15mTalk | Inference for Ever-Changing Policy of Taint Analysis 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 |
16:00 - 17:30 | Program Repair 4Journal-first Papers / Research Track at Fernando Pessoa Chair(s): João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC | ||
16:00 15mTalk | Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications 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 15mTalk | Exploring Experiences with Automated Program Repair in Practice Research Track Fairuz Nawer Meem George Mason University, Justin Smith Lafayette College, Brittany Johnson George Mason University | ||
16:30 15mTalk | PyTy: Repairing Static Type Errors in Python 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 15mTalk | Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation 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 7mTalk | Improving Automated Program Repair with Domain Adaptation Journal-first Papers | ||
17:07 7mTalk | Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning 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 |
16:00 - 17:30 | Evolution 6New Ideas and Emerging Results / Research Track / Demonstrations / Software Engineering Education and Training at Glicínia Quartin Chair(s): Kiev Gama Federal University of Pernambuco (UFPE) | ||
16:00 15mTalk | Cneps: A Precise Approach for Examining Dependencies among Third-Party C/C++ Open-Source Components Research Track Yoonjong Na Korea University, Seunghoon Woo Korea University, Joomyeong Lee Korea University, Heejo Lee Korea University | ||
16:15 15mTalk | A Study on the Pythonic Functional Constructs' Understandability Research Track Cyrine Zid École Polytechnique de Montréal, Fiorella Zampetti University of Sannio, Italy, Giulio Antoniol Ecole Polytechnique de Montreal, Massimiliano Di Penta University of Sannio, Italy Pre-print | ||
16:30 15mTalk | Introducing Computer Science Undergraduate Students to DevOps Technologies from Software Engineering Fundamentals Software Engineering Education and Training Edgar Sarmiento-Calisaya , Alvaro Mamani-Aliaga Universidad Nacional de San Agustín de Arequipa, Julio Cesar Leite Federal University of Bahia (UFBA) DOI | ||
16:45 15mTalk | Bridging the Theory-Practice Gap in a Maintenance Programming Course: An Experience Report Software Engineering Education and Training Sofia Ouhbi Uppsala University | ||
17:00 7mTalk | Deductive Software Architecture Recovery via Chain-of-thought Prompting New Ideas and Emerging Results Satrio Adi Rukmono , Lina Ochoa Eindhoven University of Technology, Michel Chaudron Eindhoven University of Technology, The Netherlands | ||
17:07 7mTalk | Reproducibility of Build Environments through Space and Time New Ideas and Emerging Results Julien Malka LTCI, Télécom Paris, Institut Polytechnique de Paris, France, Stefano Zacchiroli Télécom Paris, Polytechnic Institute of Paris, Théo Zimmermann Télécom Paris, Polytechnic Institute of Paris Pre-print | ||
17:14 7mTalk | APICIA: An API Change Impact Analyzer for Android Apps Demonstrations Tarek Mahmud Texas State University, Meiru Che Central Queensland University, Jihan Rouijel Texas State University, Mujahid Khan Texas State University, Guowei Yang University of Queensland | ||
17:21 7mTalk | RAT: A Refactoring-Aware Tool for Tracking Code History Demonstrations Feifei Niu University of Ottawa, Junqian Shao Nanjing University, Chaofan Xu Nanjing University, Christoph Mayr-Dorn JOHANNES KEPLER UNIVERSITY LINZ, Wesley Assunção North Carolina State University, Liguo Huang Southern Methodist University, Chuanyi Li Nanjing University, Jidong Ge Nanjing University, Bin Luo Nanjing University, Alexander Egyed Johannes Kepler University Linz |
16:00 - 17:30 | Human and Social 8Software Engineering in Society / Journal-first Papers / Research Track / Software Engineering Education and Training at Luis de Freitas Branco Chair(s): Alexander Serebrenik Eindhoven University of Technology | ||
16:00 15mTalk | Property-Based Testing in Practice Research Track Harrison Goldstein University of Pennsylvania, Joseph W. Cutler University of Pennsylvania, Daniel Dickstein Jane Street, Benjamin C. Pierce University of Pennsylvania, Andrew Head University of Pennsylvania | ||
16:15 15mTalk | Navigating the Path of Women in Software Engineering: From Academia to Industry Software Engineering in Society Tatalina Oliveira CESAR School, Ann Barcomb Department of Electrical and Software Engineering, Schulich School of Engineering, University of Calgary, Ronnie de Souza Santos University of Calgary, Helda Barros CESAR School, Maria Teresa Baldassarre Department of Computer Science, University of Bari , Cesar França CESAR School Pre-print | ||
16:30 15mTalk | Early Career Software Developers - Are You Sinking or Swimming? Software Engineering in Society Pre-print Media Attached | ||
16:45 15mTalk | An experience report on the use of Active Learning in Empirical Software Engineering Education: Understanding the pros and cons from the student's perspective Software Engineering Education and Training Maria Alcimar Costa Meireles UFAM - Federal University of Amazonas, Sabrina Rocha UFAM - Federal University of Amazonas, José Carlos Maldonado Loggi Tecnologia and University of São Paulo - USP and, Tayana Conte Universidade Federal do Amazonas | ||
17:00 15mTalk | Teaching Software Ethics to Future Software Engineers Software Engineering Education and Training Aastha Pant Monash University, Simone Spiegler Monash University, Rashina Hoda Monash University, Jeremy Yoon Monash University, Nabeeb Yusuf Monash University, Tian Er Monash University, Shenyi Hu Monash University | ||
17:15 7mTalk | Mind the Gap: Gender, Micro-inequities and Barriers in Software Development Journal-first Papers Emitzá Guzmán Vrije Universiteit Amsterdam, Ricarda Anna-Lena Fischer Vrije Universiteit Amsterdam, Janey Kok Vrije Universiteit Amsterdam |
16:00 - 17:30 | Requirements 2Software Engineering in Society / Research Track / Software Engineering in Practice at Maria Helena Vieira da Silva Chair(s): Fabio Palomba University of Salerno | ||
16:00 18mTalk | Recovering Trace Links Between Software Documentation And Code Research Track Jan Keim Karlsruhe Institute of Technology (KIT), Sophie Corallo Karlsruhe Institute of Technology (KIT), Dominik Fuchß Karlsruhe Institute of Technology, Tobias Hey Karlsruhe Institute of Technology (KIT), Tobias Telge Karlsruhe Institute of Technology (KIT), Anne Koziolek Karlsruhe Institute of Technology Link to publication DOI Pre-print | ||
16:18 18mTalk | TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts Research Track Hui Gao Nanjing University, Hongyu Kuang Nanjing University, Wesley Assunção North Carolina State University, Christoph Mayr-Dorn JOHANNES KEPLER UNIVERSITY LINZ, Guoping Rong Nanjing University, He Zhang Nanjing University, Xiaoxing Ma State Key Laboratory for Novel Software Technology, Nanjing University, Alexander Egyed Johannes Kepler University Linz Pre-print | ||
16:36 18mTalk | Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations Software Engineering in Society Usman Gohar Dept. of Computer Science, Iowa State University, Michael Hunter Iowa State University, Agnieszka Marczak-Czajka University of Notre Dame, Robyn Lutz Iowa State University, Myra Cohen Iowa State University, Jane Cleland-Huang University of Notre Dame DOI Pre-print | ||
16:54 18mTalk | What Can Requirements Engineering Do for Emerging System of Systems? Case of Smart Local Energy Software Engineering in Society Ruzanna Chitchyan University of Bristol | ||
17:12 18mTalk | API Governance at Scale Software Engineering in Practice Mak Ahmad UC Davis, JJ Geewax Meta, Andrew Macvean Google, Inc., David Karger MIT, Kwan-Liu Ma UC Davis |
16:00 - 17:30 | Testing of AI systemsResearch Track / Journal-first Papers at Sophia de Mello Breyner Andresen Chair(s): Aldeida Aleti Monash University | ||
16:00 15mTalk | CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing Research Track Swaroopa Dola University of Virginia, Rory McDaniel University of Virginia, Matthew B Dwyer University of Virginia, Mary Lou Soffa University of Virginia | ||
16:15 15mTalk | Knowledge Graph Driven Inference Testing for Question Answering Software Research Track Jun Wang Nanjing University, Yanhui Li Nanjing University, Zhifei Chen Nanjing University, Lin Chen Nanjing University, Xiaofang Zhang Soochow University, Yuming Zhou Nanjing University | ||
16:30 15mTalk | DeepSample: DNN sampling-based testing for operational accuracy assessment Research Track Antonio Guerriero Università di Napoli Federico II, Roberto Pietrantuono Università di Napoli Federico II, Stefano Russo Università di Napoli Federico II Pre-print | ||
16:45 15mTalk | MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search Research Track Zhaohui Wang East China Normal University, Min Zhang East China Normal University, Jingran Yang East China Normal University, ShaoBojie East China Normal University, Min Zhang East China Normal University | ||
17:00 7mTalk | DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles Journal-first Papers Meriel von Stein University of Virginia, Sebastian Elbaum University of Virginia, David Shriver Software Engineering Institute | ||
17:07 7mTalk | Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications Journal-first Papers Yongqiang Tian The Hong Kong University of Science and Technology; University of Waterloo, Wuqi Zhang The Hong Kong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology, Chengnian Sun University of Waterloo, Shiqing Ma University of Massachusetts, Amherst, Yu Jiang Tsinghua University Link to publication DOI | ||
17:14 7mTalk | Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search Journal-first Papers Sepehr Sharifi University of Ottawa, Donghwan Shin University of Sheffield, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Nathan Aschbacher Auxon Corporation |
18:00 - 18:20 | Closing cerimonySocial Events / ICSE Keynotes / SRC - ACM Student Research Competition at Grande Auditório Chair(s): Rui Abreu Meta & University of Porto, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto | ||
18:00 10mTalk | ICSE 2024 Closing Social Events Rui Abreu Meta & University of Porto, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto, Arie van Deursen Delft University of Technology |
Accepted Papers
Call for papers
The International Conference on Software Engineering (ICSE) is the premier forum for presenting and discussing the most recent and significant technical research contributions in the field of Software Engineering. In the research track, we invite high-quality submissions of technical research papers describing original and unpublished results of software engineering research.
Please note the following important changes for 2024:
-
In 2024, ICSE will follow a dual deadline structure for submission of papers. In other words, submissions will occur in two cycles. This is the most important change. Please refer to the section on Dual Submission Cycles in the following for the information.
-
For each paper submitted to Research track in ICSE 2024, authors will need to choose one of seven focus areas. Please see the section on Research Areas in the following.
Research Areas
ICSE welcomes submissions addressing topics across the full spectrum of Software Engineering, being inclusive of quantitative, qualitative, and mixed-methods research. Topics of interest include the following and are grouped into the following seven research areas.
Each submission will need to indicate one of these seven areas as the chosen area. Optionally, the authors can consider adding an additional area. A paper may be moved from the chosen area(s) to another focus area at the discretion of the program chairs. Program chairs will ultimately assign a paper to an area chair, considering the authors’ selection, the paper’s content, and other factors such as (if applicable) possible conflicts of interest.
AI and software engineering, Auto-coding
- SE for Machine learning systems
- Machine learning for SE tasks
- Recommender systems
- Autonomic systems and self-healing systems
- Program synthesis
- Program repair
- AI for DevOps
- Code generation from machine learning models
Analytics
- Mining software repositories, communication platforms, and novel software engineering data sources
- Apps and app store analysis
- Software ecosystems
- Configuration management
- Software visualization
- Data-driven user experience understanding and improvement
- Data driven decision making in software engineering
Dependability and Security
- Formal methods
- Model Checking
- Reliability and Safety
- Vulnerability detection to enhance software security
- System design to enhance software security
- Privacy, Robustness, Fairness: Checking and Enforcement
- Embedded and cyber-physical systems: modeling and validation
Evolution
- Evolution and maintenance
- API design and evolution
- Release engineering and DevOps
- Software reuse
- Refactoring and program differencing
- Program comprehension
- Reverse engineering
- Environments and software development tools
- Traceability to understand evolution
Human and Social aspects
- Human and organizational aspects of software engineering
- Interaction in programming environments and software engineering tools
- Distributed and collaborative software engineering
- Agile methods and software processes
- Software economics
- Community-based software engineering (e.g., open source, crowdsourcing)
- Ethics in software engineering
- Green and sustainable technologies
- Research on diversity, inclusion and social issues in software engineering
Requirements and modeling
- Requirements Engineering (incl. non-functional requirements)
- Design for quality, including privacy and security by design
- Feedback, user and requirements management
- Modelling and Model-Driven Engineering
- Software Architecture and Design
- Variability and product lines
- Systems and software traceability
- Software services and cloud-based systems
Testing and analysis
- Software testing
- Program analysis
- Debugging and fault localization
- Programming languages: developer-centric issues
- Automated test generation techniques such as search and symbolic execution
- Testing and analysis of non-functional properties
- GUI testing
- Mobile application testing
Scope
Since the authors will choose an area for their submission, the scope of each area becomes important. Some submissions may relate to multiple areas. In such cases, the authors should choose the area for which their paper brings the maximum new insights. Moreover, authors also have the choice of indicating an alternate area for each paper.
Similarly, for certain papers. authors may have a question whether it belongs to any area, or it is simply out of scope. For such cases, we recommend the authors to judge whether their paper brings new insights for software engineering. As an example, a formal methods paper with a focus on hardware verification may be deemed out of scope for ICSE. In general, papers which only peripherally concern software engineering and do not give new insights from the software engineering perspective would be less relevant to ICSE. Our goal is however to be descriptive, rather than prescriptive, to enable authors to make their own decisions about relevance.
Dual Submission Cycles – New for ICSE 2024
Since ICSE 2024 will have a different timeline from previous ICSEs, we request authors to kindly take note of the dates. The dates for the two submission cycles are as follows
First submission cycle
- Submission: March 29, 2023
- Notification: June 2, 2023
- Revision due: July 10, 2023
- Final Decisions: August 24, 2023
- Camera-ready: Sept 15, 2023
Second submission cycle
- Submission: August 1, 2023
- Notification: October 10, 2023
- Revision due: Nov 17, 2023
- Final Decisions: Dec 15, 2023
- Camera ready: Jan 12, 2024
Papers accepted for the first submission cycle of ICSE 24 will be available in the ACM and IEEE Digital Libraries after the camera-ready deadline of September 15 2023. Once papers have been reviewed, authors will be able to see the full reviews, including the reviewer scores. There is no rebuttal phase for either cycle.
Review Criteria
Each paper submitted to the Research Track will be evaluated based on the following criteria:
i) Novelty: The novelty and innovativeness of contributed solutions, problem formulations, methodologies, theories and/or evaluations, i.e., the extent to which the paper is sufficiently original with respect to state-of-the-art.
ii) Rigor: The soundness, clarity and depth of a technical or theoretical contribution, and the level of thoroughness and completeness of an evaluation.
iii) Relevance: The significance and/or potential impact of the research to the field of software engineering.
iv) Verifiability and Transparency: The extent to which the paper includes sufficient information to understand how an innovation works; to understand how data was obtained, analyzed, and interpreted; and how the paper supports independent verification or replication of the paper’s claimed contributions. Any artifacts attached to or linked from the paper may be checked by one reviewer.
v) Presentation: The clarity of the exposition in the paper.
Reviewers will carefully consider all of the above criteria during the review process, and authors should take great care in clearly addressing them all. The paper should clearly explain and justify the claimed contributions. Each paper will be handled by an area chair who will ensure reviewing consistency among papers submitted within that area.
The outcome of each paper will be one of the following Accept, Conditional Accept, Revision, Reject. Note that papers which are Accepted straight-away may still involve changes by authors in the camera-ready version, but these changes will not be checked any further by PC. We now elaborate the Conditional Accept and the Revision outcomes in the following.
Conditional Accept
Authors of papers receiving a Conditional Accept decision are expected to submit the revised papers with changes marked in a different color, such as using LaTeXdiff. The authors also need to submit an “Author Response” document capturing the authors’ response to each reviewer comment and how those comments were addressed in the revision. This is similar to the “Summary of Changes and Response” document that is typically submitted by authors for a journal paper major revision. The reviewers will check the revised paper against the original paper and the suggested changes. Conditional Accepts will be checked by only one member of the Program Committee, and this will be done in one pass. We expect all papers receiving Conditional Accept to be accepted, even though this is not guaranteed.
Revisions
Papers submitted can go through revisions in response to specific revision requests made by the reviewers. Authors of papers receiving a Revision decision are expected to submit the revised papers with changes marked in a different color, such as using LaTeXdiff. The authors also need to submit an “Author Response” document capturing the authors’ response to each reviewer comment and how those comments were addressed in the revision. This is similar to the “Summary of Changes and Response” document that is typically submitted by authors for a journal paper major revision. Authors may use the revision opportunity to revise and improve the paper, but should not use this to submit a substantially different paper. The reviewers will check the revised paper against the original paper and the suggested changes. Revised papers will be examined by the same set of reviewers. An unsatisfactory revised paper will be rejected.
Re-submissions of rejected papers
Authors of papers which receive a REJECT decision in the first submission cycle are strongly discouraged from re-submitting it to the second submission cycle. However, in exceptional cases where the authors feel that the reviewers misunderstood their paper, authors can re-submit their paper to the second submission cycle with a “Clarifications and Summary of Improvements” document stating how they have changed the paper. They should also include the past reviews as part of this document, for completeness. These papers will be treated as new submissions which may or may not get the same set of reviewers at the discretion of the PC chairs. Authors who try to bypass this guideline (e.g., by changing the paper title without significantly changing paper content, or by making small changes to the paper content) will have their papers desk-rejected by the PC chairs without further consideration. Papers rejected from the first or second submission cycle of ICSE2024 can be submitted to ICSE2025 without any restrictions.
Submission Process
All authors should use the official “ACM Primary Article Template”, as can be obtained from the ACM Proceedings Template page. LaTeX users should use the sigconf
option, as well as the review
(to produce line numbers for easy reference by the reviewers) and anonymous
(omitting author names) options. To that end, the following LaTeX code can be placed at the start of the LaTeX document:
\documentclass[sigconf,review,anonymous]{acmart}
\acmConference[ICSE 2024]{46th International Conference on Software Engineering}{April 2024}{Lisbon, Portugal}
- All submissions must not exceed 10 pages for the main text, inclusive of all figures, tables, appendices, etc. Two more pages containing only references are permitted. All submissions must be in PDF. Accepted papers will be allowed one extra page for the main text of the camera-ready version.
- Submissions must strictly conform to the ACM conference proceedings formatting instructions specified above. Alterations of spacing, font size, and other changes that deviate from the instructions may result in desk rejection without further review.
- By submitting to the ICSE Research Track, authors acknowledge that they are aware of and agree to be bound by the ACM Policy and Procedures on Plagiarism and the IEEE Plagiarism FAQ. Papers submitted to ICSE 2024 must not have been published elsewhere and must not be under review or submitted for review elsewhere whilst under consideration for ICSE 2024. Contravention of this concurrent submission policy will be deemed a serious breach of scientific ethics, and appropriate action will be taken in all such cases. To check for double submission and plagiarism issues, the chairs reserve the right to (1) share the list of submissions with the PC Chairs of other conferences with overlapping review periods and (2) use external plagiarism detection software, under contract to the ACM or IEEE, to detect violations of these policies.
- By submitting your article to an ACM Publication, you are hereby acknowledging that you and your co-authors are subject to all ACM Publications Policies, including ACM's new Publications Policy on Research Involving Human Participants and Subjects. Alleged violations of this policy or any ACM Publications Policy will be investigated by ACM and may result in a full retraction of your paper, in addition to other potential penalties, as per ACM Publications Policy.
- Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper. ACM has been involved in ORCID from the start and we have recently made a commitment to collect ORCID IDs from all of our published authors. The collection process has started and will roll out as a requirement throughout 2022. We are committed to improve author discoverability, ensure proper attribution and contribute to ongoing community efforts around name normalization; your ORCID ID will help in these efforts.
- The ICSE 2024 Research Track will employ a double-anonymous review process. Thus, no submission may reveal its authors’ identities. The authors must make every effort to honor the double-anonymous review process. In particular:
- Authors’ names must be omitted from the submission.
- All references to the author’s prior work should be in the third person.
- While authors have the right to upload preprints on ArXiV or similar sites, they must avoid specifying that the manuscript was submitted to ICSE 2024.
- During review, authors should not publicly use the submission title. They should thus use a different paper title for any pre-print in arxiv or similar websites.
- Further advice, guidance, and explanation about the double-anonymous review process can be found in the Q&A page from prior ICSEs.
- By submitting to the ICSE Research Track, authors acknowledge that they conform to the authorship policy of the ACM, and the authorship policy of the IEEE.
Submissions to the Technical Track that meet the above requirements can be made via the Research Track submission site by the submission deadline. Any submission that does not comply with these requirements may be desk rejected without further review.
Submission site (second cycle August 2023): https://icse2024.hotcrp.com/
We encourage the authors to upload their paper info early (and can submit the PDF later) to properly enter conflicts for double-anonymous reviewing. It is the sole responsibility of the authors to ensure that the formatting guidelines, double anonymous guidelines, and any other submission guidelines are met at the time of paper submission.
Open Science Policy
The research track of ICSE 2024 is governed by the ICSE 2024 Open Science policies. The guiding principle is that all research results should be accessible to the public and, if possible, empirical studies should be reproducible. In particular, we actively support the adoption of open artifact and open source principles. We encourage all contributing authors to disclose (anonymized and curated) data/artifacts to increase reproducibility and replicability. Note that sharing research artifacts is not mandatory for submission or acceptance. However, sharing is expected to be the default, and non-sharing needs to be justified. We recognize that reproducibility or replicability is not a goal in qualitative research and that, similar to industrial studies, qualitative studies often face challenges in sharing research data. For guidelines on how to report qualitative research to ensure the assessment of the reliability and credibility of research results, see this previously curated Q&A page.
Upon submission to the research track, authors are asked
-
to make their artifact available to the program committee (via upload of supplemental material or a link to an anonymous repository) – and provide instructions on how to access this data in the paper; or
-
to include in the paper an explanation as to why this is not possible or desirable; and
-
to indicate why they do not intend to make their data or study materials publicly available upon acceptance, if that is the case. The default understanding is that the data and/or other artifacts will be publicly available upon acceptance of a paper.
Withdrawing a Paper
Authors can withdraw their paper at any moment until the final decision has been made, through the paper submission system. Resubmitting the paper to another venue before the final decision has been made without withdrawing from ICSE 2024 first is considered a violation of the concurrent submission policy, and will lead to automatic rejection from ICSE 2024 as well as any other venue adhering to this policy. Such violations may also be reported to appropriate organizations e.g. ACM and IEEE.
Conference Attendance Expectation
If a submission is accepted, at least one author of the paper is required to register for ICSE 2024 and present the paper. We are assuming that the conference will be in-person, and if it is virtual or hybrid, virtual presentations may be possible. These matters will be discussed with authors closer to the date of the conference.