Conferences · eligible papers
ASE
2022–2026 LIVE
2022 · 116 papers
このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。
- A Comprehensive Evaluation of Android ICC Resolution Techniques
日本大学: 関与なし（対象大学）
- A Hybrid Approach for Inference between Behavioral Exception API Documentation and Implementations, and Its Applications
日本大学: 関与なし（対象大学）
- A Light Bug Triage Framework for Applying Large Pre-trained Language Model
日本大学: 関与なし（対象大学）
- A Transferable Time Series Forecasting Service Using Deep Transformer Model for Online Systems
日本大学: 関与なし（対象大学）
- AST-Probe: Recovering abstract syntax trees from hidden representations of pre-trained language models
日本大学: 関与なし（対象大学）
- Accelerating Build Dependency Error Detection via Virtual Build
日本大学: 関与なし（対象大学）
- Accelerating OCR-Based Widget Localization for Test Automation of GUI Applications
日本大学: 関与なし（対象大学）
- An Empirical Study of Automation in Software Security Patch Management
日本大学: 関与なし（対象大学）
- Answer Summarization for Technical Queries: Benchmark and New Approach
日本大学: 関与なし（対象大学）
- Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
日本大学: 関与なし（対象大学）
- Are they Toeing the Line? Diagnosing Privacy Compliance Violations among Browser Extensions
日本大学: 関与なし（対象大学）
- Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems
日本大学: 関与なし（対象大学）
- Automated Feedback Generation for Competition-Level Code
日本大学: 関与なし（対象大学）
- Automatic Comment Generation via Multi-Pass Deliberation
日本大学: 関与なし（対象大学）
- Automatically Detecting Visual Bugs in HTML5 Canvas Games
日本大学: 関与なし（対象大学）
- B-AIS: An Automated Process for Black-box Evaluation of Visual Perception in AI-enabled Software against Domain Semantics
日本大学: 関与なし（対象大学）
- Boosting the Revealing of Detected Violations in Deep Learning Testing: A Diversity-Guided Method
日本大学: 関与なし（対象大学）
- BuildSonic: Detecting and Repairing Performance-Related Configuration Smells for Continuous Integration Builds
日本大学: 関与なし（対象大学）
- CARGO: AI-Guided Dependency Analysis for Migrating Monolithic Applications to Microservices Architecture
日本大学: 関与なし（対象大学）
- Call Me Maybe: Using NLP to Automatically Generate Unit Test Cases Respecting Temporal Constraints
日本大学: 関与なし（対象大学）
- Checking LTL Satisfiability via End-to-end Learning
日本大学: 関与なし（対象大学）
- CoditT5: Pretraining for Source Code and Natural Language Editing
日本大学: 関与なし（対象大学）
- Compiler Testing using Template Java Programs
日本大学: 関与なし（対象大学）
- Compressing Pre-trained Models of Code into 3 MB
日本大学: 関与なし（対象大学）
- Consistent Scene Graph Generation by Constraint Optimization
日本大学: 関与なし（対象大学）
- Constructing a System Knowledge Graph of User Tasks and Failures from Bug Reports to Support Soap Opera Testing
日本大学: 関与なし（対象大学）
- Cornucopia : A Framework for Feedback Guided Generation of Binaries
日本大学: 関与なし（対象大学）
- CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code
日本大学: 関与なし（対象大学）
- Data Augmentation for Improving Emotion Recognition in Software Engineering Communication
日本大学: 関与なし（対象大学）
- Data Leakage in Notebooks: Static Detection and Better Processes
日本大学: 関与なし（対象大学）
- DeepPerform: An Efficient Approach for Performance Testing of Resource-Constrained Neural Networks
日本大学: 関与なし（対象大学）
- Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation
日本大学: 関与なし（対象大学）
- Detecting Build Conflicts in Software Merge for Java Programs via Static Analysis
日本大学: 関与なし（対象大学）
- Detecting Semantic Code Clones by Building AST-based Markov Chains Model
日本大学: 関与なし（対象大学）
- Differentially Testing Database Transactions for Fun and Profit
日本大学: 関与なし（対象大学）
- Effectively Generating Vulnerable Transaction Sequences in Smart Contracts with Reinforcement Learning-guided Fuzzing
日本大学: 関与なし（対象大学）
- Efficient Greybox Fuzzing to Detect Memory Errors
日本大学: 関与なし（対象大学）
- Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification
日本大学: 関与なし（対象大学）
- Empirical Study of System Resources Abused by IoT Attackers
日本大学: 関与なし（対象大学）
- Enriching Compiler Testing with Real Program from Bug Report
日本大学: 関与なし（対象大学）
- Evolving Ranking-Based Failure Proximities for Better Clustering in Fault Isolation
日本大学: 関与なし（対象大学）
- Exploiting Epochs and Symmetries in Analysing MPI Programs
日本大学: 関与なし（対象大学）
- Finding and Understanding Incompleteness Bugs in SMT Solvers
日本大学: 関与なし（対象大学）
- FuzzerAid: Grouping Fuzzed Crashes Based On Fault Signatures
日本大学: 関与なし（対象大学）
- Fuzzle: Making a Puzzle for Fuzzers
日本大学: 関与なし（対象大学）
- GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code
日本大学: 関与なし（対象大学）
- Generating Critical Test Scenarios for Autonomous Driving Systems via Influential Behavior Patterns
日本大学: 関与なし（対象大学）
- Graph based Incident Extraction and Diagnosis in Large-Scale Online Systems
日本大学: 関与なし（対象大学）
- Griffin : Grammar-Free DBMS Fuzzing
日本大学: 関与なし（対象大学）
- Groundhog: An Automated Accessibility Crawler for Mobile Apps
日本大学: 関与なし（対象大学）
- HTFuzz: Heap Operation Sequence Sensitive Fuzzing
日本大学: 関与なし（対象大学）
- Has My Release Disobeyed Semantic Versioning? Static Detection Based on Semantic Differencing
日本大学: 関与なし（対象大学）
- How Useful is Code Change Information for Fault Localization in Continuous Integration?
日本大学: 関与なし（対象大学）
- HyperAST: Enabling Efficient Analysis of Software Histories at Scale
日本大学: 関与なし（対象大学）
- ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications
日本大学: 関与なし（対象大学）
- Identifying Solidity Smart Contract API Documentation Errors
日本大学: 関与なし（対象大学）
- Inline Tests
日本大学: 関与なし（対象大学）
- Insight: Exploring Cross-Ecosystem Vulnerability Impacts
日本大学: 関与なし（対象大学）
- Is this Change the Answer to that Problem?
日本大学: 関与なし（対象大学）
- Jasmine: A Static Analysis Framework for Spring Core Technologies
日本大学: 関与なし（対象大学）
- Keeping Secrets: Multi-objective Genetic Improvement for Detecting and Reducing Information Leakage
日本大学: 関与なし（対象大学）
- LISSA: Lazy Initialization with Specialized Solver Aid
日本大学: 関与なし（対象大学）
- LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles
日本大学: 関与なし（対象大学）
- Learning Contract Invariants Using Reinforcement Learning
日本大学: 関与なし（対象大学）
- Learning to Construct Better Mutation Faults
日本大学: 関与なし（対象大学）
- Learning to Synthesize Relational Invariants
日本大学: 関与なし（対象大学）
- Leveraging Practitioners’ Feedback to Improve a Security Linter
日本大学: 関与なし（対象大学）
- Low-Resources Project-Specific Code Summarization
日本大学: 関与なし（対象大学）
- MalWhiteout: Reducing Label Errors in Android Malware Detection
日本大学: 関与なし（対象大学）
- Mining Android API Usage to Generate Unit Test Cases for Pinpointing Compatibility Issues
日本大学: 関与なし（対象大学）
- Natural Test Generation for Precise Testing of Question Answering Software
日本大学: 関与なし（対象大学）
- Neuroevolution-Based Generation of Tests and Oracles for Games
日本大学: 関与なし（対象大学）
- Not All Dependencies are Equal: An Empirical Study on Production Dependencies in NPM
日本大学: 関与なし（対象大学）
- PRCBERT: Prompt Learning for Requirement Classification using BERT-based Pretrained Language Models
日本大学: 関与なし（対象大学）
- Patching Weak Convolutional Neural Network Models through Modularization and Composition
日本大学: 関与なし（対象大学）
- Precise (Un)Affected Version Analysis for Web Vulnerabilities
日本大学: 関与なし（対象大学）
- PredART: Towards Automatic Oracle Prediction of Object Placements in Augmented Reality Testing
日本大学: 関与なし（対象大学）
- Prioritized Constraint-Aided Dynamic Partial-Order Reduction
日本大学: 関与なし（対象大学）
- Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code
日本大学: 関与なし（対象大学）
- Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks
日本大学: 関与なし（対象大学）
- QATest: A Uniform Fuzzing Framework for Question Answering Systems
日本大学: 関与なし（対象大学）
- QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks
日本大学: 関与なし（対象大学）
- Reentrancy Vulnerability Detection and Localization: A Deep Learning Based Two-phase Approach
日本大学: 関与なし（対象大学）
- Repairing Failure-inducing Inputs with Input Reflection
日本大学: 関与なし（対象大学）
- Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets
日本大学: 関与なし（対象大学）
- SA4U: Practical Static Analysis for Unit Type Error Detection
日本大学: 関与なし（対象大学）
- Safety and Performance, Why not Both? Bi-Objective Optimized Model Compression toward AI Software Deployment
日本大学: 関与なし（対象大学）
- Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel
日本大学: 関与なし（対象大学）
- Scrutinizing Privacy Policy Compliance of Virtual Personal Assistant Apps
日本大学: 関与なし（対象大学）
- Selectively Combining Multiple Coverage Goals in Search-Based Unit Test Generation
日本大学: 関与なし（対象大学）
- SelfAPR: Self-supervised Program Repair with Test Execution Diagnostics
日本大学: 関与なし（対象大学）
- SmOOD: Smoothness-based Out-of-Distribution Detection Approach for Surrogate Neural Networks in Aircraft Design
日本大学: 関与なし（対象大学）
- So Many Fuzzers, So Little Time✱
日本大学: 関与なし（対象大学）
- Sorry, I don’t Understand: Improving Voice User Interface Testing
日本大学: 関与なし（対象大学）
- StandUp4NPR: Standardizing SetUp for Empirically Comparing Neural Program Repair Systems
日本大学: 関与なし（対象大学）
- Static Type Recommendation for Python
日本大学: 関与なし（対象大学）
- Studying and Understanding the Tradeoffs Between Generality and Reduction in Software Debloating
日本大学: 関与なし（対象大学）
- SymFusion: Hybrid Instrumentation for Concolic Execution
日本大学: 関与なし（対象大学）
- The Metamorphosis: Automatic Detection of Scaling Issues for Mobile Apps
日本大学: 関与なし（対象大学）
- ThirdEye: Attention Maps for Safe Autonomous Driving Systems
日本大学: 関与なし（対象大学）