Conferences · eligible papers
FSE
2022–2026 LIVE
2026 · 211 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- LLM-Assisted Input-Requirement-Aware Differential Testing of Array Programming Frameworks
日本大学: 関与なし（対象大学）
- Large Language Models for Opaque Predicate Resolution: A Universal Control Flow Deobfuscation Framework
日本大学: 関与なし（対象大学）
- LinkAnchor: An Autonomous LLM-Based Agent for Issue-to-Commit Link Recovery
日本大学: 関与なし（対象大学）
- LoCaL: Countering Surface Bias in Code Evaluation Metrics
日本大学: 関与なし（対象大学）
- Look Before You Leap: Context-Sensitive GUI Grounding for Boosting Automated Extended Reality (XR) Testing
日本大学: 関与なし（対象大学）
- MR-Coupler: Automated Metamorphic Test Generation via Functional Coupling Analysis
日本大学: 関与なし（対象大学）
- MetaRCA: A Generalizable Root Cause Analysis Framework for Cloud-Native Systems Powered by Meta Causal Knowledge
日本大学: 関与なし（対象大学）
- Mining Long Tail Bugs: Identifying Rare and Overlooked Issues in Code
日本大学: 関与なし（対象大学）
- Mitigating Prompt-Induced Cognitive Biases in General-Purpose AI for Software Engineering
日本大学: 関与なし（対象大学）
- Mitigating the Risk of Defects and Improving Knowledge Distribution with Code Reviewer Recommenders
日本大学: 関与なし（対象大学）
- Multi-LLM Persona Generation for Virtual Focus Groups in Software Engineering: A Controlled, Multi-domain Study of Emotional Requirements Elicitation
日本大学: 関与なし（対象大学）
- NESA: Relational Neuro-Symbolic Static Program Analysis
日本大学: 関与なし（対象大学）
- Natural Language-Focused Software Engineering via Code-Documentation Equivalence
日本大学: 関与なし（対象大学）
- Neuron-Guided Interpretation of Code LLMs: Where, Why, and How?
日本大学: 関与なし（対象大学）
- Not All RAGs Are Created Equal: A Component-Wise Empirical Study for Software Engineering Tasks
日本大学: 関与なし（対象大学）
- OCPPuzz: Specification-Driven Fuzzing of Charging Station Management Systems with Large Language Model
日本大学: 関与なし（対象大学）
- OdoTest: An Automated Testing Approach for Odometry Systems
日本大学: 関与なし（対象大学）
- Odyssey: Hunting Smart Contract Vulnerabilities with Fine-Grained State Modeling and Exploration
日本大学: 関与なし（対象大学）
- On the Road to Personalized Code Intelligence: Portraiting and Assisting Developers Based on Their In-IDE Behaviors
日本大学: 関与なし（対象大学）
- One Size Does Fit All: Exploring Model Fusion for Software Engineering Tasks
日本大学: 関与なし（対象大学）
- One Size Does Not Fit All: Revisiting Code Context Engineering for Repository-Level Code Generation
日本大学: 関与なし（対象大学）
- PROGnosticator: Testing Source-to-Source Code Translators via Construct-Oriented Fuzzing
日本大学: 関与なし（対象大学）
- Phantom Rendering Detection: Identifying and Analyzing Unnecessary UI Computations
日本大学: 関与なし（対象大学）
- Pig: Leveraging Large Language Models for Python Library Migrations
日本大学: 関与なし（対象大学）
- PlayCoder: Making LLM-Generated GUI Code Playable
日本大学: 関与なし（対象大学）
- PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages
日本大学: 関与なし（対象大学）
- Precondition Synthesis for Deep Neural Networks with Statistical Guarantees
日本大学: 関与なし（対象大学）
- Project-Level C-to-Rust Translation via Pointer Knowledge Graphs
日本大学: 関与なし（対象大学）
- ProofFusion: Improving Neural Theorem Proving via Adaptive Retrieval-Augmented Reasoning
日本大学: 関与なし（対象大学）
- Property Refinement in Linear Temporal Logic: Formal Semantics and Algorithms for Software Verification
日本大学: 関与なし（対象大学）
- Protocol Reverse Engineering via Deep Transfer Learning
日本大学: 関与なし（対象大学）
- PuzzleMark: Implicit Jigsaw Learning for Robust Code Dataset Watermarking in Neural Code Completion Models
日本大学: 関与なし（対象大学）
- QuanForge: A Mutation Testing Framework for Quantum Neural Networks
日本大学: 九州大学
- RAT: Retrieval-Augmented Testing of Certificate Revocation List Parsers in TLS Implementations
日本大学: 関与なし（対象大学）
- ReDef: Do Code Language Models Truly Understand Code Changes for Just-in-Time Software Defect Prediction?
日本大学: 関与なし（対象大学）
- ReFLAIR: Detecting Responsive Layout Reflow Issues using Multimodal Generative AI
日本大学: 関与なし（対象大学）
- ReGA: Model-Based Safeguard for LLMs via Representation-Guided Abstraction
日本大学: 関与なし（対象大学）
- RealBench: A Repo-Level Code Generation Benchmark Aligned with Real-World Software Development Practices
日本大学: 関与なし（対象大学）
- Recommending Usability Improvements with Multimodal Large Language Models
日本大学: 関与なし（対象大学）
- Red Teaming LLMs via Linguistic-Aware Fuzzing
日本大学: 関与なし（対象大学）
- Reducing Cost of LLM Agents with Trajectory Reduction
日本大学: 関与なし（対象大学）
- Reducing Coverage-Equivalent Inputs in Grammar-Based Fuzzing by Avoiding Recurrent Rule Sequences
日本大学: 関与なし（対象大学）
- Reducing the TCB of SGX-Oriented LibOSes at Runtime
日本大学: 関与なし（対象大学）
- RepoReasoner: Evaluating Repository-Level Code Reasoning Ability of Long-Context Language Models
日本大学: 関与なし（対象大学）
- Rethinking the Evaluation of Microservice RCA with a Fault Propagation-Aware Benchmark
日本大学: 関与なし（対象大学）
- Revealing Regressions: A Comparative Study of State-Capture Strategies in Validating Program Behavior
日本大学: 関与なし（対象大学）
- Reward-Free Code Alignment from Pretrained or Fine-Tuned LLM: Unpacking the Trade-offs for Code Generation
日本大学: 関与なし（対象大学）
- SBridge: Identifying Source-to-Binary Function Similarity via Cross-Domain Control Block Matching
日本大学: 関与なし（対象大学）
- SQLiFuzz: Uncovering SQL Injection in Any Web Applications
日本大学: 関与なし（対象大学）
- SWE Data Construction, Automatically!
日本大学: 関与なし（対象大学）
- SWR-Bench: Assessing LLM Performance in Real-World Code Review Comment Generation
日本大学: 関与なし（対象大学）
- Satisfiability Solving with LLMs: A Matched-Pair Evaluation of Reasoning Capability
日本大学: 関与なし（対象大学）
- ScanCoder: Leveraging Human Attention Patterns to Enhance LLMs for Code
日本大学: 関与なし（対象大学）
- Semantics-Guided Control-Flow Reconstruction for Firmware Binaries via Static Analysis
日本大学: 関与なし（対象大学）
- Small Is Beautiful: A Practical and Efficient Log Parsing Framework
日本大学: 関与なし（対象大学）
- SmarTrim: Symbolic Execution for Smart Contracts Powered by Redundant Transaction-Sequence Pruning
日本大学: 関与なし（対象大学）
- SmartCoder-R1: Towards Secure and Explainable Smart Contract Generation with Security-Aware Group Relative Policy Optimization
日本大学: 関与なし（対象大学）
- SmartDispatch: Dynamic Substitution of NumPy-Style APIs on Heterogeneous CPU-GPU Systems
日本大学: 関与なし（対象大学）
- SmartIFSyn: Automated Information Flow Security Policy Synthesis for Smart Contracts
日本大学: 関与なし（対象大学）
- SnakeCharmer: Automatic Fuzzing Harness Generation for Pure and Hybrid Python Libraries
日本大学: 関与なし（対象大学）
- Sound Termination and Non-termination Analysis of C Programs with Bit-Precise Bounded Semantics and Advanced Constructs
- SpecWeaver: End-to-End HTTP API Specification Inference across Multi-layer Routing in Production Web Services
日本大学: 関与なし（対象大学）
- Spectrum-Based Failure Attribution for Multi-agent Systems
日本大学: 関与なし（対象大学）
- Speculate: Generating REST API Specifications using LLMs
日本大学: 関与なし（対象大学）
- StepFly: Agentic Troubleshooting Guide Automation for Incident Diagnosis
日本大学: 関与なし（対象大学）
- Still Manual? Automated Linter Configuration via DSL-Based LLM Compilation of Coding Standards
日本大学: 関与なし（対象大学）
- Structure-Aware Delta Debugging with Geometric-Information Weights
日本大学: 関与なし（対象大学）
- SwarmBox: A Plug-and-Play Drone Swarm Framework for Streamlined Development and Comprehensive Analysis
日本大学: 関与なし（対象大学）
- TLR: Codebase-Level C Memory Management Error Repair with Large Language Models
日本大学: 関与なし（対象大学）
- TORAI: Multi-source Root Cause Analysis for Blind Spots in Microservice Service Call Graph
日本大学: 関与なし（対象大学）
- TSGuard: Automated User-Centric Incident Diagnosis for AI Workloads in the Cloud
日本大学: 関与なし（対象大学）
- TUSR: A Test Unit-Based Framework for Repairing Obsolete GUI Test Scripts
日本大学: 関与なし（対象大学）
- TestTailor: Generating High-Coverage Tests via Path-Proximal Tests with LLMs
日本大学: 関与なし（対象大学）
- The Effect of Complexity and Provenance on Code Review Decisions: Evidence from a Controlled Experiment
日本大学: 関与なし（対象大学）
- Thought Is All You Need: Smart Contract Vulnerability Detection with Thought-Augmented Large Language Model
日本大学: 関与なし（対象大学）
- Three Heads Are Better Than One: A Multi-perspective Reasoning Framework for Enhanced Vulnerability Detection
日本大学: 関与なし（対象大学）
- Towards Automated Crowdsourced Testing via Personified-LLM
日本大学: 関与なし（対象大学）
- Towards Automated Smart Contract Generation: Evaluation, Benchmarking, and Retrieval-Augmented Repair
日本大学: 関与なし（対象大学）
- Towards Secure Logging: Characterizing and Benchmarking Logging Code Security Issues with LLMs
日本大学: 関与なし（対象大学）
- Towards the Localization of Multi-Root-Cause Failures in Microservice Systems: An Active Intervention Framework
日本大学: 関与なし（対象大学）
- ToxiShield: Promoting Inclusive Developer Communication through Real-Time Toxicity Filtering
日本大学: 関与なし（対象大学）
- TransAgent: Enhancing LLM-Based Code Translation via Fine-Grained Execution Alignment
日本大学: 関与なし（対象大学）
- TransLibEval: Demystify Large Language Models’ Capability in Third-Party Library-Targeted Code Translation
日本大学: 関与なし（対象大学）
- Two-Level Adaptation for Budget-Constrained Continuous Dynamic Dependence Analysis
日本大学: 関与なし（対象大学）
- TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing
日本大学: 関与なし（対象大学）
- UNICS: Multilingual Code Search via Unified Pseudocode and Contrastive Transfer Learning
日本大学: 関与なし（対象大学）
- Uncovering Similar but Different Packages in PyPI and Potential Security Threats
日本大学: 関与なし（対象大学）
- Understanding Binary Code Similarity for Real-World Vulnerability Detection: A Large-Scale Empirical Study
日本大学: 関与なし（対象大学）
- Understanding Code Similarity across Instruction Set Architectures: An Empirical Study
日本大学: 関与なし（対象大学）
- Understanding Performance Problems in CUDA Programs
日本大学: 関与なし（対象大学）
- Understanding and Predicting Accepted Code Suggestions in AI-Assisted Programming
日本大学: 関与なし（対象大学）
- Understanding the Limitations of C/C++ Binary Third-Party Library Detection Tool: An Empirical Study at Scale
日本大学: 関与なし（対象大学）
- Understanding, Detecting, and Repairing Real-World In-Context-Learning-Based Text-to-SQL Errors
日本大学: 関与なし（対象大学）
- Unfulfilled Promises: LLM-Based Detection of OS Compatibility Issues in Infrastructure as Code
日本大学: 関与なし（対象大学）
- Unleashing HPC Application Performance through Software Deployment: A Joint Model of Software Parallelism and Co-location
日本大学: 関与なし（対象大学）
- Unveiling AI-Driven Web Applications: Insights into Characteristics, Functionality, and Compliance
日本大学: 関与なし（対象大学）
- Unveiling the Fragility of Binary Code Similarity Detection via Targeted Attacks with Model Explanations
日本大学: 関与なし（対象大学）
- V2E: Validating Smart Contract Vulnerabilities through Profit-Driven Exploit Generation and Execution
日本大学: 関与なし（対象大学）
- Validating LLM-Generated SQL Queries through Metamorphic Prompting
日本大学: 関与なし（対象大学）
- Verifying Smart Contract Security against Re-entrancy Attacks through Relational Value Analysis
日本大学: 関与なし（対象大学）