PPaperPicks
← All conferences
Editions202620252024

FSE 2024

A*

ACM International Conference on the Foundations of Software Engineering

Official site ↗
230
accepted papers
965
authors
July 15-19, 2024
dates
Brazil
location

230 / 230 papers

  1. 1
    "The Law Doesn't Work Like a Computer": Exploring Software Licensing Issues Faced by Legal Practitioners
    Nathan Wintersgill
    ,
    Trevor Stalnaker
    ,
    Laura A. Heymann
    ,
    Oscar Chaparro
    ,
    Denys Poshyvanyk
  2. 2
    A Critical Review of Common Log Data Sets Used for Evaluation of Sequence-Based Anomaly Detection Techniques
    Max Landauer
    ,
    Florian Skopik
    ,
    Markus Wurzenberger
  3. 3
    A Deep Dive into Large Language Models for Automated Bug Localization and Repair
    Soneya Binta Hossain
    ,
    Nan Jiang
    ,
    Qiang Zhou
    ,
    Xiaopeng Li
    ,
    Wen-Hao Chiang
    ,
    Yingjun Lyu
    ,
    Hoan Anh Nguyen
    ,
    Omer Tripp
  4. 4
    A Developer's Guide to Building and Testing Accessible Mobile Apps
    Juan Pablo Sandoval Alcocer
    ,
    Leonel Merino
    ,
    Alison Fernandez-Blanco
    ,
    William Ravelo-Méndez
    ,
    Camilo Escobar-Velásquez
    ,
    Mario Linares-Vásquez
  5. 5
    A Machine Learning-Based Error Mitigation Approach for Reliable Software Development on IBM's Quantum Computers
    Asmar Muqeet
    ,
    Shaukat Ali
    ,
    Tao Yue
    ,
    Paolo Arcaini
  6. 6
    A Miss Is as Good as A Mile: Metamorphic Testing for Deep Learning Operators
    Jinyin Chen
    ,
    Chengyu Jia
    ,
    Yunjie Yan
    ,
    Jie Ge
    ,
    Haibin Zheng
    ,
    Yao Cheng
  7. 7
    A Preliminary Study on the Privacy Concerns of Using IP Addresses in Log Data
    Issam Sedki
  8. 8
    A Quantitative and Qualitative Evaluation of LLM-Based Explainable Fault Localization
    Sungmin Kang
    ,
    Gabin An
    ,
    Shin Yoo
  9. 9
    A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification
    Dirk Beyer
    ,
    Po-Chun Chien
    ,
    Marek Jankola
    ,
    Nian-Ze Lee
  10. 10
    A Tutorial on Software Engineering for FMware
    Filipe Roseiro Côgo
    ,
    Gopi Krishnan Rajbahadur
    ,
    Dayi Lin
    ,
    Ahmed E. Hassan
  11. 11
    A Vision on Open Science for the Evolution of Software Engineering Research and Practice
    Edson OliveiraJr
    ,
    Fernanda Madeiral
    ,
    Alcemir Rodrigues Santos
    ,
    Christina von Flach
    ,
    Sérgio Soares
  12. 12
    A Weak Supervision-Based Approach to Improve Chatbots for Code Repositories
    Farbod Farhour
    ,
    Ahmad Abdellatif
    ,
    Essam Mansour
    ,
    Emad Shihab
  13. 13
    Abstraction-Aware Inference of Metamorphic Relations
    Agustín Nolasco
    ,
    Facundo Molina
    ,
    Renzo Degiovanni
    ,
    Alessandra Gorla
    ,
    Diego Garbervetsky
    ,
    Mike Papadakis
    ,
    Sebastián Uchitel
    ,
    Nazareno Aguirre
    ,
    Marcelo F. Frias
  14. 14
    Active Monitoring Mechanism for Control-Based Self-Adaptive Systems
    Yi Qin
    ,
    Yanxiang Tong
    ,
    Yifei Xu
    ,
    Chun Cao
    ,
    Xiaoxing Ma
  15. 15
    Adapting Multi-objectivized Software Configuration Tuning
    Tao Chen
    ,
    Miqing Li
  16. 16
    AgraBOT: Accelerating Third-Party Security Risk Management in Enterprise Setting through Generative AI
    Mert Toslali
    ,
    Edward C. Snible
    ,
    Jing Chen
    ,
    Alan Cha
    ,
    Sandeep Singh
    ,
    Michael H. Kalantar
    ,
    Srinivasan Parthasarathy
  17. 17
    AI-Assisted Code Authoring at Scale: Fine-Tuning, Deploying, and Mixed Methods Evaluation
    Vijayaraghavan Murali
    ,
    Chandra Shekhar Maddila
    ,
    Imad Ahmad
    ,
    Michael Bolin
    ,
    Daniel Cheng
    ,
    Negar Ghorbani
    ,
    Renuka Fernandez
    ,
    Nachiappan Nagappan
    ,
    Peter C. Rigby
  18. 18
    An Analysis of the Costs and Benefits of Autocomplete in IDEs
    Shaokang Jiang
    ,
    Michael Coblenz
  19. 19
    An Empirical Study of Code Search in Intelligent Coding Assistant: Perceptions, Expectations, and Directions
    Chao Liu
    ,
    Xindong Zhang
    ,
    Hongyu Zhang
    ,
    Zhiyuan Wan
    ,
    Zhan Huang
    ,
    Meng Yan
  20. 20
    An Empirical Study on Code Review Activity Prediction and Its Impact in Practice
    Doriane Olewicki
    ,
    Sarra Habchi
    ,
    Bram Adams
  21. 21
    An Empirical Study on Focal Methods in Deep-Learning-Based Approaches for Assertion Generation
    Yibo He
    ,
    Jiaming Huang
    ,
    Hao Yu
    ,
    Tao Xie
  22. 22
    An Empirically Grounded Path Forward for Scenario-Based Testing of Autonomous Driving Systems
    Qunying Song
    ,
    Emelie Engström
    ,
    Per Runeson
  23. 23
    An LGPD Compliance Inspection Checklist to Assess IoT Solutions
    Ivonildo Pereira Gomes Neto
    ,
    João Mendes
    ,
    Waldemar Ferreira
    ,
    Luis Rivero
    ,
    Davi Viana
    ,
    Sérgio Soares
  24. 24
    Analyzing Quantum Programs with LintQ: A Static Analysis Framework for Qiskit
    Matteo Paltenghi
    ,
    Michael Pradel
  25. 25
    AndroLog: Android Instrumentation and Code Coverage Analysis
    Jordan Samhi
    ,
    Andreas Zeller
  26. 26
    Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context
    Xinyi Wang
    ,
    Shaukat Ali
    ,
    Aitor Arrieta
    ,
    Paolo Arcaini
    ,
    Maite Arratibel
  27. 27
    Are Human Rules Necessary? Generating Reusable APIs with CoT Reasoning and In-Context Learning
    Yubo Mai
    ,
    Zhipeng Gao
    ,
    Xing Hu
    ,
    Lingfeng Bao
    ,
    Yu Liu
    ,
    Jianling Sun
  28. 28
    AROMA: Automatic Reproduction of Maven Artifacts
    Mehdi Keshani
    ,
    Tudor-Gabriel Velican
    ,
    Gideon Bot
    ,
    Sebastian Proksch
  29. 29
    ASAC: A Benchmark for Algorithm Synthesis
    Zhao Zhang
    ,
    Yican Sun
    ,
    Ruyi Ji
    ,
    Siyuan Li
    ,
    Xuanyu Peng
    ,
    Zhechong Huang
    ,
    Sizhe Li
    ,
    Tianran Zhu
    ,
    Yingfei Xiong
  30. 30
    ATheNA-S: A Testing Tool for Simulink Models Driven by Software Requirements and Domain Expertise
    Federico Formica
    ,
    Mohammad Mahdi Mahboob
    ,
    Mehrnoosh Askarpour
    ,
    Claudio Menghi
  31. 31
    Automated End-to-End Dynamic Taint Analysis for WhatsApp
    Sopot Cela
    ,
    Andrea Ciancone
    ,
    Per Gustafsson
    ,
    Ákos Hajdu
    ,
    Yue Jia
    ,
    Timotej Kapus
    ,
    Maksym Koshtenko
    ,
    Will Lewis
    ,
    Ke Mao
    ,
    Dragos Martac
  32. 32
    Automated Root Causing of Cloud Incidents using In-Context Learning with GPT-4
    Xuchao Zhang
    ,
    Supriyo Ghosh
    ,
    Chetan Bansal
    ,
    Rujia Wang
    ,
    Minghua Ma
    ,
    Yu Kang
    ,
    Saravan Rajmohan
  33. 33
    Automated Unit Test Improvement using Large Language Models at Meta
    Nadia Alshahwan
    ,
    Jubin Chheda
    ,
    Anastasia Finogenova
    ,
    Beliz Gokkaya
    ,
    Mark Harman
    ,
    Inna Harper
    ,
    Alexandru Marginean
    ,
    Shubho Sengupta
    ,
    Eddy Wang
  34. 34
    Automating Issue Reporting in Software Testing: Lessons Learned from Using the Template Generator Tool
    Lennon Chaves
    ,
    Flavia Camila Morais Oliveira
    ,
    Leonardo Tiago
  35. 35
    AutoOffAB: Toward Automated Offline A/B Testing for Data-Driven Requirement Engineering
    Jie JW Wu
  36. 36
    BARO: Robust Root Cause Analysis for Microservices via Multivariate Bayesian Online Change Point Detection
    Luan Pham
    ,
    Huong Ha
    ,
    Hongyu Zhang
  37. 37
    Beyond Code Generation: An Observational Study of ChatGPT Usage in Software Engineering Practice
    Ranim Khojah
    ,
    Mazen Mohamad
    ,
    Philipp Leitner
    ,
    Francisco Gomes de Oliveira Neto
  38. 38
    Bin2Summary: Beyond Function Name Prediction in Stripped Binaries with Functionality-Specific Code Embeddings
    Zirui Song
    ,
    Jiongyi Chen
    ,
    Kehuan Zhang
  39. 39
    Bloat beneath Python's Scales: A Fine-Grained Inter-Project Dependency Analysis
    Georgios-Petros Drosos
    ,
    Thodoris Sotiropoulos
    ,
    Diomidis Spinellis
    ,
    Dimitris Mitropoulos
  40. 40
    Bounding Random Test Set Size with Computational Learning Theory
    Neil Walkinshaw
    ,
    Michael Foster
    ,
    José Miguel Rojas
    ,
    Robert M. Hierons
  41. 41
    BRF: Fuzzing the eBPF Runtime
    Hsin-Wei Hung
    ,
    Ardalan Amiri Sani
  42. 42
    Building Software Engineering Capacity through a University Open Source Program Office
    Ekaterina A. Holdener
    ,
    Daniel Shown
  43. 43
    Can GPT-4 Replicate Empirical Software Engineering Research?
    Jenny T. Liang
    ,
    Carmen Badea
    ,
    Christian Bird
    ,
    Robert DeLine
    ,
    Denae Ford
    ,
    Nicole Forsgren
    ,
    Thomas Zimmermann
  44. 44
    Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions?
    Madeline Endres
    ,
    Sarah Fakhoury
    ,
    Saikat Chakraborty
    ,
    Shuvendu K. Lahiri
  45. 45
    CC2Vec: Combining Typed Tokens with Contrastive Learning for Effective Code Clone Detection
    Shihan Dou
    ,
    Yueming Wu
    ,
    Haoxiang Jia
    ,
    Yuhao Zhou
    ,
    Yan Liu
    ,
    Yang Liu
  46. 46
    Chain-of-Event: Interpretable Root Cause Analysis for Microservices through Automatically Learning Weighted Event Causal Graph
    Zhenhe Yao
    ,
    Changhua Pei
    ,
    Wenxiao Chen
    ,
    Hanzhang Wang
    ,
    Liangfei Su
    ,
    Huai Jiang
    ,
    Zhe Xie
    ,
    Xiaohui Nie
    ,
    Dan Pei
  47. 47
    ChangeRCA: Finding Root Causes from Software Changes in Large Online Systems
    Guangba Yu
    ,
    Pengfei Chen
    ,
    Zilong He
    ,
    Qiuyu Yan
    ,
    Yu Luo
    ,
    Fangyuan Li
    ,
    Zibin Zheng
  48. 48
    Characterizing Python Library Migrations
    Mohayeminul Islam
    ,
    Ajay Kumar Jha
    ,
    Ildar Akhmetov
    ,
    Sarah Nadi
  49. 49
    ChatUniTest: A Framework for LLM-Based Test Generation
    Yinghao Chen
    ,
    Zehao Hu
    ,
    Chen Zhi
    ,
    Junxiao Han
    ,
    Shuiguang Deng
    ,
    Jianwei Yin
  50. 50
    Checking Complex Source Code-Level Constraints using Runtime Verification
    Joshua Heneage Dawes
    ,
    Domenico Bianculli