🏠
홈
📊
트렌드
🏆
논문
👤
마이
💬 문의
CS-
Pedia
Trends
Best Papers
Best Papers
/
ASE
ASE Best Papers
IEEE/ACM International Conference on Automated Software Engineering
59 papers · 2021–2025
← ASE Conference Info
🏆
2025
(21)
Distinguished Paper Award
'My productivity is boosted, but ...' Demystifying Users' Perception on AI Coding Assistants
Yunbo LyuZhou YangJieke ShiJianming ChangYue LiuDavid Lo
ai assistants
productivity
empirical study
Distinguished Paper Award
Bridging Natural Language and Formal Specification - Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
Zhi MaCheng WenZhexin SuXiao LiangCong TianShengchao QinMengfei Yang
requirements
formal specification
ltl
llm
Distinguished Paper Award
Characterizing Multi-Hunk Patches: Divergence, Proximity, and LLM Repair Challenges
Noor NashidDaniel DingKeheliya GallabaAhmed E. HassanAli Mesbah
patch repair
llm
bug fixing
Distinguished Paper Award
Clarifying Semantics of In-Context Examples for Unit Test Generation
Chen YangLin YangZiqi WangDong WangJianyi ZhouJunjie Chen
unit testing
llm
in-context learning
Distinguished Paper Award
DualFuzz: Detecting Vulnerability in Wi-Fi NICs through Dual-Directional Fuzzing
Yuanliang ChenFuchen MaYanyang ZhaoYuanyi LiYu Jiang
fuzzing
wifi
vulnerability detection
Distinguished Paper Award
Efficient and Verifiable Proof Logging for MaxSAT Solving
Raoul van DorenTimos AntonopoulosRuzica Piskac
maxsat
proof logging
verification
Distinguished Paper Award
Enhancing LLMs with Staged Grouping and Dehallucination for Header File Decomposition
Yue WangJiaxuan SunYanzhen ZouBing Xie
llm
header files
dehallucination
Distinguished Paper Award
Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring
Shinhae KimSaikat DuttaOwolabi Legunsen
runtime verification
monitoring
testing
Distinguished Paper Award
Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration
Jingjing LiangShan HuangTing Su
mlir
compiler
fuzzing
Distinguished Paper Award
FlakyGuard: Automatically Fixing Flaky Tests at Industry Scale
Chengpeng LiFarnaz BehrangAugust ShiPeng Liu
flaky tests
test repair
industry
Distinguished Paper Award
LOSVER: Line-Level Modifiability Signal-Guided Vulnerability Detection and Classification
Doha NamJongmoon Baik
vulnerability detection
security
code analysis
Distinguished Paper Award
LogMoE: Lightweight Expert Mixture for Cross-System Log Anomaly Detection
Jiaxing QiZhongzhi LuanShaohan HuangCarol FungYuchen WangAibin WangHongyu ZhangHailong YangDepei Qian
log analysis
anomaly detection
mixture of experts
Distinguished Paper Award
Not Every Patch is an Island: LLM-Enhanced Identification of Multiple Vulnerability Patches
Yi SongDongchen XieLin XuHe ZhangChunying ZhouXiaoyuan Xie
vulnerability patches
llm
security
Distinguished Paper Award
Programmers' Visual Attention on Function Call Graphs During Code Summarization
Samantha McLoughlinZachary KarasRobert WallaceAakash BansalCollin McMillanYu Huang
code summarization
eye tracking
program comprehension
Distinguished Paper Award
Rechecking Recheck Requests in Continuous Integration: An Empirical Study of OpenStack
Yelizaveta BrusRungroj MaipraditEarl T. BarrShane McIntosh
continuous integration
empirical study
openstack
Distinguished Paper Award
Seeing is Fixing: Cross-Modal Reasoning with Multimodal LLMs for Visual Software Issue Repair
Kai HuangJian ZhangXiaofei XieChunyang Chen
multimodal llm
bug repair
visual reasoning
Distinguished Paper Award
TEPHRA: Principled Discovery of Fuzzer Limitations
Vasil SarafovDavid MarkvicaStefan Brunthaler
fuzzing
evaluation
limitations
Distinguished Paper Award
Understanding Software Engineering Agents: A Study of Thought-Action-Result Trajectories
Islem BouzeniaMichael Pradel
software agents
llm
autonomous programming
Distinguished Paper Award
WEST: Specification-Based Test Generation for WebAssembly
Dongjun YounWonho ShinSukyoung Ryu
webassembly
test generation
specification
Distinguished Paper Award
WingMuzz: Blackbox Testing of IoT Protocols via Two-dimensional Fuzzing Schedule
Xiaogang ZhuEnze DaiXiaotao FengShaohua WangXin XiaSheng WenKwok-Yan LamYang Xiang
iot
fuzzing
protocol testing
Distinguished Paper Award
iKnow: an Intent-Guided Chatbot for Cloud Operations with Retrieval-Augmented Generation
Junjie HuangYuedong ZhongGuangba YuZhihan JiangMinzhi YanWenfei LuanTianyu YangRui RenMichael Lyu
rag
cloud operations
chatbot
🏆
2024
(15)
Distinguished Paper Award
A Pair Programming Framework for Code Generation via Multi-Plan Exploration and Feedback-Driven Refinement
Huan ZhangWei ChengYuhan WuWei Hu
code generation
llm
pair programming
Distinguished Paper Award
Combining Coverage and Expert Features with Semantic Representation for Coincidental Correctness Detection
Huan XieYan LeiMaojin LiMeng YanSheng Zhang
coincidental correctness
fault localization
coverage
Distinguished Paper Award
Context-Aware Automated Sprint Plan Generation for Agile Software Development
Elvan KulaArie van DeursenGeorgios Gousios
agile
sprint planning
automation
Distinguished Paper Award
DRMiner: Extracting Latent Design Rationale from Jira Issue Logs
Jiuang ZhaoZitian YangLi ZhangXiaoli LianDonghao YangXin Tan
design rationale
issue tracking
mining
Distinguished Paper Award
Do not neglect what's on your hands: localizing software faults with exception trigger stream
Xihao ZhangYi SongXiaoyuan XieQi XinChenliang Xing
fault localization
exceptions
debugging
Distinguished Paper Award
Exploring ChatGPT App Ecosystem: Distribution, Deployment and Security
Chuan YanMark Huasong MengLiuhuo WanTian Yang OoiRuomai RenGuangdong Bai
chatgpt
app security
ecosystem analysis
Distinguished Paper Award
General and Practical Property-based Testing for Android Apps
Yiheng XiongTing SuJue WangJingling SunGeguang PuZhendong Su
android
property-based testing
mobile
Distinguished Paper Award
How Does Code Optimization Impact Third-party Library Detection for Android Applications?
Zifan XieMing WenTinghan LiYiding ZhuQinsheng HouHai Jin
android
library detection
code optimization
Distinguished Paper Award
LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference
Guangyuan WuWeining CaoYuan YaoHengfeng WeiTaolue ChenXiaoxing Ma
llm
model checking
loop invariants
Distinguished Paper Award
LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling
Muhammad A. A. PirzadaGiles RegerAhmed BhayatLucas C. Cordeiro
llm
model checking
invariants
Distinguished Paper Award
LeGEND: A Top-Down Approach to Scenario Generation of Autonomous Driving Systems Assisted by Large Language Models
Shuncheng TangZhenya ZhangJixiang ZhouLei WangYuan ZhouYinxing Xue
autonomous driving
scenario generation
llm
Distinguished Paper Award
MiniChecker: Detecting Data Privacy Risk of Abusive Permission Request Behavior in Mini-Programs
Yin WangMing FanHao ZhouHaijun WangWuxia JinJiajia LiWenbo ChenShijie LiYu ZhangDeqiang HanTing Liu
privacy
mini-programs
permission analysis
Distinguished Paper Award
ROCAS: Root Cause Analysis of Autonomous Driving Accidents via Cyber-Physical Co-mutation
Shiwei FengYapeng YeQingkai ShiZhiyuan ChengXiangzhe XuSiyuan ChengHongjun ChoiXiangyu Zhang
autonomous driving
root cause analysis
cyber-physical systems
Distinguished Paper Award
Reducing Test Runtime by Transforming Test Fixtures
Chengpeng LiAbdelrahman BazAugust Shi
test optimization
fixtures
test runtime
Distinguished Paper Award
Towards Understanding the Effectiveness of Large Language Models on Directed Test Input Generation
Zongze JiangMing WenJialun CaoXuanhua ShiHai Jin
llm
test generation
directed testing
🏆
2023
(6)
Distinguished Paper Award
Domain Adaptive Code Completion via Language Models and Decoupled Domain Databases
Ze TangJidong GeShangqing LiuTingwei ZhuTongtong XuLiguo HuangBin Luo
code completion
domain adaptation
language models
Distinguished Paper Award
EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software
Yao ZhangXiaofei XieYi LiSen ChenCen ZhangXiaohong Li
non-termination
infinite loops
static analysis
Distinguished Paper Award
Generative Type Inference for Python
Yun PengChaozheng WangWenxuan Wang
type inference
python
generative models
Distinguished Paper Award
Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows
Yujiang GuiDongjie HeJingling Xue
taint analysis
dataflow
program analysis
Distinguished Paper Award
Mutation-based Fault Localization of Deep Neural Networks
Ali GhanbariHridesh Rajan
deep learning
fault localization
mutation testing
Distinguished Paper Award
What Makes Good In-context Demonstrations for Code Intelligence Tasks with LLMs?
Shuzheng GaoXin-Cheng WenCuiyun GaoWenxuan WangHongyu ZhangMichael R. Lyu
llm
in-context learning
code intelligence
🏆
2022
(11)
Distinguished Paper Award
Boosting the Revealing of Detected Violations in Deep Learning Testing: A Diversity-Guided Method
Xiaoyuan XiePengbo YinSongqiang Chen
deep learning testing
test diversity
violations
Distinguished Paper Award
CARGO: AI-Guided Dependency Analysis for Migrating Monolithic Applications to Microservices Architecture
Vikram NitinShubhi AsthanaBaishakhi RayRahul Krishna
microservices
migration
dependency analysis
Distinguished Paper Award
Compiler Testing using Template Java Programs
Zhiqiang ZangNathan WiatrekMilos GligoricAugust Shi
compiler testing
java
templates
Distinguished Paper Award
CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code
Aryaz EghbaliMichael Pradel
code similarity
evaluation
metrics
Distinguished Paper Award
Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation
Oskar Haarklou VeileborgGeorgian-Vlad SaiocAnders Møller
go
concurrency
abstract interpretation
blocking errors
Distinguished Paper Award
Efficient Greybox Fuzzing to Detect Memory Errors
Jinsheng BaGregory J. DuckAbhik Roychoudhury
fuzzing
memory errors
greybox
Distinguished Paper Award
Fuzzle: Making a Puzzle for Fuzzers
Haeun LeeSoomin KimSang Kil Cha
fuzzing
benchmarks
evaluation
Distinguished Paper Award
Has My Release Disobeyed Semantic Versioning?
Lyuye ZhangChengwei LiuZhengzi XuSen ChenLingling FanBihuan ChenYang Liu
semantic versioning
release management
software evolution
Distinguished Paper Award
HyperAST: Enabling Efficient Analysis of Software Histories at Scale
Quentin Le-dilavrecDjamel Eddine KhelladiArnaud BlouinJean-Marc Jézéquel
ast
software history
code analysis
Distinguished Paper Award
Learning to Construct Better Mutation Faults
Zhao TianJunjie ChenQihao ZhuJunjie YangLingming Zhang
mutation testing
fault injection
learning
Distinguished Paper Award
QATest: A Uniform Fuzzing Framework for Question Answering Systems
Zixi LiuYang FengYining YinJingyu SunZhenyu ChenBaowen Xu
fuzzing
question answering
testing
🏆
2021
(6)
Distinguished Paper Award
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies
Malte MuesFalk Howar
smt
solver
meta-solving
Distinguished Paper Award
ISPY: Automatic Issue-Solution Pair Extraction from Community Live Chats
Lin ShiZiyou JiangYe YangXiao ChenYuMin ZhangFangwen MuHanzhi JiangQing Wang
issue tracking
information extraction
live chat
Distinguished Paper Award
PyExplainer: Explaining the Predictions of Just-In-Time Defect Models
Chanathip PornprasitKla TantithamthavornJirayus JiarpakdeeMichael FuPatanamon Thongtanunam
explainability
defect prediction
just-in-time
Distinguished Paper Award
RULF: Rust Library Fuzzing via API Dependency Graph Traversal
Jianfeng JiangHui XuYangfan Zhou
fuzzing
rust
api testing
Distinguished Paper Award
Reducing Bug Triaging Confusion by Learning from Mistakes with a Bug Tossing Knowledge Graph
Yanqi SuZhenchang XingXin PengXin XiaChong WangXiwei XuLiming Zhu
bug triage
knowledge graph
defect management
Distinguished Paper Award
Testing Your Question Answering Software via Asking Recursively
Songqiang ChenShuo JinXiaoyuan Xie
testing
question answering
nlp