default search action
37th ASE 2022: Rochester, MI, USA
- 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022. ACM 2022, ISBN 978-1-4503-9475-8
Research Papers
- Jiwei Yan
, Shixin Zhang
A Comprehensive Evaluation of Android ICC Resolution Techniques. 1:1-1:13 - Hoan Anh Nguyen, Hung Dang Phan, Syeda Khairunnesa Samantha, Son Nguyen, Aashish Yadavally, Shaohua Wang, Hridesh Rajan, Tien N. Nguyen:
A Hybrid Approach for Inference between Behavioral Exception API Documentation and Implementations, and Its Applications. 2:1-2:13 - Jaehyung Lee
A Light Bug Triage Framework for Applying Large Pre-trained Language Model. 3:1-3:11 - Tao Huang
A Transferable Time Series Forecasting Service Using Deep Transformer Model for Online Systems. 4:1-4:12 - Rongxin Wu, Minglei Chen, Chengpeng Wang
Accelerating Build Dependency Error Detection via Virtual Build. 5:1-5:12 - Ju Qian
Accelerating OCR-Based Widget Localization for Test Automation of GUI Applications. 6:1-6:13 - Nesara Dissanayake
An Empirical Study of Automation in Software Security Patch Management. 7:1-7:13 - Chengran Yang, Bowen Xu, Ferdian Thung, Yucen Shi, Ting Zhang
Answer Summarization for Technical Queries: Benchmark and New Approach. 8:1-8:13 - Cedric Richter
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? 9:1-9:12 - Yuxi Ling
Are they Toeing the Line? Diagnosing Privacy Compliance Violations among Browser Extensions. 10:1-10:12 - José Antonio Hernández López
AST-Probe: Recovering abstract syntax trees from hidden representations of pre-trained language models. 11:1-11:11 - Tomasz Kuchta
Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software Systems. 12:1-12:12 - Jialu Zhang, De Li, John Charles Kolesar
Automated Feedback Generation for Competition-Level Code. 13:1-13:13 - Fangwen Mu
Automatic Comment Generation via Multi-Pass Deliberation. 14:1-14:12 - Finlay Macklon
Automatically Detecting Visual Bugs in HTML5 Canvas Games. 15:1-15:11 - Hamed Barzamini
B-AIS: An Automated Process for Black-box Evaluation of Visual Perception in AI-enabled Software against Domain Semantics. 16:1-16:13 - Xiaoyuan Xie
Boosting the Revealing of Detected Violations in Deep Learning Testing: A Diversity-Guided Method. 17:1-17:13 - Chen Zhang, Bihuan Chen, Junhao Hu, Xin Peng, Wenyun Zhao:
BuildSonic: Detecting and Repairing Performance-Related Configuration Smells for Continuous Integration Builds. 18:1-18:13 - Arianna Blasi
Call Me Maybe: Using NLP to Automatically Generate Unit Test Cases Respecting Temporal Constraints. 19:1-19:11 - Vikram Nitin, Shubhi Asthana, Baishakhi Ray
CARGO: AI-Guided Dependency Analysis for Migrating Monolithic Applications to Microservices Architecture. 20:1-20:12 - Weilin Luo
Checking LTL Satisfiability via End-to-end Learning. 21:1-21:13 - Jiyang Zhang
CoditT5: Pretraining for Source Code and Natural Language Editing. 22:1-22:12 - Zhiqiang Zang
Compiler Testing using Template Java Programs. 23:1-23:13 - Jieke Shi
Compressing Pre-trained Models of Code into 3 MB. 24:1-24:12 - Boqi Chen
Consistent Scene Graph Generation by Constraint Optimization. 25:1-25:13 - Yanqi Su
Constructing a System Knowledge Graph of User Tasks and Failures from Bug Reports to Support Soap Opera Testing. 26:1-26:13 - Vidush Singhal
Cornucopia : A Framework for Feedback Guided Generation of Binaries. 27:1-27:13 - Aryaz Eghbali
CrystalBLEU: Precisely and Efficiently Measuring the Similarity of Code. 28:1-28:12 - Mia Mohammad Imran
Data Augmentation for Improving Emotion Recognition in Software Engineering Communication. 29:1-29:13 - Chenyang Yang
Data Leakage in Notebooks: Static Detection and Better Processes. 30:1-30:12 - Simin Chen, Mirazul Haque, Cong Liu, Wei Yang
DeepPerform: An Efficient Approach for Performance Testing of Resource-Constrained Neural Networks. 31:1-31:13 - Oskar Haarklou Veileborg, Georgian-Vlad Saioc, Anders Møller
Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. 32:1-32:12 - Sheikh Shadab Towqir
Detecting Build Conflicts in Software Merge for Java Programs via Static Analysis. 33:1-33:13 - Yueming Wu
Detecting Semantic Code Clones by Building AST-based Markov Chains Model. 34:1-34:13 - Ziyu Cui, Wensheng Dou, Qianwang Dai, Jiansen Song
Differentially Testing Database Transactions for Fun and Profit. 35:1-35:12 - Jianzhong Su
Effectively Generating Vulnerable Transaction Sequences in Smart Contracts with Reinforcement Learning-guided Fuzzing. 36:1-36:12 - Jinsheng Ba
Efficient Greybox Fuzzing to Detect Memory Errors. 37:1-37:12 - Yunfan Zhang
Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification. 38:1-38:12 - Zijing Yin
Empirical Study of System Resources Abused by IoT Attackers. 39:1-39:13 - Hao Zhong
Enriching Compiler Testing with Real Program from Bug Report. 40:1-40:12 - Yi Song
Evolving Ranking-Based Failure Proximities for Better Clustering in Fault Isolation. 41:1-41:13 - Rishabh Ranjan, Ishita Agrawal, Subodh Sharma
Exploiting Epochs and Symmetries in Analysing MPI Programs. 42:1-42:12 - Mauro Bringolf, Dominik Winterer
Finding and Understanding Incompleteness Bugs in SMT Solvers. 43:1-43:10 - Ashwin Kallingal Joshy
FuzzerAid: Grouping Fuzzed Crashes Based On Fault Signatures. 44:1-44:12 - Haeun Lee
Fuzzle: Making a Puzzle for Fuzzers. 45:1-45:12 - Haoxiang Tian, Guoquan Wu
Generating Critical Test Scenarios for Autonomous Driving Systems via Influential Behavior Patterns. 46:1-46:12 - Nuno Saavedra
GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code. 47:1-47:12 - Zilong He, Pengfei Chen, Yu Luo, Qiuyu Yan, Hongyang Chen, Guangba Yu, Fangyuan Li:
Graph based Incident Extraction and Diagnosis in Large-Scale Online Systems. 48:1-48:13 - Jingzhou Fu, Jie Liang, Zhiyong Wu, Mingzhe Wang, Yu Jiang:
Griffin : Grammar-Free DBMS Fuzzing. 49:1-49:12 - Navid Salehnamadi
Groundhog: An Automated Accessibility Crawler for Mobile Apps. 50:1-50:12 - Lyuye Zhang
Has My Release Disobeyed Semantic Versioning? Static Detection Based on Semantic Differencing. 51:1-51:12 - An Ran Chen
How Useful is Code Change Information for Fault Localization in Continuous Integration? 52:1-52:12 - Yuanping Yu
HTFuzz: Heap Operation Sequence Sensitive Fuzzing. 53:1-53:13 - Quentin Le Dilavrec
HyperAST: Enabling Efficient Analysis of Software Histories at Scale. 54:1-54:12 - Simón Gutiérrez Brida
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications. 55:1-55:13 - Chenguang Zhu
Identifying Solidity Smart Contract API Documentation Errors. 56:1-56:13 - Yu Liu
Inline Tests. 57:1-57:13 - Meiqiu Xu, Ying Wang
Insight: Exploring Cross-Ecosystem Vulnerability Impacts. 58:1-58:13 - Haoye Tian
Is this Change the Answer to that Problem?: Correlating Descriptions of Bug and Code Changes for Evaluating Patch Correctness. 59:1-59:13 - Miao Chen
Jasmine: A Static Analysis Framework for Spring Core Technologies. 60:1-60:13 - Ibrahim Mesecan
Keeping Secrets: Multi-objective Genetic Improvement for Detecting and Reducing Information Leakage. 61:1-61:12 - Yang Sun
LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles. 62:1-62:12 - Junrui Liu
Learning Contract Invariants Using Reinforcement Learning. 63:1-63:11 - Zhao Tian
Learning to Construct Better Mutation Faults. 64:1-64:13 - Jingbo Wang
Learning to Synthesize Relational Invariants. 65:1-65:12 - Sofia Reis
Leveraging Practitioners' Feedback to Improve a Security Linter. 66:1-66:12 - Juan Manuel Copia
LISSA: Lazy Initialization with Specialized Solver Aid. 67:1-67:12 - Rui Xie
Low-Resources Project-Specific Code Summarization. 68:1-68:12 - Liu Wang, Haoyu Wang, Xiapu Luo
MalWhiteout: Reducing Label Errors in Android Malware Detection. 69:1-69:13 - Xiaoyu Sun
Mining Android API Usage to Generate Unit Test Cases for Pinpointing Compatibility Issues. 70:1-70:13 - Qingchao Shen
Natural Test Generation for Precise Testing of Question Answering Software. 71:1-71:12 - Patric Feldmeier
Neuroevolution-Based Generation of Tests and Oracles for Games. 72:1-72:13 - Jasmine Latendresse, Suhaib Mujahid, Diego Elias Costa
Not All Dependencies are Equal: An Empirical Study on Production Dependencies in NPM. 73:1-73:12 - Binhang Qi
Patching Weak Convolutional Neural Network Models through Modularization and Composition. 74:1-74:12 - Xianchang Luo, Yinxing Xue, Zhenchang Xing, Jiamou Sun:
PRCBERT: Prompt Learning for Requirement Classification using BERT-based Pretrained Language Models. 75:1-75:13 - Youkun Shi, Yuan Zhang
Precise (Un)Affected Version Analysis for Web Vulnerabilities. 76:1-76:13 - Tahmid Rafi
PredART: Towards Automatic Oracle Prediction of Object Placements in Augmented Reality Testing. 77:1-77:13 - Jie Su
Prioritized Constraint-Aided Dynamic Partial-Order Reduction. 78:1-78:13 - Qing Huang
Prompt-tuned Code Language Model as a Neural Knowledge Base for Type Inference in Statically-Typed Partial Code. 79:1-79:13 - Zhaodi Zhang
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks. 80:1-80:13 - Zixi Liu, Yang Feng, Yining Yin, Jingyu Sun, Zhenyu Chen
QATest: A Uniform Fuzzing Framework for Question Answering Systems. 81:1-81:12 - Yedi Zhang, Zhe Zhao, Guangke Chen
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. 82:1-82:13 - Zhuo Zhang, Yan Lei
Reentrancy Vulnerability Detection and Localization: A Deep Learning Based Two-phase Approach. 83:1-83:13 - Alexi Turcotte
reformulator: Automated Refactoring of the N+1 Problem in Database-Backed Applications. 84:1-84:12 - Yan Xiao
Repairing Failure-inducing Inputs with Input Reflection. 85:1-85:13 - Zhong Li
Robust Learning of Deep Predictive Models from Noisy and Imbalanced Software Engineering Datasets. 86:1-86:13 - Max Taylor, Johnathon Aurand, Feng Qin, Xiaorui Wang, Brandon Henry, Xiangyu Zhang:
SA4U: Practical Static Analysis for Unit Type Error Detection. 87:1-87:11 - Jie Zhu
Safety and Performance, Why not Both? Bi-Objective Optimized Model Compression toward AI Software Deployment. 88:1-88:13 - David Fernández-Amorós
Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel. 89:1-89:12 - Fuman Xie
Scrutinizing Privacy Policy Compliance of Virtual Personal Assistant Apps. 90:1-90:13 - Zhichao Zhou
Selectively Combining Multiple Coverage Goals in Search-Based Unit Test Generation. 91:1-91:12 - He Ye, Matias Martinez, Xiapu Luo
SelfAPR: Self-supervised Program Repair with Test Execution Diagnostics. 92:1-92:13 - Chao Wang, Rongxin Wu, Haohao Song, Jiwu Shu, Guoqing Li:
smartPip: A Smart Approach to Resolving Python Dependency Conflict Issues. 93:1-93:12 - Houssem Ben Braiek, Ali Tfaily, Foutse Khomh, Thomas Reid, Ciro Guida:
SmOOD: Smoothness-based Out-of-Distribution Detection Approach for Surrogate Neural Networks in Aircraft Design. 94:1-94:13 - Clement Poncelet
So Many Fuzzers, So Little Time✱: Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack. 95:1-95:12 - Emanuela Guglielmi
Sorry, I don't Understand: Improving Voice User Interface Testing. 96:1-96:12 - Wenkang Zhong
StandUp4NPR: Standardizing SetUp for Empirically Comparing Neural Program Repair Systems. 97:1-97:13 - Ke Sun
Static Type Recommendation for Python. 98:1-98:13 - Qi Xin, Qirun Zhang
Studying and Understanding the Tradeoffs Between Generality and Reduction in Software Debloating. 99:1-99:13 - Emilio Coppa
SymFusion: Hybrid Instrumentation for Concolic Execution. 100:1-100:12 - Yuhui Su
The Metamorphosis: Automatic Detection of Scaling Issues for Mobile Apps. 101:1-101:12 - Andrea Stocco
ThirdEye: Attention Maps for Safe Autonomous Driving Systems. 102:1-102:12 - Forough Mehralian
Too Much Accessibility is Harmful! Automated Detection and Analysis of Overly Accessible Elements in Mobile Apps. 103:1-103:13 - Yingyi Zhang, Zan Wang, Jiajun Jiang, Hanmo You, Junjie Chen:
Toward Improving the Robustness of Deep Learning Models via Model Transformation. 104:1-104:13 - Lili Quan
Towards Understanding the Faults of JavaScript-Based Deep Learning Systems. 105:1-105:13 - Wei Tang
Towards Understanding Third-party Library Dependency in C/C++ Ecosystem. 106:1-106:12 - Deheng Yang
TransplantFix: Graph Differencing-based Code Transplantation for Automated Program Repair. 107:1-107:13 - Xueyang Li
TransRepair: Context-aware Program Repair for Compilation Errors. 108:1-108:13 - Yutao Hu, Deqing Zou, Junru Peng, Yueming Wu
TreeCen: Building Tree Graph for Scalable Semantic Code Clone Detection. 109:1-109:12 - Elias Kuiter
Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses. 110:1-110:13 - Yiwen Wu, Yang Zhang, Kele Xu
Understanding and Predicting Docker Build Duration: An Empirical Study of Containerized Workflow of OSS Projects. 111:1-111:13 - Fahimeh Ebrahimi
Unsupervised Summarization of Privacy Concerns in Mobile Application Reviews. 112:1-112:12 - Yuanyuan Yuan
Unveiling Hidden DNN Defects with Decision-Based Metamorphic Testing. 113:1-113:13 - Hui Gao
Using Consensual Biterms from Text Structures of Requirements and Code to Improve IR-Based Traceability Recovery. 114:1 - Suwan Li
VITAS : Guided Model-based VUI Testing of VPA Apps. 115:1-115:12 - Hao Zhong
Which Exception Shall We Throw? 116:1-116:12
Doctoral Symposium
- Michael C. Gerten
A Framework for Testing Chemical Reaction Networks. 117:1-117:5 - Cícero A. G. Araújo
A model for automatic generating reusable code from multiple GUIs. 118:1-118:3 - Aurora Papotti
Assessment of Automated (Intelligent) Toolchains. 119:1-119:3 - Animesh Chaturvedi
Call Graph Evolution Analytics over a Version Series of an Evolving Software System. 120:1-120:5 - Haibo Chen
Coverage-based Greybox Fuzzing with Pointer Monitoring for C Programs. 121:1-121:4 - Mouna Dhaouadi:
Extraction and Management of Rationale. 122:1-122:3 - Sayma Sultana:
Identification and Mitigation of Gender Biases to Promote Diversity and Inclusion among Open Source Communities. 123:1-123:5 - Jaydeb Sarker:
Identification and Mitigation of Toxic Communications Among Open Source Software Developers. 124:1-124:5 - Yifan Zhang
Leveraging Artificial Intelligence on Binary Code Comprehension. 125:1-125:3 - Sara Fernandes
Towards a Live Environment for Code Refactoring. 126:1-126:5 - Asem Ghaleb
Towards Effective Static Analysis Approaches for Security Vulnerabilities in Smart Contracts. 127:1-127:5 - Asif Kamal Turzo:
Towards Improving Code Review Effectiveness Through Task Automation. 128:1-128:5
Industry Showcase
- Firas Bayram
A Drift Handling Approach for Self-Adaptive ML Software in Scalable Industrial Processes. 129:1-129:5 - Frank Bagehorn, Jesus Rios, Saurabh Jha, Robert Filepp, Larisa Shwartz, Naoki Abe, Xi Yang:
A fault injection platform for learning AIOps models. 130:1-130:5 - Patrick Stöckle
Automated Identification of Security-Relevant Configuration Settings Using NLP. 131:1-131:5 - Lei Liu
Automatic Generation of Visualizations for Machine Learning Pipelines. 132:1-132:5 - Yeonhee Ryou
Code Understanding Linter to Detect Variable Misuse. 133:1-133:5 - Ate Penders
Design-Space Exploration for Decision-Support Software. 134:1-134:6 - Zhengwei Lv, Chao Peng
Fastbot2: Reusable Automated Model-based GUI Testing for Android Enhanced by Reinforcement Learning. 135:1-135:5 - Meriel von Stein
Finding Property Violations through Network Falsification: Challenges, Adaptations and Lessons Learned from OpenPilot. 136:1-136:5 - Manish Ahuja
MCDA Framework for Edge-Aware Multi-Cloud Hybrid Architecture Recommendation. 137:1-137:2 - Yi Liu, Yuekang Li
Morest: Industry Practice of Automatic RESTful API Testing. 138:1-138:5 - Ge Fan
MV-HAN: A Hybrid Attentive Networks based Multi-View Learning Model for Large-scale Contents Recommendation. 139:1-139:5 - Yuchen Zhang
Towards Understanding the Runtime Performance of Rust. 140:1-140:6
Late Breaking Results
- Lucas Marcondes Pavelski
A real-world case study for automated ticket team assignment using natural language processing and explainable models. 141:1-141:3 - Priyavanshi Pathania, Rohit Mehra, Vibhu Saujanya Sharma
ESAVE: Estimating Server and Virtual Machine Energy. 142:1-142:3 - Tim Sonnekalb
Generalizability of Code Clone Detection on CodeBERT. 143:1-143:3 - Gustavo Rodrigues dos Reis
Prototyping Deep Learning Applications with Non-Experts: An Assistant Proposition. 144:1-144:3 - Bo Li
SML4ADS: An Open DSML for Autonomous Driving Scenario Representation and Generation. 145:1-145:3 - Sung-Shik Jongmans:
Towards Gradual Multiparty Session Typing. 146:1-146:3 - Nghi D. Q. Bui
Towards Robust Models of Code via Energy-Based Learning on Auxiliary Datasets. 147:1-147:3 - Anh T. V. Dau
Towards Using Data-Influence Methods to Detect Noisy Samples in Source Code Corpora. 148:1-148:3
Tool Demonstrations
- Cláudia Mamede
A transformer-based IDE plugin for vulnerability detection. 149:1-149:4 - Sen Wang, Zhuheng Sheng, Jingwei Xu, Taolue Chen
ADEPT: A Testing Platform for Simulated Autonomous Driving. 150:1-150:4 - Guanjie Qiu
Answering Software Deployment Questions via Neural Machine Reading at Scale. 151:1-151:4 - Eman Abdullah AlOmar
AntiCopyPaster: Extracting Code Duplicates As Soon As They Are Introduced in the IDE. 152:1-152:4 - Mark W. Aldrich
Augur: Dynamic Taint Analysis for Asynchronous JavaScript. 153:1-153:4 - Sen Chen
AUSERA: Automated Security Vulnerability Detection for Android Apps. 154:1-154:5 - Lissette Almonte
Building recommenders for modelling languages with Droid. 155:1-155:4 - Bernd Fischer
CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory. 156:1-156:5 - Olivier Le Goaër
ecoCode: a SonarQube Plugin to Remove Energy Smells from Android Projects. 157:1-157:4 - Jiawei He, Zhida Bao, Quanjun Zhang, Weisong Sun, Jiawei Liu, Chunrong Fang, Yun Lin:
ElecDaug: Electromagnetic Data Augmentation for Model Repair based on Metamorphic Relation. 158:1-158:5 - Sivani Voruganti
FlexType: A Plug-and-Play Framework for Type Inference Models. 159:1-159:5 - Ye Liu
InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts. 160:1-160:4 - Sara Fernandes
LiveRef: a Tool for Live Refactoring Java Code. 161:1-161:4 - Amr Moussa
Maktub: Lightweight Robot System Test Creation and Automation. 162:1-162:4 - William Eiers
Quacky: Quantitative Access Control Permissiveness Analyzer✱. 163:1-163:5 - Dehui Du
RoboSimVer: A Tool for RoboSim Modeling and Analysis. 164:1-164:4 - Alberto D. Rodriguez, Timothy Newman, Katherine R. Dearstyne, Jane Cleland-Huang
SAFA: A Tool for Supporting Safety Analysis in Evolving Software Systems. 165:1-165:4 - Ali Ghanbari
Shibboleth: Hybrid Patch Correctness Assessment in Automated Program Repair. 166:1-166:4 - Nicholas M. Synovic
Snapshot Metrics Are Not Enough: Analyzing Software Repositories with Longitudinal Metrics. 167:1-167:4 - Aatira Anum Ahmad
Trimmer: Context-Specific Code Reduction. 168:1-168:5 - Vipawan Jarukitpipat, Klinton Chhun, Wachirayana Wanprasert, Chaiyong Ragkhitwetsagul
V-Achilles: An Interactive Visualization of Transitive Security Vulnerabilities. 169:1-169:4 - Ennio Visconti
WebMonitor: Verification of Web User Interfaces. 170:1-170:4 - Jiashuo Zhang, Jianbo Gao, Yue Li, Ziming Chen, Zhi Guan, Zhong Chen:
Xscope: Hunting for Cross-Chain Bridge Attacks. 171:1-171:4
New Ideas and Emerging Results (NIER) Track
- Jinfu Chen
A Novel Coverage-guided Greybox Fuzzing based on Power Schedule Optimization with Time Complexity. 172:1-172:5 - Gan Wang, Zan Wang, Junjie Chen, Xiang Chen
An Empirical Study on Numerical Bugs in Deep Learning Programs. 173:1-173:5 - Junaed Younus Khan
Automatic Code Documentation Generation Using GPT-3. 174:1-174:6 - Adil Mukhtar
Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach. 175:1-175:5 - Mouna Dhaouadi, Bentley James Oakes, Michalis Famelis
End-to-End Rationale Reconstruction. 176:1-176:5 - Toufique Ahmed
Few-shot training LLMs for project-specific code-summarization. 177:1-177:5 - Jörg Kienzle
Global Decision Making Over Deep Variability in Feedback-Driven Software Development. 178:1-178:6 - Misoo Kim
Multi-objective Optimization-based Bug-fixing Template Mining for Automated Program Repair. 179:1-179:5 - Anh Tuan Nguyen, Aashish Yadavally, Tien N. Nguyen:
Next Syntactic-Unit Code Completion and Applications. 180:1-180:5 - Yoon-Ho Choi
On the Naturalness of Bytecode Instructions. 181:1-181:5 - Anh Duc Vu
Outcome-Preserving Input Reduction for Scientific Data Analysis Workflows. 182:1-182:5 - Giacomo Priamo
Principled Composition of Function Variants for Dynamic Software Diversity and Program Protection. 183:1-183:5 - Palina Tolmach
Property-Based Automated Repair of DeFi Protocols. 184:1-184:5 - Dharun Anandayuvaraj
Reflecting on Recurring Failures in IoT Development. 185:1-185:5 - Vikas Kumar Malviya
Right to Know, Right to Refuse: Towards UI Perception-Based Automated Fine-Grained Permission Controls for Android Apps. 186:1-186:6 - Christoph Treude
Taming Multi-Output Recommenders for Software Engineering. 187:1-187:5 - Xin Wang
Test-Driven Multi-Task Learning with Functionally Equivalent Code Transformation for Neural Code Generation. 188:1-188:6 - Matteo Camilli
XSA: eXplainable Self-Adaptation. 189:1-189:5
Student Research Competition
- Ye Liu
A Unified Specification Mining Framework for Smart Contracts. 190:1-190:3 - Rajshakhar Paul
ASTOR: An Approach to Identify Security Code Reviews. 191:1-191:3 - Prabuddha Chakraborty
Automatic Software Timing Attack Evaluation & Mitigation on Clear Hardware Assumption. 192:1-192:3 - Hailie Mitchell:
Automatically Fixing Breaking Changes of Data Science Libraries. 193:1-193:3 - Chenhao Wei
Automatically Tagging the "AAA" Pattern in Unit Test Cases Using Machine Learning Models. 194:1-194:3 - Islem Bouzenia
Detecting Inconsistencies in If-Condition-Raise Statements. 195:1-195:3 - Frank Dixon Whitworth
Execution Path Detection through Dynamic Analysis in Black-Box Testing Environments. 196:1-196:3 - Sayma Sultana:
Identifying Sexism and Misogyny in Pull Request Comments. 197:1-197:3 - Yi Liu
RESTCluster: Automated Crash Clustering for RESTful API. 198:1-198:3 - Xiuheng Wu
Software Evolution Management with Differential Facts. 199:1-199:3 - Jaydeb Sarker:
'Who built this crap?' Developing a Software Engineering Domain Specific Toxicity Detector. 200:1-200:3
Workshops: A-Mobile
- Pei Liu, Xiaoyu Sun
A First Look at CI/CD Adoptions in Open-Source Android Apps. 201:1-201:6 - Rui Rua, João Saraiva
E-MANAFA: Energy Monitoring and ANAlysis tool For Android. 202:1-202:4 - Zikan Dong, Liu Wang, Hao Xie, Guoai Xu, Haoyu Wang:
Privacy Analysis of Period Tracking Mobile Apps in the Post-Roe v. Wade Era. 203:1-203:6 - Felix Pauck
Scaling Arbitrary Android App Analyses. 204:1-204:7
Workshops: AeSIR
- Naser Al Madi
How Readable is Model-generated Code? Examining Readability and Visual Inspection of GitHub Copilot. 205:1-205:5 - Qing Mi
How students choose names: A replication study. 206:1-206:5 - Naser Al Madi
Namesake: A Checker of Lexical Similarity in Identifier Names. 207:1-207:5 - Qing Mi
Rank Learning-Based Code Readability Assessment with Siamese Neural Networks. 208:1-208:2
Workshops: ASE4Games
- Ciprian Paduraru, Rares Cristea
Enhancing the security of gaming transactions using blockchain technology. 209:1-209:8 - Ezequiel Castellano
Explaining the Behaviour of Game Agents Using Differential Comparison. 210:1-210:8 - Raihana Ferdous
Towards Agent-Based Testing of 3D Games using Reinforcement Learning. 211:1-211:8 - Ciprian Paduraru, Miruna Gabriela Paduraru, Andrei Blahovici:
Transfer learning of cars behaviors from reality to simulation applications. 212:1-212:8 - Kazuki Wayama
Verifying Game Logic in Unreal Engine 5 Blueprint Visual Scripting System Using Model Checking. 213:1-213:8
Workshops: AUST
- Phuoc Pham
A Review of AI-augmented End-to-End Test Automation Tools. 214:1-214:4 - Qunying Song
A Scenario Distribution Model for Effective and Efficient Testing of Autonomous Driving Systems. 215:1-215:8 - Khang Pham
Application of Natural Language Processing Towards Autonomous Software Testing. 216:1-216:4 - Ilia Zlatkin
Horntinuum: Autonomous Testing using Constrained Horn Clauses. 217:1 - Kiet Ngo
Research on Test Flakiness: from Unit to System Testing. 218:1-218:4
Workshops: HCSE&CS
- Debi Ashenden, Gail Ollis, Iain Reid
Dancing, not Wrestling: Moving from Compliance to Concordance for Secure Software Development. 219:1-219:9 - Xinyao Ma
Do Regional Variations Affect the CAPTCHA User Experience? A Comparison of CAPTCHAs in China and the United States. 220:1-220:9 - Ishan Aryendu
Intelligent Code Review Assignment for Large Scale Open Source Software Stacks. 221:1-221:6 - Adam Tonkin
Simulating cyber security management: A gamified approach to executive decision making. 222:1-222:8 - Malyun Muhudin Hilowle
Towards Improving the Adoption and Usage of National Digital Identity Systems. 223:1-223:6 - Jason Jaskolka
Towards the Integration of Human Factors in Collaborative Decision Making for Secure Architecture Design. 224:1-224:8
Workshops: VARSE
- Sai Anirudh Karre
A Role Based Model Template for Specifying Virtual Reality Software. 225:1-225:5 - Xiaoyi Yang, Xueling Zhang:
A Study of User Privacy in Android Mobile AR Apps. 226:1-226:5 - Xue Qin
DyTRec: A Dynamic Testing Recommendation tool for Unity-based Virtual Reality Software. 227:1-227:5 - David Heidrich
Towards Generating Labeled Property Graphs for Comprehending C#-based Software Projects. 228:1-228:4
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: