🏠홈📊트렌드🏆논문👤마이
🎓
CS-Pedia
TrendsBest Papers
CS Conference Hub

Deadlines, Rankings
& Best Papers — all in one.

Acceptance rates · Best papers · Conference deadlines for CS researchers

Best Papers/ASE

ASE Best Papers

IEEE/ACM International Conference on Automated Software Engineering

59 papers · 2021–2025

← ASE 학회 정보

🏆 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 assistantsproductivityempirical 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
requirementsformal specificationltlllm
Distinguished Paper Award
Characterizing Multi-Hunk Patches: Divergence, Proximity, and LLM Repair Challenges
Noor NashidDaniel DingKeheliya GallabaAhmed E. HassanAli Mesbah
patch repairllmbug fixing
Distinguished Paper Award
Clarifying Semantics of In-Context Examples for Unit Test Generation
Chen YangLin YangZiqi WangDong WangJianyi ZhouJunjie Chen
unit testingllmin-context learning
Distinguished Paper Award
DualFuzz: Detecting Vulnerability in Wi-Fi NICs through Dual-Directional Fuzzing
Yuanliang ChenFuchen MaYanyang ZhaoYuanyi LiYu Jiang
fuzzingwifivulnerability detection
Distinguished Paper Award
Efficient and Verifiable Proof Logging for MaxSAT Solving
Raoul van DorenTimos AntonopoulosRuzica Piskac
maxsatproof loggingverification
Distinguished Paper Award
Enhancing LLMs with Staged Grouping and Dehallucination for Header File Decomposition
Yue WangJiaxuan SunYanzhen ZouBing Xie
llmheader filesdehallucination
Distinguished Paper Award
Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring
Shinhae KimSaikat DuttaOwolabi Legunsen
runtime verificationmonitoringtesting
Distinguished Paper Award
Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration
Jingjing LiangShan HuangTing Su
mlircompilerfuzzing
Distinguished Paper Award
FlakyGuard: Automatically Fixing Flaky Tests at Industry Scale
Chengpeng LiFarnaz BehrangAugust ShiPeng Liu
flaky teststest repairindustry
Distinguished Paper Award
LOSVER: Line-Level Modifiability Signal-Guided Vulnerability Detection and Classification
Doha NamJongmoon Baik
vulnerability detectionsecuritycode 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 analysisanomaly detectionmixture 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 patchesllmsecurity
Distinguished Paper Award
Programmers' Visual Attention on Function Call Graphs During Code Summarization
Samantha McLoughlinZachary KarasRobert WallaceAakash BansalCollin McMillanYu Huang
code summarizationeye trackingprogram comprehension
Distinguished Paper Award
Rechecking Recheck Requests in Continuous Integration: An Empirical Study of OpenStack
Yelizaveta BrusRungroj MaipraditEarl T. BarrShane McIntosh
continuous integrationempirical studyopenstack
Distinguished Paper Award
Seeing is Fixing: Cross-Modal Reasoning with Multimodal LLMs for Visual Software Issue Repair
Kai HuangJian ZhangXiaofei XieChunyang Chen
multimodal llmbug repairvisual reasoning
Distinguished Paper Award
TEPHRA: Principled Discovery of Fuzzer Limitations
Vasil SarafovDavid MarkvicaStefan Brunthaler
fuzzingevaluationlimitations
Distinguished Paper Award
Understanding Software Engineering Agents: A Study of Thought-Action-Result Trajectories
Islem BouzeniaMichael Pradel
software agentsllmautonomous programming
Distinguished Paper Award
WEST: Specification-Based Test Generation for WebAssembly
Dongjun YounWonho ShinSukyoung Ryu
webassemblytest generationspecification
Distinguished Paper Award
WingMuzz: Blackbox Testing of IoT Protocols via Two-dimensional Fuzzing Schedule
Xiaogang ZhuEnze DaiXiaotao FengShaohua WangXin XiaSheng WenKwok-Yan LamYang Xiang
iotfuzzingprotocol 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
ragcloud operationschatbot

