ICSE

2021–2025 確定版

著者一覧 · 国際会議 · 大学ランキング

ICSE 公式サイト ↗

Software Engineering

2025 · 245 papers

このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。

2025 · ICSE
Fuzzing MLIR Compilers with Custom Mutation Synthesis
Ben Limpanukorn, Jiyuan Wang, Hong Jin Kang, Zitong Zhou, Miryung Kim
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
GARL: Genetic Algorithm-Augmented Reinforcement Learning to Detect Violations in Marker-Based Autonomous Landing Systems
Linfeng Liang, Yao Deng, Kye Morton, Valtteri Kallinen, Alice James, Avishkar Seth, Endrowednes Kuantama, Subhas Mukhopadhyay, Richard Han, Xi Zheng
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
GVI: Guided Vulnerability Imagination for Boosting Deep Vulnerability Detectors
Heng Yong, Zhong Li, Minxue Pan, Tian Zhang, Jianhua Zhao, Xuandong Li
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
GenC2Rust: Towards Generating Generic Rust Code from C
Xiafa Wu, Brian Demsky
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Gpass: A Goal-Adaptive Neural Theorem Prover Based on Coq for Automated Formal Verification
Yizhou Chen, Zeyu Sun, Guoqing Wang, Dan Hao
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
HIFI: Explaining and Mitigating Algorithmic Bias Through the Lens of Game-Theoretic Interactions
Lingfeng Zhang, Zhaohui Wang, Yueling Zhang, Min Zhang, Jiangtao Wang
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Hedgecode: A Multi-Task Hedging Contrastive Learning Framework for Code Search
Gong Chen, Xiaoyuan Xie, Daniel Tang, Qi Xin, Wenjie Liu
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Hetrify: Efficient Verification of Heterogeneous Programs on RISC-V
Yiwei Li, Liangze Yin, Wei Dong, Jiaxin Liu, Yanfeng Hu, Shanshan Li
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Hints Help Finding and Fixing Bugs Differently in Python and Text-Based Program Representations
Ruchit Rawal, Victor-Alexandru Pădurean, Sven Apel, Adish Singla, Mariya Toneva
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities
Ruanqianqian Lisa Huang, Savitha Ravi, Michael He, Boyu Tian, Sorin Lerner, Michael Coblenz
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
HumanEvo: An Evolution-Aware Benchmark for More Realistic Evaluation of Repository-Level Code Generation
Dewu Zheng, Yanlin Wang, Ensheng Shi, Ruikai Zhang, Yuchi Ma, Hongyu Zhang, Zibin Zheng
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Hyperion: Unveiling DApp Inconsistencies Using LLM and Dataflow-Guided Symbolic Execution
Shuo Yang, Xingwei Lin, Jiachi Chen, Qingyuan Zhong, Lei Xiao, Renke Huang, Yanlin Wang, Zibin Zheng
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
INTERTRANS: Leveraging Transitive Intermediate Translations to Enhance LLM-Based Code Translation
Marcos Macedo, Yuan Tian, Pengyu Nie, Filipe R. Cogo, Bram Adams
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation
Yuyang Rong, Zhanghan Yu, Zhenkai Weng, Stephen Neuendorffer, Hao Chen
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Improved Detection and Diagnosis of Faults in Deep Neural Networks Using Hierarchical and Explainable Classification
Sigma Jahan, Mehil B Shah, Parvez Mahbub, Mohammad Masudur Rahman
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Increasing the Effectiveness of Automatically Generated Tests by Improving Class Observability
Geraldine Galindo-Gutierrez, Juan Pablo Sandoval Alcocer, Nicolas Jimenez-Fuentes, Alexandre Bergel, Gordon Fraser
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Instruct or Interact? Exploring and Eliciting LLMs' Capability in Code Snippet Adaptation Through Prompt Engineering
Tanghaoran Zhang, Yue Yu, Xinjun Mao, Shangwen Wang, Kang Yang, Yao Lu, Zhang Zhang, Yuxin Zhao
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Instrumentation-Driven Evolution-Aware Runtime Verification
Kevin Guan, Owolabi Legunsen
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Insvdf: Interface-State-Aware Virtual Device Fuzzing
Zexiang Zhang, Gaoning Pan, Ruipeng Wang, Yiming Tao, Zulie Pan, Cheng Tu, Min Zhang, Yang Li, Yi Shen, Chunming Wu
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Intention is All you Need: Refining your Code from your Intention
Qi Guo, Xiaofei Xie, Shangqing Liu, Ming Hu, Xiaohong Li, Lei Bu
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs
Chenxi Zhang, Yufei Liang, Tian Tan, Chang Xu, Shuangxiang Kan, Yulei Sui, Yue Li
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Investigating the Impact of Interpersonal Challenges on Feeling Welcome in OSS
Bianca Trinkenreich, Zixuan Feng, Rudrajit Choudhuri, Marco Gerosa, Anita Sarma, Igor Steinmacher
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Invivo Fuzzing by Amplifying Actual Executions
Octavio Galland, Marcel Böhme
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Iterative Generation of Adversarial Example for Deep Code Models
Li Huang, Weifeng Sun, Meng Yan
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Janus: Detecting Rendering Bugs in Web Browsers via Visual Delta Consistency
Chijin Zhou, Quan Zhang, Bingzhou Qian, Yu Jiang
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Knowledge-Enhanced Program Repair for Data Science Code
Shuyin Ouyang, Jie M. Zhang, Zeyu Sun, Albert Merono Penuela
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
LLM Assistance for Memory Safety
Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
LLM Based Input Space Partitioning Testing for Library APIs
Jiageng Li, Zhen Dong, Chong Wang, Haozhen You, Cen Zhang, Yang Liu, Xin Peng
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed Aerial Systems
Venkata Sai Aswath Duvvuru, Bohan Zhang, Michael Vierhauser, Ankit Agrawal
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
LLM-Aided Automatic Modeling for Security Protocol Verification
Ziyu Mao, Jingyi Wang, Jun Sun, Shengchao Qin, Jiawen Xiong
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
LLMs Meet Library Evolution: Evaluating Deprecated API Usage in LLM-Based Code Completion
Chong Wang, Kaifeng Huang, Jian Zhang, Yebo Feng, Lyuye Zhang, Yang Liu, Xin Peng
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
LWDIFF: an LLM-Assisted Differential Testing Framework for Webassembly Runtimes
Shiyao Zhou, Jincheng Wang, He Ye, Hao Zhou, Claire Le Goues, Xiapu Luo
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Large Language Models as Configuration Validators
Xinyu Lian, Yinfang Chen, Runxiang Cheng, Jie Huang, Parth Thakkar, Minjia Zhang, Tianyin Xu
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Large Language Models for Safe Minimization
Aashish Yadavally, Xiaokai Rong, Phat Nguyen, Tien N. Nguyen
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Leveraging Large Language Models for Enhancing the Understandability of Generated Unit Tests
Amirhossein Deljouyi, Roham Koohestani, Maliheh Izadi, Andy Zaidman
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Leveraging Large Language Models to Detect NPM Malicious Packages
Nusrat Zahan, Philipp Burckhardt, Mikola Lysenko, Feross Aboukhadijeh, Laurie Williams
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Leveraging Propagated Infection to Crossfire Mutants
Hang Du, Vijay Krishna Palepu, James A. Jones
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
LiSSA: Toward Generic Traceability Link Recovery Through Retrieval-Augmented Generation
Dominik Fuchß, Tobias Hey, Jan Keim, Haoyu Liu, Niklas Ewald, Tobias Thirolf, Anne Koziolek
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
LibreLog: Accurate and Efficient Unsupervised Log Parsing Using Open-Source Large Language Models
Zeyang Ma, Dong Jae Kim, Tse-Hsun Peter Chen
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Licoeval: Evaluating LLMs on License Compliance in Code Generation
Weiwei Xu, Kai Gao, Hao He, Minghui Zhou
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries
Sehoon Kim, Yonghyeon Kim, Dahyeon Park, Yuseok Jeon, Jooyong Yi, Mijung Kim
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
MAGIKA: AI-Powered Content-Type Detection
Yanick Fratantonio, Luca Invernizzi, Loua Farah, Kurt Thomas, Marina Zhang, Ange Albertini, Francois Galilee, Giancarlo Metitieri, Julien Cretin, Alex Petit-Bianco, David Tao, Elie Bursztein
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
MARQ: Engineering Mission-Critical AI-Based Software with Automated Result Quality Adaptation
Uwe Gropengießer, Elias Dietz, Florian Brandherm, Achref Doula, Osama Abboud, Xun Xiao, Max Mühlhäuser
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Measuring the Runtime Performance of C++ Code Written by Humans Using Github Copilot
Daniel Erhabor, Sreeharsha Udayashankar, Meiyappan Nagappan, Samer Al-Kiswany
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Metamorphic-Based Many-Objective Distillation of LLMs for Code-Related Tasks
Annibale Panichella
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Mobile Application Coverage: The 30% Curse and Ways Forward
Faridah Akinotcho, Lili Wei, Julia Rubin
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Mock Deep Testing: Toward Separate Development of Data and Models for Deep Learning
Ruchira Manke, Mohammad Wardat, Foutse Khomh, Hridesh Rajan
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Model Editing for LLMs4Code: How Far are we?
Xiaopeng Li, Shangwen Wang, Shasha Li, Jun Ma, Jie Yu, Xiaodong Liu, Jing Wang, Bin Ji, Weimin Zhang
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Module-Aware Context Sensitive Pointer Analysis
Haofeng Li, Chenghang Shi, Jie Lu, Lian Li, Zixuan Zhao
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Moye: A Wallbreaker for Monolithic Firmware
Jintao Huang, Kai Yang, Gaosheng Wang, Zhiqiang Shi, Zhiwen Pan, Shichao Lv, Limin Sun
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
NIODebugger: A Novel Approach to Repair Non-Idempotent-Outcome Tests with LLM-Based Agent
Kaiyao Ke
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Navigating the Testing of Evolving Deep Learning Systems: An Exploratory Interview Study
Hanmo You, Zan Wang, Bin Lin, Junjie Chen
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Neurosymbolic Modular Refinement Type Inference
Georgios Sakkas, Pratyush Sahu, Kyeling Ong, Ranjit Jhala
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
No Harness, No Problem: Oracle-guided Harnessing for Auto-generating C API Fuzzing Harnesses
Gabriel Sherman, Stefan Nagy
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
On Prescription or Off Prescription? An Empirical Study of Community-Prescribed Security Configurations for Kubernetes
Shazibul Islam Shamim, Hanyang Hu, Akond Rahman
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations
Rajdeep Singh Hundal, Yan Xiao, Xiaochun Cao, Jin Song Dong, Manuel Rigger
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
PUPPY: Finding Performance Degradation Bugs in DBMSs via Limited-Optimization Plan Construction
Zhiyong Wu, Jie Liang, Jingzhou Fu, Mingzhe Wang, Yu Jiang
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps
Menglong Chen, Tian Tan, Minxue Pan, Yue Li
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
PairSmell: A Novel Perspective Inspecting Software Modular Structure
Chenxing Zhong, Daniel Feitosa, Paris Avgeriou, Huang Huang, Yue Li, He Zhang
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Parametric Falsification of Many Probabilistic Requirements Under Flakiness
Matteo Camilli, Raffaela Mirandola
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Patch Synthesis for Property Repair of Deep Neural Networks
Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Jingyi Wang, Xiaowe Huang, Lijun Zhang
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Pattern-Based Generation and Adaptation of Quantum Workflows
Martin Beisel, Johanna Barzen, Frank Leymann, Lavinia Stiliadou, Daniel Vietz, Benjamin Weder
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Planning a Large Language Model for Static Detection of Runtime Errors in Code Snippets
Smit Patel, Aashish Yadavally, Hridya Dhulipala, Tien N. Nguyen
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Practical Object-Level Sanitizer with Aggregated Memory Access and Custom Allocator
Xiaolei Wang, Ruilin Li, Bin Zhang, Chao Feng, Chaojing Tang
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements
Huaijin Wang, Zhibo Liu, Yanbo Dai, Shuai Wang, Qiyi Tang, Sen Nie, Shi Wu
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Prompt-to-SQL Injections in LLM-Integrated Web Applications: Risks and Defenses
Rodrigo Pedro, Miguel E. Coimbra, Daniel Castro, Paulo Carreira, Nuno Santos
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning
Alex Sanchez-Stern, Abhishek Varghese, Zhanna Kaufman, Dylan Zhang, Talia Ringer, Yuriy Brun
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
RLCoder: Reinforcement Learning for Repository-Level Code Completion
Yanlin Wang, Yanli Wang, Daya Guo, Jiachi Chen, Ruikai Zhang, Yuchi Ma, Zibin Zheng
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation
Xue Jiang, Yihong Dong, Yongding Tao, Huanyu Liu, Zhi Jin, Ge Li
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
ROSA: Finding Backdoors with Fuzzing
Dimitri Kokkonis, Michaël Marcozzi, Emilien Decoux, Stefano Zacchiroli
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, João F. Ferreira, Sorin Lerner, Emily First
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Ranking Relevant Tests for Order-Dependent Flaky Tests
Shanto Rahman, Bala Naren Chanumolu, Suzzana Rafi, August Shi, Wing Lam
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Reasoning Runtime Behavior of a Program with LLM: How Far are We?
Junkai Chen, Zhiyuan Pan, Xing Hu, Zhenhao Li, Ge Li, Xin Xia
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
RediI: Test Infrastructure to Enable Deterministic Reproduction of Failures for Distributed Systems
Yang Feng, Zheyuan Lin, Dongchen Zhao, Mengbo Zhou, Jia Liu, James A. Jones
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Reduce Dependence for Sound Concurrency Bug Prediction
Shihao Zhu, Yuqi Guo, Yan Cai, Bin Liang, Long Zhang, Rui Chen, Tingting Yu
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Relationship Status: “It's Complicated” Developer-Security Expert Dynamics in Scrum
Houda Naji, Marco Gutfleisch, Alena Naiakshina
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
RepairAgent: An Autonomous, LLM-Based Agent for Program Repair
Islem Bouzenia, Premkumar Devanbu, Michael Pradel
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Repository-Level Graph Representation Learning for Enhanced Security Patch Detection
Xin-Cheng Wen, Zirui Lin, Cuiyun Gao, Hongyu Zhang, Yong Wang, Qing Liao
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models
Aidan Z.H. Yang, Sophia Kolak, Vincent Hellendoorn, Ruben Martins, Claire Le Goues
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Rug: Turbo Llm for Rust Unit Test Generation
Xiang Cheng, Fan Sang, Yizhuo Zhai, Xiaokuan Zhang, Taesoo Kim
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code
Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
SECRET: Towards Scalable and Efficient Code Retrieval via Segmented Deep Hashing
Wenchao Gu, Ensheng Shi, Yanlin Wang, Lun Du, Shi Han, Hongyu Zhang, Dongmei Zhang, Michael R. Lyu
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
SOEN-101: Code Generation by Emulating Software Process Models Using Large Language Model Agents
Feng Lin, Dong Jae Kim, Tse-Hsun Chen
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Sand: Decoupling Sanitization from Fuzzing for Low Overhead
Ziqiao Kong, Shaohua Li, Heqing Huang, Zhendong Su
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Scenario-Driven and Context-Aware Automated Accessibility Testing for Android Apps
Yuxin Zhang, Sen Chen, Xiaofei Xie, Zibo Liu, Lingling Fan
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Search-Based LLMs for Code Optimization
Shuzheng Gao, Cuiyun Gao, Wenchao Gu, Michael R. Lyu
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
SeeAction: Towards Reverse Engineering How-What-Where of HCI Actions from Screencasts for UI Automation
Dehai Zhao, Zhenchang Xing, Qinghua Lu, Xiwei Xu, Liming Zhu
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Selecting Initial Seeds for Better JVM Fuzzing
Tianchang Gao, Junjie Chen, Dong Wang, Yile Guo, Yingquan Zhao, Zan Wang
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Show Me Your Code! Kill Code Poisoning: A Lightweight Method Based on Code Naturalness
Weisong Sun, Yuchen Chen, Mengzhe Yuan, Chunrong Fang, Zhenpeng Chen, Chong Wang, Yang Liu, Baowen Xu, Zhenyu Chen
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Similar but Patched Code Considered Harmful: The Impact of Similar but Patched Code on Recurring Vulnerability Detection and How to Remove Them
Zixuan Tan, Jiayuan Zhou, Xing Hu, Shengyi Pan, Kui Liu, Xin Xia
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Smartreco: Detecting Read-Only Reentrancy via Fine-Grained Cross-DApp Analysis
Jingwen Zhang, Zibin Zheng, Yuhong Nan, Mingxi Ye, Kaiwen Ning, Yu Zhang, Weizhe Zhang
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Software Model Evolution with Large Language Models: Experiments on Simulated, Public, and Industrial Datasets
Christof Tinnes, Alisa Welter, Sven Apel
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Source Code Summarization in the Era of Large Language Models
Weisong Sun, Yun Miao, Yuekang Li, Hongyu Zhang, Chunrong Fang, Yi Liu, Gelei Deng, Yang Liu, Zhenyu Chen
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
Lezhi Ma, Shangqing Liu, Yi Li, Xiaofei Xie, Lei Bu
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
SpecRover: Code Intent Extraction via LLMs
Haifeng Ruan, Yuntong Zhang, Abhik Roychoudhury
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Static Analysis of Remote Procedure Call in Java Programs
Baoquan Cui, Rong Qu, Zhen Tang, Jian Zhang
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Studying Programmers Without Programming: Investigating Expertise Using Resting State fMRI
Zachary Karas, Benjamin Gold, Violet Zhou, Noah Reardon, Thad Polk, Catie Chang, Yu Huang
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
Synthesizing Document Database Queries Using Collection Abstractions
Qikang Liu, Yang He, Yanwen Cai, Byeongguk Kwak, Yuepeng Wang
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference
Chong Wang, Jian Zhang, Yiling Lou, Mingwei Liu, Weisong Sun, Yang Liu, Xin Peng
Software Engineering
日本大学: 関与なし（対象大学）
2025 · ICSE
TOGLL: Correct and Strong Test Oracle Generation with LLMS
Soneya Binta Hossain, Matthew B. Dwyer
Software Engineering
日本大学: 関与なし（対象大学）