


default search action
36th 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 - Zexuan Li, Hao Zhong

:
Revisiting Textual Feature of Bug-Triage Approach. 1183-1185 - Siqi Li, Yun Lin, Xiaofei Xie

, Yuekang Li
, Xiaohong Li, Weimin Ge, Yang Liu
, Jin Song Dong:
A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing. 1186-1189 - Soha Hussein

, Vaibhav Sharma, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Counterexample Guided Inductive Repair of Reactive Contracts. 1190-1192 - Ze Tang

, Chuanyi Li, Jidong Ge, Xiaoyu Shen, Zheling Zhu, Bin Luo:
AST-Transformer: Encoding Abstract Syntax Trees Efficiently for Code Summarization. 1193-1195 - Zuohui Chen, Renxuan Wang, Jingyang Xiang, Yue Yu, Xin Xia, Shouling Ji, Qi Xuan, Xiaoniu Yang:

Detecting Adversarial Samples with Graph-Guided Testing. 1196-1198 - Vincent Bushong, Dipta Das, Abdullah Al Maruf

, Tomás Cerný:
Using Static Analysis to Address Microservice Architecture Reconstruction. 1199-1201 - Md Rofiqul Islam, Tomás Cerný:

Business Process Extraction Using Static Analysis. 1202-1204 - Juyoung Jeon, Shin Hong:

Improving Mutation-Based Fault Localization with Plausible-code Generating Mutation Operators. 1205-1207 - Abdullah Al Maruf

, Noah Lambaria, Amr S. Abdelfattah, Tomás Cerný:
Using Version Control and Issue Tickets to detect Code Debt and Economical Cost. 1208-1209 - Tien N. Nguyen, Kim-Kwang Raymond Choo:

Human-in-the-Loop XAI-enabled Vulnerability Detection, Investigation, and Mitigation. 1210-1212 - Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias

:
BeAFix: An Automated Repair Tool for Faulty Alloy Models. 1213-1217 - Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias

, Nazareno Aguirre, Hamid Bagheri:
FLACK: Localizing Faults in Alloy Models. 1218-1222 - Zhou Yang, Jieke Shi

, Shaowei Wang, David Lo:
IncBL: Incremental Bug Localization. 1223-1226 - Yusuke Kimura

, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad:
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions. 1227-1231 - KimHao Nguyen, ThanhVu Nguyen:

GenTree: Inferring Configuration Interactions using Decision Trees. 1232-1236 - Xinyi Wang, Paolo Arcaini

, Tao Yue, Shaukat Ali:
Quito: a Coverage-Guided Test Generator for Quantum Programs. 1237-1241 - Oleg Smirnov, Artyom Lobanov, Yaroslav Golubev

, Elena Tikhomirova, Timofey Bryksin:
Revizor: A Data-Driven Approach to Automate Frequent Code Changes Based on Graph Matching. 1242-1246 - Xiang Gao, Gregory J. Duck

, Abhik Roychoudhury:
Scalable Fuzzing of Program Binaries with E9AFL. 1247-1251 - Xiuheng Wu, Mengyang Li, Yi Li:

EvoMe: A Software Evolution Management Engine Based on Differential Factbase. 1252-1256 - Saranphon Phaithoon, Supakarn Wongnil, Patiphol Pussawong, Morakot Choetkiertikul, Chaiyong Ragkhitwetsagul, Thanwadee Sunetnanta

, Rungroj Maipradit, Hideaki Hata
, Kenichi Matsumoto:
FixMe: A GitHub Bot for Detecting and Monitoring On-Hold Self-Admitted Technical Debt. 1257-1261 - Sophie Xie, Junwen Yang, Shan Lu:

Automated Code Refactoring upon Database-Schema Changes in Web Applications. 1262-1265 - Eñaut Mendiluze

, Shaukat Ali, Paolo Arcaini
, Tao Yue:
Muskit: A Mutation Analysis Tool for Quantum Software Testing. 1266-1270 - Masayuki Taniguchi, Shinsuke Matsumoto, Shinji Kusumoto:

