Conferences · eligible papers
ICSE
2022–2026 LIVE
2026 · 321 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- "Game Changer" or "Overenthusiastic Drunk Acquaintance"? Generative AI Use by Blind and Low Vision Software Professionals in the Workplace
日本大学: 関与なし（対象大学）
- "Making Our Life Less Monotonous" or "Just Tick Things Off": An Exploratory Multi-Method Study of Toil
日本大学: 関与なし（対象大学）
- "Maybe We Need Some More Examples:" Individual and Team Drivers of Developer GenAI Tool Use
日本大学: 関与なし（対象大学）
- 3D Software Synthesis Driven by Constraint-Expressive Intermediate Representation
日本大学: 関与なし（対象大学）
- A Causal Perspective on Measuring, Explaining and Mitigating Smells in LLM-Generated Code
日本大学: 関与なし（対象大学）
- A Comparison of Conversational Models and Humans in Answering Technical Questions: the Firefox Case
日本大学: 関与なし（対象大学）
- A Comprehensive Study of Concurrency Bugs in the Linux Kernel
日本大学: 関与なし（対象大学）
- A Comprehensive Study of Deep Learning Model Fixing Approaches
日本大学: 九州大学
- A First Look at Model Supply Chain: From the Risk Perspective
日本大学: 関与なし（対象大学）
- A Large-Scale Empirical Study of Secret Key Leakage in Hugging Face Spaces
日本大学: 関与なし（対象大学）
- A Semantic-based Optimization Approach for Repairing LLMs: Case Study on Code Generation
日本大学: 関与なし（対象大学）
- ADARULE: LLM-Driven Natural Language to LTL Conversion via Pattern-Adaptive Rule Induction
日本大学: 関与なし（対象大学）
- Accelerating IC3 Verification by Exploiting Unsatisfiable Cores and Satisfying Models
日本大学: 関与なし（対象大学）
- Accurate Inference of Termination Conditions
日本大学: 関与なし（対象大学）
- Actionable Warning Is Not Enough: Recommending Valid Actionable Warnings with Weak Supervision
日本大学: 関与なし（対象大学）
- AdapTrack: Constrained Decoding without Distorting LLM's Output Intent
日本大学: 関与なし（対象大学）
- Agent-Based Ensemble Reasoning for Repository-Level Issue Resolution
日本大学: 関与なし（対象大学）
- AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents
日本大学: 関与なし（対象大学）
- Aligning Requirement for Large Language Model's Code Generation
日本大学: 関与なし（対象大学）
- An Empirical Study of Fine-Grained Entity Relationships for Tracing Natural Language and Code Vulnerability Artifacts
日本大学: 関与なし（対象大学）
- An Empirical Study of Knowledge Distillation for Code Understanding Tasks
日本大学: 関与なし（対象大学）
- An Empirical Study of WebAssembly Usage in Node.js
日本大学: 関与なし（対象大学）
- An Empirical Study on Static Application Security Testing (SAST) Tools for Python
日本大学: 関与なし（対象大学）
- An Empirical Study on the Robustness of Android Third-Party Library Detection Tools Against Advanced Obfuscation
日本大学: 関与なし（対象大学）
- An Eye for AI: Eye-Tracking the Micro-Interruptions of GenAI Code Suggestions
日本大学: 関与なし（対象大学）
- An LLM Agentic Approach for Legal-Critical Software: A Case Study for Tax Prep Software
日本大学: 関与なし（対象大学）
- An empirical Analysis of Community and Coding Patterns in OSS4SG vs. Conventional OSS
日本大学: 関与なし（対象大学）
- AnchorDiff: Binary OSS Version Identification Method Based on Anchor Node Slicing
日本大学: 関与なし（対象大学）
- Are Humans and LLMs Confused by the Same Code? An Empirical Study on Fixation-Related Potentials and LLM Perplexity
日本大学: 関与なし（対象大学）
- Are “Solved Issues” in SWE-bench Really Solved Correctly? An Empirical Study
日本大学: 関与なし（対象大学）
- Argus: A Multi-agent Sensitive Information Leakage Detection Framework Based on Hierarchical Reference Relationships
日本大学: 関与なし（対象大学）
- AssertFlip: Reproducing Bugs via Inversion of LLM-Generated Passing Tests
日本大学: 関与なし（対象大学）
- Assessing Coherency and Consistency of Code Execution Reasoning by Large Language Models
日本大学: 関与なし（対象大学）
- AtPatch: Debugging Transformers via Hot-Fixing Over-Attention
日本大学: 関与なし（対象大学）
- Atomizer: An LLM-based Collaborative Multi-Agent Framework for Intent-Driven Commit Untangling
日本大学: 関与なし（対象大学）
- Attention Distance: A Novel Metric for Directed Fuzzing with Large Language Models
日本大学: 関与なし（対象大学）
- Attention Pruning: Automated Fairness Repair of Language Models via Surrogate Simulated Annealing
日本大学: 関与なし（対象大学）
- Automated Network-Level Fault Injection Testing of Microservice Architectures
日本大学: 関与なし（対象大学）
- Automatic Dockerfile Generation with Large Language Models
日本大学: 関与なし（対象大学）
- Automating API Documentation from Crowdsourced Knowledge
日本大学: 関与なし（対象大学）
- Automating Just-In-Time Python Type Annotation Updating
日本大学: 関与なし（対象大学）
- Automating Requirements Formalization: Using LLMs and Low-Complexity Distinguishing Traces for Semantic Validation
日本大学: 関与なし（対象大学）
- BFix: Automated Safe Memory-Leak Fixing for Binary Code
日本大学: 関与なし（対象大学）
- BTreeFuzz: Enhanced Feedback Mechanism for ROS Program Fuzzer Based on Behavior Tree
日本大学: 関与なし（対象大学）
- Back to the Basics: Rethinking Issue-Commit Linking with LLM-Assisted Retrieval
日本大学: 関与なし（対象大学）
- Bayesian Multi-Level Performance Models for Multi-Factor Variability of Configurable Software Systems
日本大学: 関与なし（対象大学）
- Beyond Adoption: Examining the Evolution and Impact of Code of Conduct on Open Source Communities
日本大学: 関与なし（対象大学）
- Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
日本大学: 関与なし（対象大学）
- Beyond Final Code: A Process-Oriented Error Analysis of Software Development Agents in Real-World GitHub Scenarios
日本大学: 関与なし（対象大学）
- Beyond Fuzzy Matching: Constraint-Guided Patch Presence Testing for Obfuscated Java Binaries
日本大学: 関与なし（対象大学）
- Boosting Gas Revenues of Ethereum Miners
日本大学: 関与なし（対象大学）
- Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
日本大学: 関与なし（対象大学）
- Breaking Single-Tester Limits: Multi-Agent LLMs for Multi-User Feature Testing
日本大学: 関与なし（対象大学）
- Breaking Strong Encapsulation: A Comprehensive Study of Java Module Abuse
日本大学: 関与なし（対象大学）
- Breaking the Alphabet: Rethinking File Ordering in Code Review
日本大学: 関与なし（対象大学）
- Bytecode-centric Detection of Known-to-be-vulnerable Dependencies in Java Projects
日本大学: 関与なし（対象大学）
- CCLInsight: Unveiling Insights in GPU Collective Communication Libraries via Primitive-Centric Analysis
日本大学: 関与なし（対象大学）
- CREME: Robustness Enhancement of Code LLMs via Layer-Aware Model Editing
日本大学: 関与なし（対象大学）
- CRUDinfer: Automated CRUD Semantics Inference for REST APIs Through Black-box Testing
日本大学: 関与なし（対象大学）
- Can SAT Solvers Keep Up With the Linux Kernel's Feature Model?
日本大学: 関与なし（対象大学）
- Causal or Correlational? A Cohort Study on the Effects of Code Smells on Class Change- and Fault-Proneness
日本大学: 関与なし（対象大学）
- Change And Cover: Last-Mile, Pull Request-Based Regression Test Augmentation
日本大学: 関与なし（対象大学）
- Characterizing GPU-accelerated Web Applications in Browsers
日本大学: 関与なし（対象大学）
- Characterizing Regression Bug‑Inducing Changes and Improving LLM‑Based Regression Bug Detection
日本大学: 関与なし（対象大学）
- Checking Unsupervised Learning for Nondeterminism and Inconsistency via SMT Solving
日本大学: 関与なし（対象大学）
- Closing the Chain: How to reduce your risk of being SolarWinds, Log4j, or XZ Utils
日本大学: 関与なし（対象大学）
- CoBrA: Context-, Branch-sensitive Static Analysis for Detecting Taint-style Vulnerabilities in PHP Web Applications
日本大学: 関与なし（対象大学）
- CoReX: Context-Aware Refinement-Based Slicing for Debugging Regression Failures
日本大学: 関与なし（対象大学）
- Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification
日本大学: 関与なし（対象大学）
- CodeMapper: A Language-Agnostic Approach to Mapping Code Regions Across Commits
日本大学: 関与なし（対象大学）
- Cognitive Biases in LLM-Assisted Software Development
日本大学: 関与なし（対象大学）
- CombCT: Compiler Testing via Combinatorial Testing
日本大学: 関与なし（対象大学）
- Comfrey: Mitigating Integration Failures in LLM-enabled Software at Run-Time
日本大学: 東京大学
- ConfLogger: Enhance Systems' Configuration Diagnosability through Configuration Logging
日本大学: 関与なし（対象大学）
- Configuration-Sensitive Linux Kernel Fuzzing
日本大学: 関与なし（対象大学）
- ConfuGuard: Using Metadata to Detect Active and Stealthy Package Confusion Attacks Accurately and at Scale
日本大学: 関与なし（対象大学）
- Connected to Stay: Gender Homophily and Its Role in Open-Source Software Developer Retention
日本大学: 関与なし（対象大学）
- Context-Free Grammar Inference for Complex Programming Languages in Black Box Settings
日本大学: 関与なし（対象大学）
- Context-Free Property Oriented Fuzzing
日本大学: 関与なし（対象大学）
- D-BUNDLR: Destructing JavaScript Bundles for Effective Static Analysis
日本大学: 関与なし（対象大学）
- DNN Modularization via Activation-Driven Training
日本大学: 関与なし（対象大学）
- DeFT: Maintaining Determinism and Extracting Unit Tests for Autonomous Driving Planning
日本大学: 関与なし（対象大学）
- Debugging Performance Issues in WebAssembly Runtimes via Mutation-based Inference
日本大学: 関与なし（対象大学）
- Decades of GNU Patch and Git Cherry-Pick: Can We Do Better?
日本大学: 関与なし（対象大学）
- Defects4REST: A Benchmark of Real-World Defects to Enable Controlled Testing and Debugging Studies for REST APIs
日本大学: 関与なし（対象大学）
- Demystifying the CVE Ecosystem: Community-Perceived Impacts and Problems
日本大学: 関与なし（対象大学）
- Dependency-aware Residual Risk Analysis
日本大学: 関与なし（対象大学）
- Depradar: Agentic Coordination for Context-Aware Defect Impact Analysis in Deep Learning Libraries
日本大学: 関与なし（対象大学）
- Designing Abandabot: When Does Open Source Dependency Abandonment Matter?
日本大学: 関与なし（対象大学）
- Diffploit: Facilitating Cross-Version Exploit Migration for Open Source Library Vulnerabilities
日本大学: 関与なし（対象大学）
- Distance-Guided Search in Program Synthesis with Imperfect LLM Solutions
日本大学: 関与なし（対象大学）
- Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
日本大学: 関与なし（対象大学）
- Dually Hierarchical Drift Adaptation for Online Configuration Performance Learning
日本大学: 関与なし（対象大学）
- DyMA-Fuzz: Dynamic Direct Memory Access Abstraction for Re-hosted Monolithic Firmware Fuzzing
日本大学: 関与なし（対象大学）
- E-Test: E'er-Improving Test Suites
日本大学: 関与なし（対象大学）
- EMC: A Semantic-Enhanced Malware Classification Method with Robustness and Scalability
日本大学: 関与なし（対象大学）
- EchoFuzz: Empowering Smart Contract Fuzzing with Large Language Models
日本大学: 関与なし（対象大学）
- Efficient Build Dependency Verification Using eBPF and Incremental Analysis
日本大学: 早稲田大学
- Efficient Strong Updates For Path Sensitive Data Dependence Analysis
日本大学: 関与なし（対象大学）
- EmbedAgent: Benchmarking Large Language Models in Embedded System Development
日本大学: 関与なし（対象大学）