🏆 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 generationllmpair programming
Distinguished Paper Award
Combining Coverage and Expert Features with Semantic Representation for Coincidental Correctness Detection
Huan XieYan LeiMaojin LiMeng YanSheng Zhang
coincidental correctnessfault localizationcoverage
Distinguished Paper Award
Context-Aware Automated Sprint Plan Generation for Agile Software Development
Elvan KulaArie van DeursenGeorgios Gousios
agilesprint planningautomation
Distinguished Paper Award
DRMiner: Extracting Latent Design Rationale from Jira Issue Logs
Jiuang ZhaoZitian YangLi ZhangXiaoli LianDonghao YangXin Tan
design rationaleissue trackingmining
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 localizationexceptionsdebugging
Distinguished Paper Award
Exploring ChatGPT App Ecosystem: Distribution, Deployment and Security
Chuan YanMark Huasong MengLiuhuo WanTian Yang OoiRuomai RenGuangdong Bai
chatgptapp securityecosystem analysis
Distinguished Paper Award
General and Practical Property-based Testing for Android Apps
Yiheng XiongTing SuJue WangJingling SunGeguang PuZhendong Su
androidproperty-based testingmobile
Distinguished Paper Award
How Does Code Optimization Impact Third-party Library Detection for Android Applications?
Zifan XieMing WenTinghan LiYiding ZhuQinsheng HouHai Jin
androidlibrary detectioncode optimization
Distinguished Paper Award
LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference
Guangyuan WuWeining CaoYuan YaoHengfeng WeiTaolue ChenXiaoxing Ma
llmmodel checkingloop invariants
Distinguished Paper Award
LLM-Generated Invariants for Bounded Model Checking Without Loop Unrolling
Muhammad A. A. PirzadaGiles RegerAhmed BhayatLucas C. Cordeiro
llmmodel checkinginvariants
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 drivingscenario generationllm
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
privacymini-programspermission 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 drivingroot cause analysiscyber-physical systems
Distinguished Paper Award
Reducing Test Runtime by Transforming Test Fixtures
Chengpeng LiAbdelrahman BazAugust Shi
test optimizationfixturestest runtime
Distinguished Paper Award
Towards Understanding the Effectiveness of Large Language Models on Directed Test Input Generation
Zongze JiangMing WenJialun CaoXuanhua ShiHai Jin
llmtest generationdirected 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 completiondomain adaptationlanguage models
Distinguished Paper Award
EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software
Yao ZhangXiaofei XieYi LiSen ChenCen ZhangXiaohong Li
non-terminationinfinite loopsstatic analysis
Distinguished Paper Award
Generative Type Inference for Python
Yun PengChaozheng WangWenxuan Wang
type inferencepythongenerative models
Distinguished Paper Award
Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows
Yujiang GuiDongjie HeJingling Xue
taint analysisdataflowprogram analysis
Distinguished Paper Award
Mutation-based Fault Localization of Deep Neural Networks
Ali GhanbariHridesh Rajan
deep learningfault localizationmutation 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
llmin-context learningcode 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 testingtest diversityviolations
Distinguished Paper Award
CARGO: AI-Guided Dependency Analysis for Migrating Monolithic Applications to Microservices Architecture
Vikram NitinShubhi AsthanaBaishakhi RayRahul Krishna
microservicesmigrationdependency analysis
Distinguished Paper Award
Compiler Testing using Template Java Programs
Zhiqiang ZangNathan WiatrekMilos GligoricAugust Shi
compiler testingjavatemplates
Distinguished Paper Award
CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code
Aryaz EghbaliMichael Pradel
code similarityevaluationmetrics
Distinguished Paper Award
Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation
Oskar Haarklou VeileborgGeorgian-Vlad SaiocAnders Møller
goconcurrencyabstract interpretationblocking errors
Distinguished Paper Award
Efficient Greybox Fuzzing to Detect Memory Errors
Jinsheng BaGregory J. DuckAbhik Roychoudhury
fuzzingmemory errorsgreybox
Distinguished Paper Award
Fuzzle: Making a Puzzle for Fuzzers
Haeun LeeSoomin KimSang Kil Cha
fuzzingbenchmarksevaluation
Distinguished Paper Award
Has My Release Disobeyed Semantic Versioning?
Lyuye ZhangChengwei LiuZhengzi XuSen ChenLingling FanBihuan ChenYang Liu
semantic versioningrelease managementsoftware evolution
Distinguished Paper Award
HyperAST: Enabling Efficient Analysis of Software Histories at Scale
Quentin Le-dilavrecDjamel Eddine KhelladiArnaud BlouinJean-Marc Jézéquel
astsoftware historycode analysis
Distinguished Paper Award
Learning to Construct Better Mutation Faults
Zhao TianJunjie ChenQihao ZhuJunjie YangLingming Zhang
mutation testingfault injectionlearning
Distinguished Paper Award
QATest: A Uniform Fuzzing Framework for Question Answering Systems
Zixi LiuYang FengYining YinJingyu SunZhenyu ChenBaowen Xu
fuzzingquestion answeringtesting

🏆 2021(6)

Distinguished Paper Award
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies
Malte MuesFalk Howar
smtsolvermeta-solving
Distinguished Paper Award
ISPY: Automatic Issue-Solution Pair Extraction from Community Live Chats
Lin ShiZiyou JiangYe YangXiao ChenYuMin ZhangFangwen MuHanzhi JiangQing Wang
issue trackinginformation extractionlive chat
Distinguished Paper Award
PyExplainer: Explaining the Predictions of Just-In-Time Defect Models
Chanathip PornprasitKla TantithamthavornJirayus JiarpakdeeMichael FuPatanamon Thongtanunam
explainabilitydefect predictionjust-in-time
Distinguished Paper Award
RULF: Rust Library Fuzzing via API Dependency Graph Traversal
Jianfeng JiangHui XuYangfan Zhou
fuzzingrustapi 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 triageknowledge graphdefect management
Distinguished Paper Award
Testing Your Question Answering Software via Asking Recursively
Songqiang ChenShuo JinXiaoyuan Xie
testingquestion answeringnlp

CS-Pedia — 한국 CS 연구자를 위한 학회 통합 플랫폼

데이터 출처: DBLP (CC0), OpenAlex (CC0), Semantic Scholar, aideadlin.es (MIT), 한국연구재단, 한국정보과학회, jeffhuang.com

제출 전 데드라인·학회 일정은 공식 웹사이트에서 반드시 확인하세요.

소개·개인정보 처리방침·이용약관·문의