JTDog: a Gradle Plugin for Dynamic Test Smell Detection. 1271-1275 - Zarina Kurbatova, Vladimir Kovalenko, Ioana Savu, Bob Brockbernd, Dan Andreescu, Matei Anton, Roman Venediktov, Elena Tikhomirova, Timofey Bryksin:

RefactorInsight: Enhancing IDE Representation of Changes in Git with Refactorings Information. 1276-1280 - Marcello Cordeiro, Denini Silva

, Leopoldo Teixeira, Breno Miranda, Marcelo d'Amorim:
Shaker: a Tool for Detecting More Flaky Tests Faster. 1281-1285 - Hung Viet Pham, Mijung Kim, Lin Tan, Yaoliang Yu, Nachiappan Nagappan:

DEVIATE: A Deep Learning Variance Testing Framework. 1286-1290 - Bo Shen, Wei Zhang, Ailun Yu, Yifan Shi, Haiyan Zhao, Zhi Jin:

SoManyConflicts: Resolve Many Merge Conflicts Interactively and Systematically. 1291-1295 - Dheeraj Vagavolu, Karthik Chandra Swarna

, Sridhar Chimalakonda:
A Mocktail of Source Code Representations. 1296-1300 - Weihang Wang:

Empowering Web Applications with WebAssembly: Are We There Yet? 1301-1305 - Shuo Jin, Songqiang Chen

, Xiaoyuan Xie:
Property-based Test for Part-of-Speech Tagging Tool. 1306-1311 - Zexuan Li, Hao Zhong:

Understanding Code Fragments with Issue Reports. 1312-1316 - Zexuan Li, Hao Zhong

:
An Empirical Study on Obsolete Issue Reports. 1317-1321 - Max Hort, Federica Sarro

:
Did You Do Your Homework? Raising Awareness on Software Fairness and Discrimination. 1322-1326 - Thomas Laurent, Paolo Arcaini

, Fuyuki Ishikawa, Anthony Ventresque:
Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems. 1327-1331 - Anjan Karmakar, Romain Robbes:

What do pre-trained code models know about code? 1332-1336 - Van-Thuan Pham, Manh-Dung Nguyen, Quang-Trung Ta, Toby Murray, Benjamin I. P. Rubinstein

:
Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing. 1337-1341 - Yun Tang

, Yuan Zhou
, Tianwei Zhang, Fenghua Wu, Yang Liu
, Gang Wang:
Systematic Testing of Autonomous Driving Systems Using Map Topology-Based Scenario Classification. 1342-1346 - Dalal Alrajeh, Patrick Benjamin, Sebastián Uchitel:

Adaptation2: Adapting Specification Learners in Assured Adaptive Systems. 1347-1352 - Ruchi Mahindru, Harshit Kumar, Sahil Bansal:

Log Anomaly to Resolution: AI Based Proactive Incident Remediation. 1353-1357 - Ibrahim Mesecan, Daniel Blackwell, David Clark

, Myra B. Cohen, Justyna Petke
:
HyperGI: Automated Detection and Repair of Information Flow Leakage. 1358-1362 - Yizhaq Benbenisty

, Irit Hadar, Gil Luria, Paola Spoletini
:
Privacy as first-class requirements in software development: A socio-technical approach. 1363-1367 - Ammar Yasser, Mervat Abu-Elkheir

:
Towards Fluid Software Architectures: Bidirectional Human-AI Interaction. 1368-1372 - Pengzhan Zhao

, Jianjun Zhao, Zhongtao Miao, Shuhan Lan:
Bugs4Q: A Benchmark of Real Bugs for Quantum Programs. 1373-1376 - Leonhard Applis, Annibale Panichella, Arie van Deursen:

Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations. 1377-1381 - Chijung Jung, Doowon Kim

, Weihang Wang, Yunhui Zheng, Kyu Hyung Lee, Yonghwi Kwon:
Defeating Program Analysis Techniques via Ambiguous Translation. 1382-1387 - Ali Shokri:

A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base. 1388-1390 - Zihui Wang:

Program Synthesis with Algorithm Pseudocode Guidance. 1391-1393 - Duc-Ly Vu:

py2src: Towards the Automatic (and Reliable) Identification of Sources for PyPI Package. 1394-1396

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














