Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID36th ASE 2021: Melbourne, Australia
- 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021. IEEE 2021, ISBN 978-1-6654-0337-5
- Chakkrit Kla Tantithamthavorn, Jirayus Jiarpakdee:
Explainable AI for Software Engineering. 1-2 - Martin Gruber:
Tackling Flaky Tests: Understanding the Problem and Providing Practical Solutions. 1-3 - Xing Hu, Zhipeng Gao, Xin Xia, David Lo, Xiaohu Yang:
Automating User Notice Generation for Smart Contract Functions. 5-17 - Zikai Liu, Tingkai Liu
, Qi Li, Wenqing Luo, Steven S. Lumetta:
End-to-End Automation of Feedback on Student Assembly Programs. 18-29 - Ian X. Gauthier, Maxime Lamothe, Gunter Mussbacher, Shane McIntosh:
Is Historical Data an Appropriate Benchmark for Reviewer Recommendation Systems? : A Case Study of the Gerrit Community. 30-41 - Alan Romano, Xinyue Liu, Yonghwi Kwon, Weihang Wang:
An Empirical Study of Bugs in WebAssembly Compilers. 42-54 - Chen Liu, Jie Lu, Guangwei Li, Ting Yuan, Lian Li, Feng Tan, Jun Yang, Liang You, Jingling Xue:
Detecting TensorFlow Program Bugs in Real-World Industrial Environment. 55-66 - Mingwei Zheng, Jun Yang, Ming Wen, Hengcheng Zhu, Yepang Liu, Hai Jin:
Why Do Developers Remove Lambda Expressions in Java? 67-78 - Dongjie He, Jingbo Lu, Jingling Xue:
Context Debloating for Object-Sensitive Pointer Analysis. 79-91 - Steven Zhu, Nader Al Awar, Mattan Erez, Milos Gligoric:
Dynamic Generation of Python Bindings for HPC Kernels. 92-103 - Songqiang Chen, Shuo Jin, Xiaoyuan Xie:
Testing Your Question Answering Software via Asking Recursively. 104-116 - Dimitri Michel Stallenberg, Mitchell Olsthoorn, Annibale Panichella:
Improving Test Case Generation for REST APIs Through Hierarchical Clustering. 117-128 - Rohan Bavishi, Shadaj Laddad, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen:
VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks. 129-141 - Lin Shi, Ziyou Jiang, Ye Yang, Xiao Chen, Yumin Zhang, Fangwen Mu, Hanzhi Jiang, Qing Wang:
ISPY: Automatic Issue-Solution Pair Extraction from Community Live Chats. 142-154 - Jia Li, Yongmin Li, Ge Li, Xing Hu, Xin Xia, Zhi Jin:
EditSum: A Retrieve-and-Edit Framework for Source Code Summarization. 155-166 - Binger Chen, Ziawasch Abedjan:
Interactive Cross-language Code Retrieval with Auto-Encoders. 167-178 - Malte Mues, Falk Howar:
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost. 179-190 - Yanqi Su, Zhenchang Xing, Xin Peng, Xin Xia, Chong Wang, Xiwei Xu, Liming Zhu:
Reducing Bug Triaging Confusion by Learning from Mistakes with a Bug Tossing Knowledge Graph. 191-202 - Alireza S. Abyaneh, Christoph M. Kirsch:
ASE: A Value Set Decision Procedure for Symbolic Execution. 203-214 - Chaofan Shou, Ismet Burak Kadron, Qi Su, Tevfik Bultan:
CorbFuzz: Checking Browser Security Policies with Fuzzing. 215-226 - Jaeseung Choi, Doyeon Kim, Soomin Kim, Gustavo Grieco, Alex Groce, Sang Kil Cha:
SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses. 227-239 - Chenguang Zhu, Ripon K. Saha, Mukul R. Prasad, Sarfraz Khurshid:
Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs. 240-252 - Phuong T. Nguyen, Claudio Di Sipio, Juri Di Rocco, Massimiliano Di Penta, Davide Di Ruscio:
Adversarial Attacks to API Recommender Systems: Time to Wake Up and Smell the Coffeeƒ. 253-265 - Kaifeng Huang, Bihuan Chen, Linghao Pan, Shuai Wu, Xin Peng:
REPFINDER: Finding Replacements for Missing APIs in Library Update. 266-278 - Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie:
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search. 279-291 - David A. Tomassi, Cindy Rubio-González:
On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions. 292-303 - Chenyang Yang, Shurui Zhou, Jin L. C. Guo, Christian Kästner:
Subtle Bugs Everywhere: Generating Documentation for Data Wrangling Code. 304-316 - Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer:
Distribution Models for Falsification and Verification of DNNs. 317-329 - Ugur Koc, Austin Mordahl, Shiyi Wei, Jeffrey S. Foster, Adam A. Porter:
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools. 330-342 - Jia Lee, Geunyeol Yu, Kyungmin Bae:
Efficient SMT-Based Model Checking for Signal Temporal Logic. 343-354 - Vincenzo Riccio, Nargiz Humbatova, Gunel Jahangirova, Paolo Tonella:
DeepMetis: Augmenting a Deep Learning Test Set to Increase its Mutation Score. 355-367 - Uraz Cengiz Türker, Robert M. Hierons, Mohammad Reza Mousavi, Ivan Yu. Tyukin:
Efficient state synchronisation in model-based testing through reinforcement learning. 368-380 - Bo Wang, Sirui Lu, Yingfei Xiong, Feng Liu:
Faster Mutation Analysis with Fewer Processes and Smaller Overheads. 381-393 - Huy Tu, Tim Menzies:
FRUGAL: Unlocking Semi-Supervised Learning for Software Analytics. 394-406 - Chanathip Pornprasit, Chakkrit Tantithamthavorn, Jirayus Jiarpakdee, Michael Fu, Patanamon Thongtanunam:
PyExplainer: Explaining the Predictions of Just-In-Time Defect Models. 407-418 - Hanzhang Wang, Zhengkai Wu, Huai Jiang, Yichao Huang, Jiamu Wang, Selçuk Köprü, Tao Xie:
Groot: An Event-graph-based Approach for Root Cause Analysis in Industrial Settings. 419-429 - Zhuangbin Chen, Jinyang Liu, Yuxin Su, Hongyu Zhang, Xuemin Wen, Xiao Ling, Yongqiang Yang, Michael R. Lyu:
Graph-based Incident Aggregation for Large-Scale Online Service Systems. 430-442 - Saikat Chakraborty, Baishakhi Ray:
On Multi-Modal Learning of Editing Source Code. 443-455 - Neil Kulkarni, Caroline Lemieux, Koushik Sen:
Learning Highly Recursive Input Grammars. 456-467 - Pin Ji, Yang Feng, Jia Liu, Zhihong Zhao, Baowen Xu:
Automated Testing for Machine Translation via Constituency Invariance. 468-479 - Xiaoning Chang, Wensheng Dou, Jun Wei, Tao Huang, Jinhui Xie, Yuetang Deng, Jianbo Yang, Jiaheng Yang:
Race Detection for Event-Driven Node.js Applications. 480-491 - Van-Hoang Le, Hongyu Zhang:
Log-based Anomaly Detection Without Log Parsing. 492-504 - Hao Zhou, Haoyu Wang, Shuohan Wu, Xiapu Luo, Yajin Zhou, Ting Chen, Ting Wang:
Finding the Missing Piece: Permission Specification Analysis for Android NDK. 505-516 - Huaxun Huang, Ming Wen, Lili Wei, Yepang Liu, Shing-Chi Cheung:
Characterizing and Detecting Configuration Compatibility Issues in Android Apps. 517-528 - Wuxia Jin, Dinghong Zhong, Zifan Ding, Ming Fan, Ting Liu:
Where to Start: Studying Type Annotation Practices in Python. 529-541 - Valerio Terragni, Pasquale Salza:
APIzation: Generating Reusable APIs from StackOverflow Code Snippets. 542-554 - Shaohua Zhang, Shuang Liu, Jun Sun, Yuqi Chen, Wenzhi Huang, Jinyi Liu, Jian Liu, Jianye Hao:
FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning. 555-567 - Yuwei Liu, Yanhao Wang, Purui Su, Yuanping Yu, Xiangkun Jia:
InstruGuard: Find and Fix Instrumentation Errors for Coverage-based Greybox Fuzzing. 568-580 - Jianfeng Jiang, Hui Xu, Yangfan Zhou:
RULF: Rust Library Fuzzing via API Dependency Graph Traversal. 581-592 - Tongjie Wang, Yaroslav Golubev, Oleg Smirnov, Jiawei Li, Timofey Bryksin, Iftekhar Ahmed:
PyNose: A Test Smell Detector For Python. 593-605 - Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, Sukyoung Ryu:
JSTAR: JavaScript Specification Type Analyzer using Refinement. 606-616 - Chenyao Liu, Zeqi Lin, Jian-Guang Lou, Lijie Wen, Dongmei Zhang:
Can Neural Clone Detection Generalize to Unseen Functionalitiesƒ. 617-629 - Lu Liu, Lili Wei, Wuqi Zhang, Ming Wen, Yepang Liu, Shing-Chi Cheung:
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts. 630-641 - Youcef Remil, Anes Bendimerad, Romain Mathonat, Philippe Chaleat, Mehdi Kaytoue:
"What makes my queries slow?": Subgroup Discovery for SQL Workload Analysis. 642-652 - Tianyi Yang, Jiacheng Shen, Yuxin Su, Xiao Ling, Yongqiang Yang, Michael R. Lyu:
AID: Efficient Prediction of Aggregated Intensity of Dependency in Large-scale Cloud Systems. 653-665 - Sen He, Tianyi Liu, Palden Lama, Jaewoo Lee, In Kee Kim, Wei Wang:
Performance Testing for Cloud Computing with Dependent Data Bootstrapping. 666-678 - Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal, Immad Naseer, Matthew Parkinson, Arun Thangamani, Jyothi Vedurada, Yunpeng Xiao:
Nekara: Generalized Concurrency Testing. 679-691 - Jiyuan Wang, Qian Zhang, Guoqing Harry Xu, Miryung Kim:
QDiff: Differential Testing of Quantum Software Stacks. 692-704 - Jiayuan Zhou, Michael Pacheco, Zhiyuan Wan, Xin Xia, David Lo, Yuan Wang, Ahmed E. Hassan:
Finding A Needle in a Haystack: Automated Mining of Silent Vulnerability Fixes. 705-716 - Triet Huynh Minh Le, David Hin, Roland Croft, Muhammad Ali Babar:
DeepCVA: Automated Commit-level Vulnerability Assessment with Deep Multi-task Learning. 717-729 - Ali S. Alotaibi, Paul T. Chiou, William G. J. Halfond:
Automated Repair of Size-Based Inaccessibility Issues in Mobile Applications. 730-742 - Md Kafil Uddin, Qiang He, Jun Han, Caslon Chua:
Mining Cross-Domain Apps for Software Evolution: A Feature-based Approach. 743-755 - Saghar Talebipour, Yixue Zhao, Luka Dojcilovic, Chenggang Li, Nenad Medvidovic:
UI Test Migration Across Mobile Platforms. 756-767 - Chaima Abid, James Ivers, Thiago do Nascimento Ferreira, Marouane Kessentini, Fares E. Kahla, Ipek Ozkaya:
Intelligent Change Operators for Multi-Objective Refactoring. 768-780 - Emna Ksontini, Marouane Kessentini, Thiago do Nascimento Ferreira, Foyzul Hassan:
Refactorings and Technical Debt in Docker Projects: An Empirical Study. 781-791 - Qiang Liu, Cen Zhang, Lin Ma, Muhui Jiang, Yajin Zhou, Lei Wu, Wenbo Shen, Xiapu Luo, Yang Liu, Kui Ren:
FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution. 792-804 - Peiyu Liu, Shouling Ji, Xuhong Zhang, Qinming Dai, Kangjie Lu, Lirong Fu, Wenzhi Chen, Peng Cheng, Wenhai Wang, Raheem Beyah:
IFIZZ: Deep-State and Efficient Fault-Scenario Generation to Test IoT Firmware. 805-816 - Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil Garg:
Learning Patterns in Configuration. 817-828 - Wensheng Tang, Yikun Hu, Gang Fan, Peisen Yao, Rongxin Wu, Guangyuan Bai, Pengcheng Wang, Charles Zhang:
Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems. 829-841 - Simos Gerasimou, Javier Cámara, Radu Calinescu, Naif Alasmari, Faisal Alhwikem, Xinwei Fang:
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies. 842-853 - Shengyi Pan, Lingfeng Bao, Xiaoxue Ren, Xin Xia, David Lo, Shanping Li:
Automating Developer Chat Mining. 854-866 - Matteo Paltenghi, Michael Pradel:
Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code. 867-879 - Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan, Jian Zhang, Zongyan Qiu:
Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers. 880-891 - Penghui Li, Yinxi Liu, Wei Meng:
Understanding and Detecting Performance Bugs in Markdown Compilers. 892-904 - Faraz Yazdani Banafshe Daragh, Sam Malek:
Deep GUI: Black-box GUI Input Generation with Deep Learning. 905-916 - Qiang Hu, Yuejun Guo, Maxime Cordy, Xiaofei Xie, Wei Ma, Mike Papadakis, Yves Le Traon:
Towards Exploring the Limitations of Active Learning: An Empirical Study. 917-929 - Christof Tinnes, Timo Kehrer, Mitchell Joblin, Uwe Hohenstein, Andreas Biesdorf, Sven Apel:
Learning Domain-Specific Edit Operations from Model Repositories with Frequent Subgraph Mining. 930-942 - Sofonias Yitagesu, Zhenchang Xing, Xiaowang Zhang, Zhiyong Feng, Xiaohong Li, Linyi Han:
Unsupervised Labeling and Extraction of Phrase-based Concepts in Vulnerability Descriptions. 943-954 - James Brotherston, Paul Brunet, Nikos Gorogiannis, Max I. Kanovich:
A Compositional Deadlock Detector for Android Java. 955-966 - Elie Mengin, Fabrice Rossi:
Binary Diffing as a Network Alignment Problem via Belief Propagation. 967-978 - Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini:
CiFi: Versatile Analysis of Class and Field Immutability. 979-990 - Elvan Kula, Arie van Deursen, Georgios Gousios:
Modeling Team Dynamics for the Characterization and Prediction of Delays in User Stories. 991-1002 - Derui Zhu, Jinfu Chen, Weiyi Shang, Xuebing Zhou, Jens Grossklags, Ahmed E. Hassan:
DeepMemory: Model-based Memorization Analysis of Deep Neural Language Models. 1003-1015 - Nicolas Dilley, Julien Lange:
Automated Verification of Go Programs via Bounded Model Checking. 1016-1027 - Kareshna Zamani:
A Prediction Model for Software Requirements Change Impact. 1028-1032 - Shangeetha Sivasothy:
DSInfoSearch: Supporting Experimentation Process of Data Scientists. 1033-1037 - Tuan Dung Lai:
Towards the generation of machine learning defect reports. 1038-1042 - Sina Gholamian:
Leveraging Code Clones and Natural Language Processing for Log Statement Prediction. 1043-1047 - Yifan Zhou:
An Automated Pipeline for Privacy Leak Analysis of Android Applications. 1048-1050 - Charaka Geethal:
Training Automated Test Oracles to Identify Semantic Bugs. 1051-1055 - Zian Liu:
Binary Code Similarity Detection. 1056-1060 - Tarek Mahmud:
API Compatibility Issue Detection, Testing and Analysis for Android Apps. 1061-1063 - Xiuheng Wu:
Effectively Analyzing Evolving Software with Differential Facts. 1064-1068 - Hassan Sartaj:
Automated Approach for System-level Testing of Unmanned Aerial Systems. 1069-1073 - Zhiming Li:
Cross-Lingual Transfer Learning Framework for Program Analysis. 1074-1078 - Chi Zhang, Jinfu Chen:
Fuzzing Methods Recommendation Based on Feature Vectors. 1079-1081 - Chunmiao Li:
Gas Estimation and Optimization for Smart Contracts on Ethereum. 1082-1086 - Kristiina Rahkema:
Quality analysis of mobile applications with special focus on security aspects. 1087-1089 - Sandro Speth:
Semi-automated Cross-Component Issue Management and Impact Analysis. 1090-1094 - Youcef Remil:
How Can Subgroup Discovery Help AIOps? 1098-1100 - Hanyoung Yoo, Jingun Hong, Lucas Bader, Dongwon Hwang, Shin Hong:
Improving Configurability of Unit-level Continuous Fuzzing: An Industrial Case Study with SAP HANA. 1101-1105 - Davrondzhon Gafurov, Arne Erik Hurum, Margrete Sunde Grovan:
Access Control Tree for Testing and Learning. 1106-1110 - Qingshun Wang, Lihua Xu, Jun Xiao, Qi Guo, Haotian Zhang, Liang Dou, Liang He, Tao Xie:
FinFuzzer: One Step Further in Fuzzing Fintech Systems. 1111-1115 - Maayan Goldstein, Cecilia González-Alvarez:
Evaluating Semantic Autocompletion of Business Processes with Domain Experts. 1116-1120 - Sayandeep Mitra, Debayan Mukherjee, Atreya Bandyopadhyay, Rajdip Chowdhury, Raveendra Kumar Medicherla, Indrajit Bhattacharya, Ravindra Naik:
Learning-based Assistant for Data Migration of Enterprise Information Systems. 1121-1125 - Rui Abreu, Franjo Ivancic, Filip Niksic, Hadi Ravanbakhsh, Ramesh Viswanathan:
Reducing Time-To-Fix For Fuzzer Bugs. 1126-1130 - Samuel C. Fonseca, Mateus C. Lucena, Tiago M. Reis, Pedro F. Cabral, Walmir A. Silva, Flávia de S. Santos, Felipe T. Giuntini, Juliano Sales:
Automatically Deciding on the Integration of Commits Based on Their Descriptions. 1131-1135 - Jake Tronge, Jieyang Chen, Patricia Grubel, Tim Randles, Rusty Davis, Quincy Wofford, Steven Anaya, Qiang Guan:
BeeSwarm: Enabling Parallel Scaling Performance Measurement in Continuous Integration for HPC Applications. 1136-1140 - Rahul Yedida, Rahul Krishna, Anup K. Kalia, Tim Menzies, Jin Xiao, Maja Vukovic:
Lessons learned from hyper-parameter tuning for microservice candidate identification. 1141-1145 - Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim Alain Laredo, Malik Magdon-Ismail, Louis Mandel, Erik Wittern:
Learning GraphQL Query Cost. 1146-1150 - Yushi Cao, Yan Zheng, Shang-Wei Lin, Yang Liu, Yon Shin Teo, Yuxuan Toh, Vinay Vishnumurthy Adiga:
Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement Learning. 1151-1155 - Yifei Zhang, Tianxiao Gu, Xiaolin Zheng, Lei Yu, Wei Kuai, Sanhong Li:
Towards a Serverless Java Runtime. 1156-1160 - Cen Zhang, Yuekang Li, Hongxu Chen, Xiaoxing Luo, Miaohua Li, Anh Quynh Nguyen, Yang Liu:
BIFF: Practical Binary Fuzzing Framework for Programs of IoT and Mobile Devices. 1161-1165 - Vladislav Tankov, Dmitriy Valchuk, Yaroslav Golubev, Timofey Bryksin:
Infrastructure in Code: Towards Developer-Friendly Cloud Applications. 1166-1170 - Rui Li, Huai Liu, Guannan Lou, James Xi Zheng, Xiao Liu, Tsong Yueh Chen:
Metamorphic Testing on Multi-module UAV Systems. 1171-1173 - José Miguel Pérez-Álvarez, Adrian Mos, Benjamin V. Hanrahan, Iyadunni J. Adenuga:
Decoupling Server and Client Code Through Cloud-Native Domain-Specific Functions. 1174-1176 - Akalanka Galappaththi, John Anvik, Rafat Bin Islam:
Automatically Annotating Sentences for Task-specific Bug Report Summarization. 1177-1179 - Rafail Giavrimis, Alexis Butler, Constantin Cezar Petrescu, Michail Basios, Santanu Kumar Dash:
Genetic Optimisation of C++ Applications. 1180-1182