Conferences · eligible papers
ASE
2021–2025 確定版
2025 · 246 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- "My productivity is boosted, but …" Demystifying Users’ Perception on AI Coding Assistants
日本大学: 関与なし（対象大学）
- A Large Scale Study of AI-based Binary Function Similarity Detection Techniques for Security Researchers and Practitioners
日本大学: 関与なし（対象大学）
- A Multi-Modality Evaluation of the Reality Gap in Autonomous Driving Systems
日本大学: 関与なし（対象大学）
- ACTaint: Agent-Based Taint Analysis for Access Control Vulnerabilities in Smart Contracts
日本大学: 関与なし（対象大学）
- ADPerf: Investigating and Testing Performance in Autonomous Driving Systems
日本大学: 関与なし（対象大学）
- AMPLE: Fine-grained File Access Policies for Server Applications
日本大学: 関与なし（対象大学）
- ARG: Testing Query Rewriters via Abstract Rule Guided Fuzzing
日本大学: 関与なし（対象大学）
- AdaptEval: A Benchmark for Evaluating Large Language Models on Code Snippet Adaptation
日本大学: 関与なし（対象大学）
- Advancing Automated Ethical Profiling in SE: a Zero-Shot Evaluation of LLM Reasoning
日本大学: 関与なし（対象大学）
- Advancing Binary Code Similarity Detection via Context-Content Fusion and LLM Verification
日本大学: 関与なし（対象大学）
- Agentic Specification Generator for Move Programs
日本大学: 関与なし（対象大学）
- Agents in the Sandbox: End-to-End Crash Bug Reproduction for Minecraft
日本大学: 関与なし（対象大学）
- AlertGuardian: Intelligent Alert Life-Cycle Management for Large-scale Cloud Systems
日本大学: 関与なし（対象大学）
- Algernon: A Flag-Guided Hybrid Fuzzer for Unlocking Hidden Program Paths
日本大学: 関与なし（対象大学）
- AlignCoder: Aligning Retrieval with Target Intent for Repository-Level Code Completion
日本大学: 関与なし（対象大学）
- Aligning LLMs to Fully Utilize the Cross-file Context in Repository-level Code Completion
日本大学: 関与なし（対象大学）
- Altered Histories in Version Control System Repositories: Evidence from the Trenches
日本大学: 関与なし（対象大学）
- Amur: Fixing Multi-Resource Leaks Guided by Resource Flow Analysis
日本大学: 関与なし（対象大学）
- An Agent-based Evaluation Framework for Complex Code Generation
日本大学: 関与なし（対象大学）
- An Empirical Study of Knowledge Transfer in AI Pair Programming
日本大学: 関与なし（対象大学）
- An Empirical Study of Python Library Migration Using Large Language Models
日本大学: 関与なし（対象大学）
- An LLM-based multi-agent framework for agile effort estimation
日本大学: 関与なし（対象大学）
- AppBDS: LLM-Powered Description Synthesis for Sensitive Behaviors in Mobile Apps
日本大学: 関与なし（対象大学）
- Argus: Resilience-Oriented Safety Assurance Framework for End-to-End ADSs
日本大学: 関与なし（対象大学）
- AutoFid: Adaptive and Noise-Aware Fidelity Measurement for Quantum Programs via Circuit Graph Analysis
日本大学: 関与なし（対象大学）
- Automated Combinatorial Test Generation for Alloy
日本大学: 関与なし（対象大学）
- Automated Detection of Web Application Navigation Barriers for Screen Reader Users
日本大学: 関与なし（対象大学）
- Automated Generation of Issue-Reproducing Tests by Combining LLMs and Search-Based Testing
日本大学: 関与なし（対象大学）
- Automated Inline Comment Smell Detection and Repair with Large Language Models
日本大学: 関与なし（対象大学）
- Automated Insertion of Flushes and Fences for Persistency
日本大学: 関与なし（対象大学）
- Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation
日本大学: 関与なし（対象大学）
- Automated Repair of OpenID Connect Programs
日本大学: 関与なし（対象大学）
- Automatic Fixing of Missing Dependency Errors
日本大学: 関与なし（対象大学）
- BCFuzz: Bytecode-Driven Fuzzing for JavaScript Engines
日本大学: 関与なし（対象大学）
- Backdoors in Code Summarizers: How Bad Is It?
日本大学: 関与なし（対象大学）
- Belief Propagation with Local Structure and Its Applications in Program Analysis
日本大学: 関与なし（対象大学）
- Better Safe than Sorry: Preventing Policy Violations through Predictive Root-Cause-Analysis for IoT Systems
日本大学: 関与なし（対象大学）
- Beyond Static GUI Agent: Evolving LLM-based GUI Testing via Dynamic Memory
日本大学: 関与なし（対象大学）
- BinStruct: Binary Structure Recovery Combining Static Analysis and Semantics
日本大学: 関与なし（対象大学）
- Breaking the Traffic Barrier: Unveiling Multi-Format of Protocols via Autonomous Program Exploration
日本大学: 関与なし（対象大学）
- Bridging Natural Language and Formal Specification–Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
日本大学: 関与なし（対象大学）
- Can Mamba Be Better? An Experimental Evaluation of Mamba in Code Intelligence
日本大学: 関与なし（対象大学）
- Characterizing Multi-Hunk Patches: Divergence, Proximity, and LLM Repair Challenges
日本大学: 関与なし（対象大学）
- Characterizing and Repairing Color-Related Accessibility Issues in Android Apps
日本大学: 関与なし（対象大学）
- Clarifying Semantics of In-Context Examples for Unit Test Generation
日本大学: 関与なし（対象大学）
- CoTune: Co-evolutionary Configuration Tuning
日本大学: 関与なし（対象大学）
- Code-DiTing: Automatic Evaluation of Code Generation without References or Test Cases
日本大学: 関与なし（対象大学）
- Coding-Fuse: Efficient Fusion of Code Pre-Trained Models for Classification Tasks
日本大学: 関与なし（対象大学）
- Comprehend, Imitate, and then Update: Unleashing the Power of LLMs in Test Suite Evolution
日本大学: 関与なし（対象大学）
- CoorLog: Efficient-Generalizable Log Anomaly Detection via Adaptive Coordinator in Software Evolution
日本大学: 関与なし（対象大学）
- Coverage-Based Harmfulness Testing for LLM Code Transformation
日本大学: 関与なし（対象大学）
- Cross2OH: Enabling Seamless Porting of C/C++ Software Libraries to OpenHarmony
日本大学: 関与なし（対象大学）
- Cryptbara: Dependency-Guided Detection of Python Cryptographic API Misuses
日本大学: 関与なし（対象大学）
- DLBench: A Comprehensive Benchmark for SQL Translation with Large Language Models
日本大学: 関与なし（対象大学）
- DNAFuzz: Descriptor-Aware Fuzzing for USB Drivers
日本大学: 関与なし（対象大学）
- DRIFT: Debug-based Trace Inference for Firmware Testing
日本大学: 関与なし（対象大学）
- DebCovDiff: Differential Testing of Coverage Measurement Tools on Real-World Projects
日本大学: 関与なし（対象大学）
- Debun: Detecting Bundled JavaScript Libraries on Web using Property-Order Graphs
日本大学: 関与なし（対象大学）
- DeepExploitor: LLM-Enhanced Automated Exploitation of DeepLink Attack in Hybrid Apps
日本大学: 関与なし（対象大学）
- Defects4C: Benchmarking Large Language Model Repair Capability with C/C++ Bugs
日本大学: 関与なし（対象大学）
- Defects4Log: Benchmarking LLMs for Logging Code Defect Detection and Reasoning
日本大学: 関与なし（対象大学）
- Democratizing the Cryptocurrency Ecosystem by Just-In-Time Transformation of Mining Programs
日本大学: 関与なし（対象大学）
- Demystifying Cookie Sharing Risks in WebView-based Mobile App-in-app Ecosystems
日本大学: 関与なし（対象大学）
- Demystifying Cross-Language C/C++ Binaries: A Robust Software Component Analysis Approach
日本大学: 関与なし（対象大学）
- Demystifying OpenZeppelin’s Own Vulnerabilities and Analyzing Their Propagation in Smart Contracts
日本大学: 関与なし（対象大学）
- Demystifying the Evolution of Neural Networks with BOM Analysis: Insights from a Large-Scale Study of 55,997 GitHub Repositories
日本大学: 関与なし（対象大学）
- Destabilizing Neurons to Generate Challenging Neural Network Verification Benchmarks
日本大学: 関与なし（対象大学）
- Detecting Semantic Clones of Unseen Functionality
日本大学: 関与なし（対象大学）
- Detecting Various DeFi Price Manipulations with LLM Reasoning
日本大学: 関与なし（対象大学）
- Diagnosing Performance Differences in Model Checkers via Runtime-Guided Problem Generation
日本大学: 関与なし（対象大学）
- DiffFix: Incrementally Fixing AST Diffs via Context and Type Information
日本大学: 関与なし（対象大学）
- Diplomatist: What Do Cross-language Dependencies Reflect Software Ecosystem Health?
日本大学: 関与なし（対象大学）
- Do LLMs Generate Useful Test Oracles? An Empirical Study with an Unbiased Dataset
日本大学: 関与なし（対象大学）
- Don’t Mess with Bro’s Cheese! An Empirical Study of Resource Conflict in Android Multi-window
日本大学: 関与なし（対象大学）
- DrainCode: Stealthy Energy Consumption Attacks on Retrieval-Augmented Code Generation via Context Poisoning
日本大学: 関与なし（対象大学）
- DualFuzz: Detecting Vulnerability in Wi-Fi NICs through Dual-Directional Fuzzing
日本大学: 関与なし（対象大学）
- EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
日本大学: 関与なし（対象大学）
- EditFusion: Resolving Code Merge Conflicts via Edit Selection
日本大学: 関与なし（対象大学）
- Effective Code Membership Inference for Code Completion Models via Adversarial Prompts
日本大学: 関与なし（対象大学）
- Efficient Understanding of Machine Learning Model Mispredictions
日本大学: 関与なし（対象大学）
- Efficient and Verifiable Proof Logging for MaxSAT Solving
日本大学: 関与なし（対象大学）
- EfficientEdit: Accelerating Code Editing via Edit-Oriented Speculative Decoding
日本大学: 関与なし（対象大学）
- Enhancing LLM to Decompile Optimized PTX to Readable CUDA for Tensor Programs
日本大学: 関与なし（対象大学）
- Enhancing LLMs with Staged Grouping and Dehallucination for Header File Decomposition
日本大学: 関与なし（対象大学）
- Enhancing LLM’s Ability to Generate More Repository-Aware Unit Tests Through Precise Context Injection
日本大学: 関与なし（対象大学）
- Evaluating and Improving Framework-based Parallel Code Completion with Large Language Models
日本大学: 関与なし（対象大学）
- Evolution-Aware Heuristics for GR(1) Realizability Checking
日本大学: 関与なし（対象大学）
- Exact Inference for Quantum Circuits: A Testing Oracle for Quantum Software Stacks
日本大学: 関与なし（対象大学）
- Execution-Aware Program Reduction for WebAssembly via Record and Replay
日本大学: 関与なし（対象大学）
- Explainable Fault Localization for Programming Assignments via LLM-Guided Annotation
日本大学: 関与なし（対象大学）
- Exploring Static Taint Analysis in LLMs: A Dynamic Benchmarking Framework for Measurement and Enhancement
日本大学: 関与なし（対象大学）
- FGit: Fault-Guided Fine-Tuning for Code Generation
日本大学: 関与なし（対象大学）
- Fact-Aligned and Template-Constrained Static Analyzer Rule Enhancement with LLMs
日本大学: 関与なし（対象大学）
- FailMapper: Automated Generation of Unit Tests Guided by Failure Scenarios
日本大学: 関与なし（対象大学）
- FastCoder: Accelerating Repository-level Code Generation via Efficient Retrieval and Verification
日本大学: 関与なし（対象大学）
- Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring
日本大学: 関与なし（対象大学）
- Faultseeker: LLM-Empowered Framework for Blockchain Transaction Fault Localization
日本大学: 関与なし（対象大学）
- Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration
日本大学: 関与なし（対象大学）
- Finding Bugs in WebAssembly Interface Type Binding Generators
日本大学: 関与なし（対象大学）
- Finding Insecure State Dependency in DApps via Multi-Source Tracing and Semantic Enrichment
日本大学: 関与なし（対象大学）