Elamur Research⌕
☰
home / venues / ICSE / 2024 / papers / page 3

ICSE 2024: all accepted papers

237 papers · page 3 of 3 · the most cited first · ← ICSE 2024

1 2 3

  1. The Classics Never Go Out of Style: An Empirical Study of Downgrades from the Bazel Build Technology ↗Mahmoud Alfadel, Shane McIntosh5 citations
  2. Verifying Declarative Smart Contracts ↗Haoxian Chen, Lan Lu, Brendan Massey et al.5 citations
  3. Constraint Based Program Repair for Persistent Memory Bugs ↗Zunchen Huang, Chao Wang4 citations
  4. Finding XPath Bugs in XML Document Processors via Differential Testing ↗Shuxin Li, Manuel Rigger4 citations
  5. MiniMon: Minimizing Android Applications with Intelligent Monitoring-Based Debloating ↗Jiakun Liu, Zicheng Zhang, Xing Hu et al.4 citations
  6. Novelty Begets Popularity, But Curbs Participation - A Macroscopic View of the Python Open-Source Ecosystem ↗Hongbo Fang, James D. Herbsleb, Bogdan Vasilescu4 citations
  7. On Calibration of Pre-trained Code Models ↗Zhenhao Zhou, Chaofeng Sha, Xin Peng4 citations
  8. ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems ↗Tobias Dürschmid, Christopher S. Timperley, David Garlan et al.4 citations
  9. Revisiting Android App Categorization ↗Marco Alecci, Jordan Samhi, Tegawendé François Bissyandé et al.4 citations
  10. A First Look at the Inheritance-Induced Redundant Test Execution ↗Dong Jae Kim, Jinqiu Yang, Tse-Hsun Peter Chen3 citations
  11. Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation Experiment ↗Hammad Ahmad, Madeline Endres, Kaia Newman et al.3 citations
  12. Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory ↗Xindi Zhang, Bohan Li, Shaowei Cai3 citations
  13. Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning ↗Pingchuan Ma, Zhenlan Ji, Peisen Yao et al.3 citations
  14. Mining Pull Requests to Detect Process Anomalies in Open Source Software Development ↗Bohan Liu, He Zhang, Weigang Ma et al.3 citations
  15. ReClues: Representing and indexing failures in parallel debugging with program variables ↗Yi Song, Xihao Zhang, Xiaoyuan Xie et al.3 citations
  16. Semantic Analysis of Macro Usage for Portability ↗Brent Pappas, Paul Gazzillo3 citations
  17. Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems ↗Kadiray Karakaya, Eric Bodden3 citations
  18. Block-based Programming for Two-Armed Robots: A Comparative Study ↗Felipe Fronchetti, Nico Ritschel, Logan Schorr et al.2 citations
  19. Characterizing Software Maintenance Meetings: Information Shared, Discussion Outcomes, and Information Captured ↗Adriana Meza Soria, Taylor Lopez, Elizabeth Seero et al.2 citations
  20. Co-Creation in Fully Remote Software Teams ↗Victoria Jackson, Rafael Prikladnicki, André van der Hoek2 citations
  21. Knowledge Graph Driven Inference Testing for Question Answering Software ↗Jun Wang, Yanhui Li, Zhifei Chen et al.2 citations
  22. Object Graph Programming ↗Aditya Thimmaiah, Leonidas Lampropoulos, Christopher J. Rossbach et al.2 citations
  23. Reorder Pointer Flow in Sound Concurrency Bug Prediction ↗Yuqi Guo, Shihao Zhu, Yan Cai et al.2 citations
  24. Scalable Relational Analysis via Relational Bound Propagation ↗Clay Stevens, Hamid Bagheri2 citations
  25. SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions ↗Luiz Carlos de Sá Carvalho, Renzo Degiovanni, Maxime Cordy et al.2 citations
  26. Streamlining Java Programming: Uncovering Well-Formed Idioms with IdioMine ↗Yanming Yang, Xing Hu, Xin Xia et al.2 citations
  27. Trustworthy by Design ↗Carol J. Smith2 citations
  28. Are Your Requests Your True Needs? Checking Excessive Data Collection in VPA App ↗Fuman Xie, Chuan Yan, Mark Huasong Meng et al.1 citation
  29. Data-Driven Evidence-Based Syntactic Sugar Design ↗David OBrien, Robert Dyer, Tien N. Nguyen et al.1 citation
  30. High Expectations: An Observational Study of Programming and Cannabis Intoxication ↗Wenxin He, Manasvi Parikh, Westley R. Weimer et al.1 citation
  31. Hypertesting of Programs: Theoretical Foundation and Automated Test Generation ↗Michele Pasqua, Mariano Ceccato, Paolo Tonella1 citation
  32. ModuleGuard: Understanding and Detecting Module Conflicts in Python Ecosystem ↗Ruofan Zhu, Xingyu Wang, Chengwei Liu et al.1 citation
  33. Scaling Code Pattern Inference with Interactive What-If Analysis ↗Hong Jin Kang, Kevin Wang, Miryung Kim1 citation
  34. Software Engineering Research in a World with Generative Artificial Intelligence ↗Martin Rinard1 citation
  35. A Framework For Inferring Properties of User-Defined Functions ↗Xinyu Liu, Joy James Prabhu Arulraj, Alessandro Orso
  36. Challenges and Opportunities in Model Checking Large-scale Distributed Systems ↗Rupak Majumdar
  37. Supporting Web-Based API Searches in the IDE Using Signatures ↗Nick C. Bradley, Thomas Fritz, Reid Holmes

1 2 3

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/ieee-acm-international-conference-on-software-engineering-icse/2024/papers/page/3/