Conferences · eligible papers
ASE
2022–2026 LIVE
2026 · 263 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- GraphDroid: Asynchronous LLM-Based Mobile App GUI Testing via History-Aware Exploration and Hybrid Intent Fulfillment
日本大学: 関与なし（対象大学）
- GraphLedger: Repository-Level Vulnerability Detection via Graph-Based Compression and Assumption Validation
日本大学: 関与なし（対象大学）
- Gray-Box Fuzzing in Local Space
日本大学: 関与なし（対象大学）
- HERO: Hypothesis-Centered Root-Cause Analysis for Microservice Incidents
日本大学: 関与なし（対象大学）
- Harnessing Uncertainty in Code Language Models: Lessons from Vulnerability Detection
日本大学: 関与なし（対象大学）
- How Do LLMs Read Bug Reports? An Empirical Study of Attention in LLMs for Automated Program Repair
日本大学: 関与なし（対象大学）
- How Effective Are NPM Malicious Package Detectors? A Large-Scale Empirical Study
日本大学: 関与なし（対象大学）
- How Quantum Bugs Live and Die: A Lifecycle-Based Empirical Study of Bugs in Quantum Software
日本大学: 関与なし（対象大学）
- How Reasoning Shapes Social Bias in LLM-Generated Code?
日本大学: 関与なし（対象大学）
- How Well Do LLMs Generate Taxonomies in the SE Domain? A Multi-perspective Evaluation Framework
- How Your Credentials Are Leaked by LLM Agent Skills: An Empirical Study
日本大学: 東京大学
- HyBinMAS: LLM-Powered Hybrid Analysis for Function Name Recovery of Stripped Binaries
日本大学: 関与なし（対象大学）
- HyTri: Hybrid Triage of CI Failures via LLM Guided Semantic Reasoning and Change Attribution
日本大学: 関与なし（対象大学）
- Hybrid Fuzzing in Input Generation Logic
日本大学: 関与なし（対象大学）
- IcFuzz: Fuzzing Isaac Sim with Semantic Stage Guidance and Multi-level Mutation
日本大学: 関与なし（対象大学）
- Implicit, Yet Impactful: Understanding Hidden Dependencies in Java Projects
日本大学: 関与なし（対象大学）
- IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++
日本大学: 関与なし（対象大学）
- Inferring the Shape of Data Frames in R Programs using Abstract Interpretation
日本大学: 関与なし（対象大学）
- Instruction Alignment for Binary Code Representation Learning
日本大学: 関与なし（対象大学）
- IntOAgent: A Practical Framework for Automated Detection and Triggering of Integer Overflow Vulnerabilities
日本大学: 関与なし（対象大学）
- It Takes Two to Tango: Accelerating Code Generation via Cache-Inspired Hierarchical Speculative Decoding
日本大学: 関与なし（対象大学）
- KQFuzz: Knowledge-Guided Fuzzing for Quantum Libraries via Large Language Models
日本大学: 関与なし（対象大学）
- LARA: Static ReDoS Detection for Regular Expressions with Lookahead via Matching Automata
日本大学: 関与なし（対象大学）
- LLM Agents Can See Code Repositories
日本大学: 関与なし（対象大学）
- LLM-Based Agents for Identifying Bug-Introducing Commits
日本大学: 関与なし（対象大学）
- LaMAR: Latent Multi-agent Collaboration via KV-Cache Communication for Automated Program Repair
日本大学: 関与なし（対象大学）
- Large Language Model Enabled Symbolic Execution for Automated Functional Analysis
日本大学: 関与なし（対象大学）
- Latent Reuse in Agent Skills: Multi-modal Clone Detection at Ecosystem Scale
日本大学: 関与なし（対象大学）
- Learning the Lexical Structure of Black-Box Systems by Parsing Systematic String Edit Mutations
日本大学: 関与なし（対象大学）
- Learning to Triage Vulnerability Reports from Program Analysis: An Empirical Study in Node.js
日本大学: 関与なし（対象大学）
- Less Is More: Tuning Configurable Systems with Imperfect Fidelity
日本大学: 関与なし（対象大学）
- Leveraging System-Level Observations to Inform Bayesian Learning of Model Parameters for Quantitative Verification
日本大学: 関与なし（対象大学）
- Localizing Data Annotation Faults in Semantic Segmentation Systems
日本大学: 関与なし（対象大学）
- Looks Good, but Does It Run? A Large-Scale Empirical Study of the Executability of Example Code in Model Cards
日本大学: 関与なし（対象大学）
- Lost in Translation, Found in Summary: Summary-Driven Supervision for Cross-Language Code Retrieval
日本大学: 関与なし（対象大学）
- Making Theft Useless: Adulteration-Based Protection of Proprietary Knowledge Graphs in GraphRAG Systems
日本大学: 関与なし（対象大学）
- MalSkills: Detecting Malicious Skills in the Agentic Supply Chain via Neuro-symbolic Reasoning
日本大学: 関与なし（対象大学）
- Maximal Format-Free Data Repair
日本大学: 関与なし（対象大学）
- MicroAgent: Context-Augmented Multi-agent Framework for Automatic Microservice Decomposition
日本大学: 関与なし（対象大学）
- Mind the Gap: Do Widely-Used SAST Tools Really Cover the Language-Specific Top CWEs?
日本大学: 関与なし（対象大学）
- MiniPoly: Automatic Extraction of Efficient JavaScript Polyfill from Language Specification
日本大学: 関与なし（対象大学）
- Mining Tactics for Automated Theorem Proving
日本大学: 関与なし（対象大学）
- Mobile Bug Reproduction via Global State Reprioritization and LLM-Guided Trajectory Exploration
日本大学: 関与なし（対象大学）
- Multi-level Code Optimization via Mixture of Prompts
日本大学: 関与なし（対象大学）
- MultiFixer: A Coordinator-Proposer Based Multi-agent Framework for Fixing Multi-hunk Bugs
日本大学: 関与なし（対象大学）
- MultiKernelBench: A Multi-platform Benchmark for Kernel Generation
日本大学: 関与なし（対象大学）
- Needle in the Repo: Diagnosing Maintainability Failures in AI-Generated Repository Edits
日本大学: 関与なし（対象大学）
- Neuro-symbolic Requirements Elicitation: Utilizing Formal Verification Counterexamples as Contextual Prompts
日本大学: 関与なし（対象大学）
- Not In My Git Yard: Catching Backdoors at Commit and Release Time
日本大学: 関与なし（対象大学）
- Not as Sweet by Another Name: An Empirical Study of Format Robustness in LLM Document Workflows
日本大学: 関与なし（対象大学）
- On the Effects of Customized Configurations of Static Code Analysis Tools: A Prospective Cohort Study of SonarQube Cloud
日本大学: 関与なし（対象大学）
- On the Reliability of Code Comprehension Proxies
日本大学: 関与なし（対象大学）
- One Is Not Enough: The Untold Story of Multiple Security Patches for One Vulnerability
日本大学: 関与なし（対象大学）
- Optimization-Free Repair of Code LLMs: A Closed-Form Fisher-Guided Bayesian Approach
日本大学: 関与なし（対象大学）
- Orbis: Guiding Symbolic Execution Techniques to Maximize Option-Related Branch Coverage
日本大学: 関与なし（対象大学）
- OrthCoder: Balancing Security and Utility in Secure Code Generation via Orthogonal Adaptation
日本大学: 関与なし（対象大学）
- PAIChecker: Uncovering and Checking PR-Issue Misalignment in SWE-Bench-Like Benchmarks
日本大学: 関与なし（対象大学）
- PCodeTrans: Translate Decompiled Pseudocode to Trace-Level Equivalent Source Code
日本大学: 関与なし（対象大学）
- PELSE: Asymmetric-Evidence-Guided MCU Peripheral Model Synthesis
日本大学: 関与なし（対象大学）
- PL4SA: Optimized Partial Library Selection for Efficient Static Analysis
日本大学: 関与なし（対象大学）
- PSearch: Search-Based Patch Generation in the Era of LLM-Based Automated Program Repair
日本大学: 関与なし（対象大学）
- PWCC: Probability-Weighted Combinatorial Coverage for Risk-Informed Scenario Testing of Autonomous Systems
日本大学: 関与なし（対象大学）
- Panorama: Unveiling Latent Dependencies for Microservice Autoscaling via Meta-learning
日本大学: 関与なし（対象大学）
- Pattern over Pixels: Measuring Pattern Completion Bias in Multimodal Code Generation
日本大学: 関与なし（対象大学）
- Perception, Reasoning, and Action: A ReAct-Based Vulnerability Detection Framework with Repository-Level Reasoning
日本大学: 関与なし（対象大学）
- Piece by Piece: Automating Combination Interaction GUI Testing via Planning and Dual Memory
日本大学: 関与なし（対象大学）
- Planner-Fuzz: Overcoming Diagnostic Saturation in UAV Planners via Boundary-Oriented Fuzzing
日本大学: 関与なし（対象大学）
- Post-hoc Attention Steering of Large Language Models for Robust Code Understanding under Obfuscation
日本大学: 関与なし（対象大学）
- Post-quantum Cryptography in the Wild: Assessing the Readiness of Open-Source Ecosystems
日本大学: 関与なし（対象大学）
- Precise and Efficient Static Data Race Detection
日本大学: 関与なし（対象大学）
- Predicate-Guided Synthesis of Input Generators via Gentoo
日本大学: 関与なし（対象大学）
- Prism: A Multi-solution Reasoning and Synthesis Framework for Repository-Level Issue Resolution
日本大学: 関与なし（対象大学）
- ProbGuard: Proactive Runtime Monitoring for LLM Agent Safety via Probabilistic Prediction
日本大学: 関与なし（対象大学）
- Probe to Generate: Program Variant-Guided Test Augmentation for Repository-Level Repair Benchmarks
日本大学: 関与なし（対象大学）
- Programming by Chat: A Large-Scale Behavioral Analysis of 11,579 Real-World AI-Assisted IDE Sessions
日本大学: 関与なし（対象大学）
- PropGen: Automated Property Generation for Property-Based Testing of Mobile Apps
日本大学: 関与なし（対象大学）
- Property-Based Testing of Wafer Handling Robots via Model-Based Planning and Fuzzing
日本大学: 関与なし（対象大学）
- QDoctor: Probe-Based Testing for Quantum Programs
日本大学: 九州大学
- Quantum Squeeziness: An Information Theoretical Metric for Quantum Software Testability
日本大学: 関与なし（対象大学）
- Quick Bug Detection through Black-Box Checking: A Systematic Evaluation
日本大学: 関与なし（対象大学）
- RACE-Bench: A Reasoning-Augmented Benchmark for Repository-Level Code Agents on Feature Addition
日本大学: 関与なし（対象大学）
- RAVEN: Measuring Detection Instability in Anti-virus Engines under Semantics-Preserving Perturbations
日本大学: 関与なし（対象大学）
- RFC2TLA+: Extracting and Verifying Formal Models from RFC Documents using Continuous LLM Feedback
日本大学: 関与なし（対象大学）
- RamFuzz: LLM-Guided Greybox Fuzzing for Spatial Memory Corruption via Valid Range Violation
日本大学: 関与なし（対象大学）
- ReCodeAgent: A Multi-agent Workflow for Language-Agnostic Translation and Validation of Large-Scale Repositories
日本大学: 関与なし（対象大学）
- ReLog: Execution-Aware Logging with Runtime Feedback for LLM-Oriented Debugging
日本大学: 関与なし（対象大学）
- ReSEDA: Automatic and Precise Program-Level ReDoS Triage via Interprocedural Taint Analysis and Agentic Exploit Generation
日本大学: 関与なし（対象大学）
- Real-World Perturbation Testing of Autonomous Driving Systems
日本大学: 関与なし（対象大学）
- RealAIGC: Towards More Realistic Evaluation of AI-Generated Code Detection in Real-World Code Repository
日本大学: 関与なし（対象大学）
- RealisticTritonBench: A Benchmark for Triton-Kernel Generation in Real-World AI Frameworks
日本大学: 関与なし（対象大学）
- Recovering Revisions of Pull Requests with Altered History
日本大学: 九州大学
- Refine2Diff: Detecting Protocol Specification–Implementation Inconsistencies via Specification-Driven Code Refinement
日本大学: 関与なし（対象大学）
- RefineAct: Automatic Runtime Verification of LLM Agent Actions
日本大学: 関与なし（対象大学）
- RegoMender: A Multi-agent Framework for Automated Rego Policy Repair
日本大学: 関与なし（対象大学）
- Regression Accumulation in Multi-turn LLM Programming Conversations
日本大学: 関与なし（対象大学）
- RepoProbe: Benchmarking Architecture-Aware Repository Comprehension with Checklists
日本大学: 関与なし（対象大学）
- Repository-Aware Metamorphic Relation Generation for Augmented Reality Applications using Large Language Models
日本大学: 関与なし（対象大学）
- ReqEvolve: User-Oriented Software Self-Evolution through Automatic Requirement Interpretation
日本大学: 関与なし（対象大学）
- Revisiting LLMs on New Feature Implementation in Real-World Software Development Practices
日本大学: 関与なし（対象大学）
- RustGTC: Constraint-Guided Test Generation for Rust APIs via Comment Analysis and Code Context
日本大学: 関与なし（対象大学）