Conferences · eligible papers
FSE
2022–2026 LIVE
2026 · 211 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- A Grounded Theory of Debugging in Professional Software Engineering Practice
日本大学: 関与なし（対象大学）
- A Tuple-Oriented Sampling Method for Generating Small Pairwise Covering Arrays in Configurable Software Systems
日本大学: 関与なし（対象大学）
- A Wily Hare Has Three Havens: Combating Programmable Logic Controller Attacks via Virtualization Redundancy
日本大学: 関与なし（対象大学）
- ACME: Automated Clause Mapping Engine for Testing Emerging Database Systems
日本大学: 関与なし（対象大学）
- Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive Refinement
日本大学: 関与なし（対象大学）
- AccessDroid: Detecting Screen Reader Accessibility Issues in Android Applications via Semantics Trees
日本大学: 関与なし（対象大学）
- AccessRefinery: Fast Mining Concise Access Control Intents on Public Cloud
日本大学: 関与なし（対象大学）
- Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic Mapper
日本大学: 関与なし（対象大学）
- AdaDec: A Uncertainty-Guided Lookahead Decoding Framework for LLM-Based Code Generation
日本大学: 関与なし（対象大学）
- Adaptive Mutation Scheduling with Deep Reinforcement Learning for Smart Contract Fuzzing
日本大学: 関与なし（対象大学）
- AgentBound: Securing Execution Boundaries of AI Agents
日本大学: 関与なし（対象大学）
- Agentic Verification of Software Systems
日本大学: 関与なし（対象大学）
- Aligning with Human Coding Preferences for Improving Code Generation
日本大学: 関与なし（対象大学）
- An Empirical Study of Fuzz Harness Degradation
日本大学: 関与なし（対象大学）
- Automated Detection of Configuration-Specific Security Vulnerabilities via Patch Analysis
日本大学: 関与なし（対象大学）
- Automated Knowledge-Aware Test Reuse
日本大学: 関与なし（対象大学）
- Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables
日本大学: 関与なし（対象大学）
- Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching
日本大学: 関与なし（対象大学）
- Automating Dockerfile Refactoring to Multi-stage Builds
日本大学: 関与なし（対象大学）
- BackportBench: A Multilingual Benchmark for Automated Patch Backporting
日本大学: 関与なし（対象大学）
- Balancing Latency and Accuracy of Code Completion via Local-Cloud Model Cascading
日本大学: 関与なし（対象大学）
- Bash-Commenter: Leveraging Syntax-Aware Preference Optimization to Reinforce Large Language Model for Bash Code Comment Generation
日本大学: 関与なし（対象大学）
- Behind Defective Mobile AR Apps: Studying Reviews and Bugs of Android AR Software with Comparison to Prior Bug Studies
日本大学: 関与なし（対象大学）
- Beyond Language Boundaries: Uncovering Programming Language Families for Code Language Models
日本大学: 関与なし（対象大学）
- Binvariants: Enhancing Fuzzing of Closed-Source Binary Executables via Register-Level Likely Invariants
日本大学: 関与なし（対象大学）
- Boosting LLMs for Mutation Generation
日本大学: 関与なし（対象大学）
- Break to Adapt: Knowledge-Based Updates of Breaking Dependencies in JavaScript
日本大学: 関与なし（対象大学）
- Bringing Managed Language Support to WebAssembly with External Library Linking
日本大学: 関与なし（対象大学）
- Building Software by Rolling the Dice: A Qualitative Study of Vibe Coding
日本大学: 関与なし（対象大学）
- CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation
日本大学: 関与なし（対象大学）
- Can Old Tests Do New Tricks for Resolving SWE Issues?
日本大学: 関与なし（対象大学）
- Carbon-Taxed Transformers: A Green Compression Pipeline for Overgrown Language Models
日本大学: 関与なし（対象大学）
- Cascaded Code Editing: Large-Small Model Collaboration for Effective and Efficient Code Editing
日本大学: 関与なし（対象大学）
- Casting a SPELL: Sentence Pairing Exploration for LLM Limitation-Breaking
日本大学: 関与なし（対象大学）
- CertiCoder: Towards MISRA-Compliant C Code Generation with LLMs
日本大学: 関与なし（対象大学）
- ChainDelta: Automatic Patch-Based Exploit Generation for Ethereum with Fuzzing Agents
日本大学: 関与なし（対象大学）
- Characterizing Trust Boundary Vulnerabilities in TEE Container Systems: An Empirical Study
日本大学: 関与なし（対象大学）
- Characterizing and Mitigating False-Positive Bug Reports in the Linux Kernel
日本大学: 関与なし（対象大学）
- Chiseling Out Efficiency: Structured Skeleton Supervision for Efficient Code Generation
日本大学: 関与なし（対象大学）
- Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs
日本大学: 関与なし（対象大学）
- Co-evolution of Types and Dependencies: Towards Repository-Level Type Inference for Python Code
日本大学: 関与なし（対象大学）
- CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings
日本大学: 関与なし（対象大学）
- Coding in a Bubble? Evaluating LLMs in Resolving Context Adaptation Bugs during Code Adaptation
日本大学: 関与なし（対象大学）
- Comment Traps: How Defective Commented-Out Code Augment Defects in AI-Assisted Code Generation
日本大学: 関与なし（対象大学）
- Compiling Code LLMs into Lightweight Executables
日本大学: 関与なし（対象大学）
- Cost-Effective Testing of MPC Compilers
日本大学: 関与なし（対象大学）
- Cross-Refactoring-Type Test Program Migration for Refactoring Engines
日本大学: 関与なし（対象大学）
- CrossFit: Demystifying VM Callback Bugs in Interpreters
日本大学: 関与なし（対象大学）
- CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic Schemes
日本大学: 関与なし（対象大学）
- CuFuzz: An API-Knowledge-Graph Coverage-Driven Fuzzing Framework for CUDA Libraries
日本大学: 関与なし（対象大学）
- DECODE: Dynamic Exploration for Constraint-Guided Vulnerability Discovery in Deep Learning Operators
日本大学: 関与なし（対象大学）
- Debugging Engine Enhanced by Prior Knowledge: Can We Teach LLM How to Debug?
日本大学: 関与なし（対象大学）
- Denoising Fault Localization with Test Line Proximity
日本大学: 関与なし（対象大学）
- Deployability-Centric Infrastructure-as-Code Generation: Fail, Learn, Refine, and Succeed through LLM-Empowered DevOps Simulation
日本大学: 関与なし（対象大学）
- Detecting Bugs in Rust Compiler Fix Suggestions via Constraint-Violation-Guided Mutation
日本大学: 関与なし（対象大学）
- Detecting Code-Comment Inconsistencies in Smart Contracts by Combining LLM and Program Analysis
日本大学: 関与なし（対象大学）
- DiverFPS: Generating Diverse Solutions for Floating-Point SMT Formulas
日本大学: 関与なし（対象大学）
- Do Not Treat Code as Natural Language: Implications for Repository-Level Code Generation and Beyond
日本大学: 関与なし（対象大学）
- DuCodeMark: Dual-Purpose Code Dataset Watermarking via Style-Aware Watermark-Poison Design
日本大学: 関与なし（対象大学）
- DualCodeDetect: Zero-Shot LLM-Generated Code Detection via Dual-Channel Perturbation
日本大学: 関与なし（対象大学）
- EfficientUICoder: A Bidirectional Token Compression Framework for Efficient MLLM-Based UI Code Generation
日本大学: 関与なし（対象大学）
- Eidolon: Perform Noise-Aware Fuzzing on FHE Libraries via Equivalence Expression Transformation
日本大学: 関与なし（対象大学）
- Empirical Insights of Test Selection Metrics under Multiple Testing Objectives and Distribution Shifts
日本大学: 東京大学
- Empowering Autonomous Debugging Agents with Efficient Dynamic Analysis
日本大学: 関与なし（対象大学）
- Evaluating LLM-Based Regression Test Generation
日本大学: 関与なし（対象大学）
- Evaluating Risk and Confidence in Performance Bounds of Configuration Sampling Strategies
日本大学: 関与なし（対象大学）
- Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
日本大学: 関与なし（対象大学）
- EventADL: Open-Box Anomaly Detection and Localization Framework for Events in Cloud-Based Service Systems
日本大学: 関与なし（対象大学）
- Exorcist: Enabling Atomic-Level Runtime Detection of Spectre Attacks using Precise Event Based Sampling
日本大学: 関与なし（対象大学）
- ExpeRepair: Dual-Memory Enhanced LLM-Based Repository-Level Program Repair
日本大学: 関与なし（対象大学）
- Failing with Purpose: Dangling Coverage-Guided Negative Test Generation from a Mechanized P4 Type System
日本大学: 関与なし（対象大学）
- Failure-Based Testing for Deep Reinforcement Learning Agents
日本大学: 関与なし（対象大学）
- Fairness Testing of Large Language Models in Role-Playing
日本大学: 関与なし（対象大学）
- Feature Slice Matching for Precise Bug Detection
日本大学: 関与なし（対象大学）
- Flash: Query-Efficient Black-Box Static Malware Evasion through Transferable GAN-Guided Modification Sequences
日本大学: 関与なし（対象大学）
- Fool Me If You Can: On the Robustness of Binary Code Similarity Detection Models against Semantics-Preserving Transformations
日本大学: 関与なし（対象大学）
- From Particles to Perils: SVGD-Based Hazardous Scenario Generation for Autonomous Driving Systems Testing
日本大学: 関与なし（対象大学）
- From Specifications to Implementation in the Gen-AI Era: Lessons from a Project-Based Software Engineering Course
日本大学: 関与なし（対象大学）
- From Suspicious Signals to Crashes: Guiding Bug-Driven GUI Testing via Code-Inspired Tracing
日本大学: 関与なし（対象大学）
- GAER: Graph Auto-encoders for Unsupervised Software Architecture Recovery
日本大学: 関与なし（対象大学）
- GPU-Accelerated Flow-Sensitive Pointer Analysis for C/C++ Programs
日本大学: 関与なし（対象大学）
- GREClue: Failure Indexing with Graph-Based Failure Representation and Entropy-Based Deep Clustering
日本大学: 関与なし（対象大学）
- GUIMigrator: Semantics-Preserving Transpilation from Android XML to Compose and SwiftUI
日本大学: 関与なし（対象大学）
- GadgetHunter: Region-Based Neuro-symbolic Detection of Java Deserialization Vulnerabilities
日本大学: 関与なし（対象大学）
- Generalizing Test Cases for Comprehensive Test Scenario Coverage
日本大学: 関与なし（対象大学）
- GraphLocator: Graph-Guided Causal Reasoning for Issue Localization
日本大学: 関与なし（対象大学）
- GraphQLify: Automated and Type Safety-Preserving GraphQL API Adoption
日本大学: 関与なし（対象大学）
- Hallucinations in LLM-Based Code Summarization: Unveiling, Detection, and Mitigation
日本大学: 関与なし（対象大学）
- How Do Developers Interact with AI? An Exploratory Study on Modeling Developer Programming Behavior
日本大学: 関与なし（対象大学）
- How Low Can You Go? The Data-Light SE Challenge
日本大学: 関与なし（対象大学）
- Improving Data Leakage Detection in Machine Learning Notebooks through Static Slicing and Structured LLM Prompts
日本大学: 関与なし（対象大学）
- In Bugs We Trust? On Measuring the Randomness of a Fuzzer Benchmarking Outcome
日本大学: 関与なし（対象大学）
- In Line with Context: Repository-Level Code Generation via Context Inlining
日本大学: 関与なし（対象大学）
- InDe-LLM: Defending against Jailbreak Attacks in LLM-Powered Systems via Intention Disentangling
日本大学: 関与なし（対象大学）
- Influence-Aware Bayesian-Inspired Token Reweighting for Improved Code Generation
日本大学: 関与なし（対象大学）
- IntentTester: Intent-Driven Multi-agent Framework for Cross-Library Test Migration
日本大学: 関与なし（対象大学）
- Interrogation Testing of CHC Solvers
日本大学: 関与なし（対象大学）
- It Takes Two: Option-Aware Directed Greybox Fuzzing for Vulnerability PoC Generation
日本大学: 関与なし（対象大学）
- JavaScript Pointer Analysis with Adaptive Heap Abstraction
日本大学: 関与なし（対象大学）
- Knowledge-Graph-Driven Data Synthesis for Low-Resource Software Development: A HarmonyOS Case Study
日本大学: 関与なし（対象大学）