Software Engineering Empirical Research Radar

2021 Papers

Major-venue software engineering papers from 2021.

PaperVenueYearTopics
"What makes my queries slow?": Subgroup Discovery for SQL Workload Analysis.
Youcef Remil, Anes Bendimerad, Romain Mathonat, Philippe Chaleat, Mehdi Kaytoue
ASE2021Other
A Compositional Deadlock Detector for Android Java.
James Brotherston, Paul Brunet, Nikos Gorogiannis, Max I. Kanovich
ASE2021Mobile / Web / GUI / Android
A First Look at the Effect of Deep Learning in Coverage-guided Fuzzing.
Siqi Li, Yun Lin 0001, Xiaofei Xie, Yuekang Li, Xiaohong Li 0001
ASE2021Testing / QA; AI / LLM for SE
A Mocktail of Source Code Representations.
Dheeraj Vagavolu, Karthik Chandra Swarna, Sridhar Chimalakonda
ASE2021Other
A Prediction Model for Software Requirements Change Impact.
Kareshna Zamani
ASE2021Maintenance / Evolution / Refactoring / Review; Requirements / Modeling / Architecture
A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base.
Ali Shokri 0003
ASE2021Requirements / Modeling / Architecture
AID: Efficient Prediction of Aggregated Intensity of Dependency in Large-scale Cloud Systems.
Tianyi Yang, Jiacheng Shen, Yuxin Su 0001, Xiao Ling, Yongqiang Yang
ASE2021Cloud / Microservices / Distributed Systems
API Compatibility Issue Detection, Testing and Analysis for Android Apps.
Tarek Mahmud
ASE2021Testing / QA; Mobile / Web / GUI / Android
APIzation: Generating Reusable APIs from StackOverflow Code Snippets.
Valerio Terragni, Pasquale Salza
ASE2021Human / Empirical / Socio-technical
ASE: A Value Set Decision Procedure for Symbolic Execution.
Alireza S. Abyaneh, Christoph M. Kirsch
ASE2021Program Analysis / Verification / Formal Methods
AST-Transformer: Encoding Abstract Syntax Trees Efficiently for Code Summarization.
Ze Tang 0002, Chuanyi Li, Jidong Ge, Xiaoyu Shen 0001, Zheling Zhu
ASE2021AI / LLM for SE
Access Control Tree for Testing and Learning.
Davrondzhon Gafurov, Arne Erik Hurum, Margrete Sunde Grovan
ASE2021Testing / QA
Adaptation
Dalal Alrajeh, Patrick Benjamin, Sebastián Uchitel
ASE2021Other
Adversarial Attacks to API Recommender Systems: Time to Wake Up and Smell the Coffeeƒ.
Phuong T. Nguyen 0001, Claudio Di Sipio, Juri Di Rocco, Massimiliano Di Penta, Davide Di Ruscio
ASE2021Other
An Automated Pipeline for Privacy Leak Analysis of Android Applications.
Yifan Zhou
ASE2021Security / Privacy / Vulnerability; DevOps / CI / Build / Release; Mobile / Web / GUI / Android
An Empirical Study of Bugs in WebAssembly Compilers.
Alan Romano, Xinyue Liu 0005, Yonghwi Kwon 0001, Weihang Wang 0001
ASE2021Human / Empirical / Socio-technical
An Empirical Study on Obsolete Issue Reports.
Zexuan Li, Hao Zhong 0001
ASE2021Human / Empirical / Socio-technical
Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations.
Leonhard Applis, Annibale Panichella, Arie van Deursen
ASE2021Program Analysis / Verification / Formal Methods
Automated Approach for System-level Testing of Unmanned Aerial Systems.
Hassan Sartaj
ASE2021Testing / QA
Automated Code Refactoring upon Database-Schema Changes in Web Applications.
Sophie Xie, Junwen Yang, Shan Lu 0001
ASE2021Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android
Automated Repair of Size-Based Inaccessibility Issues in Mobile Applications.
Ali S. Alotaibi, Paul T. Chiou, William G. J. Halfond
ASE2021Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
Automated Testing for Machine Translation via Constituency Invariance.
Pin Ji, Yang Feng 0003, Jia Liu 0008, Zhihong Zhao, Baowen Xu
ASE2021Testing / QA
Automated Verification of Go Programs via Bounded Model Checking.
Nicolas Dilley, Julien Lange
ASE2021Program Analysis / Verification / Formal Methods
Automatic HMI Structure Exploration Via Curiosity-Based Reinforcement Learning.
Yushi Cao, Yan Zheng 0002, Shang-Wei Lin 0001, Yang Liu 0003, Yon Shin Teo
ASE2021Other
Automatically Annotating Sentences for Task-specific Bug Report Summarization.
Akalanka Galappaththi, John Anvik, Rafat Bin Islam
ASE2021Other
Automatically Deciding on the Integration of Commits Based on Their Descriptions.
Samuel C. Fonseca, Mateus C. Lucena, Tiago M. Reis, Pedro F. Cabral, Walmir A. Silva
ASE2021Other
Automating Developer Chat Mining.
Shengyi Pan, Lingfeng Bao, Xiaoxue Ren, Xin Xia 0001, David Lo 0001
ASE2021Human / Empirical / Socio-technical
Automating User Notice Generation for Smart Contract Functions.
Xing Hu 0008, Zhipeng Gao 0002, Xin Xia 0001, David Lo 0001, Xiaohu Yang 0001
ASE2021Security / Privacy / Vulnerability
BIFF: Practical Binary Fuzzing Framework for Programs of IoT and Mobile Devices.
Cen Zhang, Yuekang Li, Hongxu Chen 0001, Xiaoxing Luo, Miaohua Li
ASE2021Testing / QA; Mobile / Web / GUI / Android
BeAFix: An Automated Repair Tool for Faulty Alloy Models.
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen
ASE2021Debugging / Fault Localization / Diagnosis / Repair
BeeSwarm: Enabling Parallel Scaling Performance Measurement in Continuous Integration for HPC Applications.
Jake Tronge, Jieyang Chen, Patricia Grubel, Tim Randles, Rusty Davis
ASE2021Testing / QA; DevOps / CI / Build / Release; Performance / Energy / Reliability
Binary Code Similarity Detection.
Zian Liu
ASE2021Other
Binary Diffing as a Network Alignment Problem via Belief Propagation.
Elie Mengin, Fabrice Rossi
ASE2021Other
Bugs4Q: A Benchmark of Real Bugs for Quantum Programs.
Pengzhan Zhao, Jianjun Zhao 0001, Zhongtao Miao, Shuhan Lan
ASE2021Other
Business Process Extraction Using Static Analysis.
Md Rofiqul Islam, Tomás Cerný
ASE2021Program Analysis / Verification / Formal Methods
Can Neural Clone Detection Generalize to Unseen Functionalitiesƒ.
Chenyao Liu, Zeqi Lin, Jian-Guang Lou, Lijie Wen 0001, Dongmei Zhang 0001
ASE2021AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts.
Lu Liu, Lili Wei 0001, Wuqi Zhang, Ming Wen 0001, Yepang Liu 0001
ASE2021Other
Characterizing and Detecting Configuration Compatibility Issues in Android Apps.
Huaxun Huang, Ming Wen 0001, Lili Wei 0001, Yepang Liu 0001, Shing-Chi Cheung
ASE2021DevOps / CI / Build / Release; Mobile / Web / GUI / Android
CiFi: Versatile Analysis of Class and Field Immutability.
Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini
ASE2021Other
Context Debloating for Object-Sensitive Pointer Analysis.
Dongjie He, Jingbo Lu, Jingling Xue
ASE2021Program Analysis / Verification / Formal Methods
CorbFuzz: Checking Browser Security Policies with Fuzzing.
Chaofan Shou, Ismet Burak Kadron, Qi Su, Tevfik Bultan
ASE2021Testing / QA; Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Counterexample Guided Inductive Repair of Reactive Contracts.
Soha Hussein, Vaibhav Sharma 0001, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
ASE2021Debugging / Fault Localization / Diagnosis / Repair
Cross-Lingual Transfer Learning Framework for Program Analysis.
Zhiming Li
ASE2021Program Analysis / Verification / Formal Methods
DEVIATE: A Deep Learning Variance Testing Framework.
Hung Viet Pham, Mijung Kim, Lin Tan 0001, Yaoliang Yu, Nachiappan Nagappan
ASE2021Testing / QA; AI / LLM for SE
DSInfoSearch: Supporting Experimentation Process of Data Scientists.
Shangeetha Sivasothy
ASE2021Other
Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost.
Malte Mues, Falk Howar
ASE2021Requirements / Modeling / Architecture; Performance / Energy / Reliability
Decoupling Server and Client Code Through Cloud-Native Domain-Specific Functions.
José Miguel Pérez-Álvarez, Adrian Mos, Benjamin V. Hanrahan, Iyadunni J. Adenuga
ASE2021Cloud / Microservices / Distributed Systems
Deep GUI: Black-box GUI Input Generation with Deep Learning.
Faraz Yazdani Banafshe Daragh, Sam Malek
ASE2021AI / LLM for SE; Mobile / Web / GUI / Android
DeepCVA: Automated Commit-level Vulnerability Assessment with Deep Multi-task Learning.
Triet Huynh Minh Le, David Hin, Roland Croft, Muhammad Ali Babar 0001
ASE2021DevOps / CI / Build / Release
DeepMemory: Model-based Memorization Analysis of Deep Neural Language Models.
Derui Zhu, Jinfu Chen 0002, Weiyi Shang, Xuebing Zhou, Jens Grossklags
ASE2021AI / LLM for SE
DeepMetis: Augmenting a Deep Learning Test Set to Increase its Mutation Score.
Vincenzo Riccio, Nargiz Humbatova, Gunel Jahangirova, Paolo Tonella
ASE2021Testing / QA; AI / LLM for SE
Defeating Program Analysis Techniques via Ambiguous Translation.
Chijung Jung, Doowon Kim, Weihang Wang 0001, Yunhui Zheng, Kyu Hyung Lee
ASE2021Program Analysis / Verification / Formal Methods
Detecting Adversarial Samples with Graph-Guided Testing.
Zuohui Chen, Renxuan Wang, Jingyang Xiang, Yue Yu 0001, Xin Xia 0001
ASE2021Testing / QA
Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers.
Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan 0009, Jian Zhang 0001
ASE2021Other
Detecting TensorFlow Program Bugs in Real-World Industrial Environment.
Chen Liu, Jie Lu 0009, Guangwei Li, Ting Yuan, Lian Li 0002
ASE2021Other
Did You Do Your Homework? Raising Awareness on Software Fairness and Discrimination.
Max Hort, Federica Sarro
ASE2021Other
Distribution Models for Falsification and Verification of DNNs.
Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
ASE2021Program Analysis / Verification / Formal Methods
Dynamic Generation of Python Bindings for HPC Kernels.
Steven Zhu, Nader Al Awar, Mattan Erez, Milos Gligoric 0001
ASE2021Other
EditSum: A Retrieve-and-Edit Framework for Source Code Summarization.
Jia Li 0011, Yongmin Li, Ge Li 0001, Xing Hu 0008, Xin Xia 0001
ASE2021Other
Effectively Analyzing Evolving Software with Differential Facts.
Xiuheng Wu
ASE2021Maintenance / Evolution / Refactoring / Review
Efficient SMT-Based Model Checking for Signal Temporal Logic.
Jia Lee, Geunyeol Yu, Kyungmin Bae
ASE2021Program Analysis / Verification / Formal Methods
Efficient state synchronisation in model-based testing through reinforcement learning.
Uraz Cengiz Türker, Robert M. Hierons, Mohammad Reza Mousavi 0001, Ivan Yu. Tyukin
ASE2021Testing / QA
Empowering Web Applications with WebAssembly: Are We There Yet?
Weihang Wang 0001
ASE2021Mobile / Web / GUI / Android
End-to-End Automation of Feedback on Student Assembly Programs.
Zikai Liu, Tingkai Liu, Qi Li, Wenqing Luo, Steven S. Lumetta
ASE2021Education / Program Comprehension
Evaluating Semantic Autocompletion of Business Processes with Domain Experts.
Maayan Goldstein, Cecilia González-Alvarez
ASE2021Other
EvoMe: A Software Evolution Management Engine Based on Differential Factbase.
Xiuheng Wu, Mengyang Li, Yi Li 0008
ASE2021Maintenance / Evolution / Refactoring / Review
Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies.
Simos Gerasimou, Javier Cámara 0001, Radu Calinescu, Naif Alasmari, Faisal Alhwikem
ASE2021Program Analysis / Verification / Formal Methods
Explainable AI for Software Engineering.
Chakkrit Kla Tantithamthavorn, Jirayus Jiarpakdee
ASE2021AI / LLM for SE
FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning.
Shaohua Zhang, Shuang Liu 0007, Jun Sun 0001, Yuqi Chen 0013, Wenzhi Huang
ASE2021Debugging / Fault Localization / Diagnosis / Repair
FLACK: Localizing Faults in Alloy Models.
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias
ASE2021Other
FRUGAL: Unlocking Semi-Supervised Learning for Software Analytics.
Huy Tu, Tim Menzies
ASE2021Other
Faster Mutation Analysis with Fewer Processes and Smaller Overheads.
Bo Wang 0050, Sirui Lu, Yingfei Xiong 0001, Feng Liu 0061
ASE2021Testing / QA
FinFuzzer: One Step Further in Fuzzing Fintech Systems.
Qingshun Wang, Lihua Xu, Jun Xiao, Qi Guo, Haotian Zhang
ASE2021Testing / QA
Finding A Needle in a Haystack: Automated Mining of Silent Vulnerability Fixes.
Jiayuan Zhou, Michael Pacheco, Zhiyuan Wan, Xin Xia 0001, David Lo 0001
ASE2021Other
Finding the Missing Piece: Permission Specification Analysis for Android NDK.
Hao Zhou 0043, Haoyu Wang 0001, Shuohan Wu, Xiapu Luo, Yajin Zhou
ASE2021Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution.
Qiang Liu 0034, Cen Zhang, Lin Ma 0009, Muhui Jiang, Yajin Zhou
ASE2021Other
FixMe: A GitHub Bot for Detecting and Monitoring On-Hold Self-Admitted Technical Debt.
Saranphon Phaithoon, Supakarn Wongnil, Patiphol Pussawong, Morakot Choetkiertikul, Chaiyong Ragkhitwetsagul
ASE2021Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
Fuzzing Methods Recommendation Based on Feature Vectors.
Chi Zhang 0046, Jinfu Chen 0001
ASE2021Testing / QA
Gas Estimation and Optimization for Smart Contracts on Ethereum.
Chunmiao Li
ASE2021Performance / Energy / Reliability
GenTree: Inferring Configuration Interactions using Decision Trees.
KimHao Nguyen, ThanhVu Nguyen
ASE2021DevOps / CI / Build / Release
Genetic Optimisation of C++ Applications.
Rafail Giavrimis, Alexis Butler, Constantin Cezar Petrescu, Michail Basios, Santanu Kumar Dash 0001
ASE2021Other
Graph-based Incident Aggregation for Large-Scale Online Service Systems.
Zhuangbin Chen, Jinyang Liu 0002, Yuxin Su 0001, Hongyu Zhang 0002, Xuemin Wen
ASE2021Other
Groot: An Event-graph-based Approach for Root Cause Analysis in Industrial Settings.
Hanzhang Wang, Zhengkai Wu, Huai Jiang, Yichao Huang, Jiamu Wang
ASE2021Debugging / Fault Localization / Diagnosis / Repair
How Can Subgroup Discovery Help AIOps?
Youcef Remil
ASE2021Other
Human-in-the-Loop XAI-enabled Vulnerability Detection, Investigation, and Mitigation.
Tien N. Nguyen, Kim-Kwang Raymond Choo
ASE2021Human / Empirical / Socio-technical
HyperGI: Automated Detection and Repair of Information Flow Leakage.
Ibrahim Mesecan, Daniel Blackwell, David Clark 0001, Myra B. Cohen, Justyna Petke
ASE2021Debugging / Fault Localization / Diagnosis / Repair
IFIZZ: Deep-State and Efficient Fault-Scenario Generation to Test IoT Firmware.
Peiyu Liu 0003, Shouling Ji, Xuhong Zhang 0002, Qinming Dai, Kangjie Lu
ASE2021Testing / QA
ISPY: Automatic Issue-Solution Pair Extraction from Community Live Chats.
Lin Shi 0006, Ziyou Jiang, Ye Yang, Xiao Chen 0015, Yumin Zhang
ASE2021Other
Improving Configurability of Unit-level Continuous Fuzzing: An Industrial Case Study with SAP HANA.
Hanyoung Yoo, Jingun Hong, Lucas Bader, Dongwon Hwang, Shin Hong
ASE2021Testing / QA; Human / Empirical / Socio-technical
Improving Mutation-Based Fault Localization with Plausible-code Generating Mutation Operators.
Juyoung Jeon, Shin Hong
ASE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Improving Test Case Generation for REST APIs Through Hierarchical Clustering.
Dimitri Michel Stallenberg, Mitchell Olsthoorn, Annibale Panichella
ASE2021Testing / QA
IncBL: Incremental Bug Localization.
Zhou Yang 0003, Jieke Shi, Shaowei Wang 0002, David Lo 0001
ASE2021Debugging / Fault Localization / Diagnosis / Repair
Infrastructure in Code: Towards Developer-Friendly Cloud Applications.
Vladislav Tankov, Dmitriy Valchuk, Yaroslav Golubev, Timofey Bryksin
ASE2021Human / Empirical / Socio-technical; Cloud / Microservices / Distributed Systems
InstruGuard: Find and Fix Instrumentation Errors for Coverage-based Greybox Fuzzing.
Yuwei Liu 0001, Yanhao Wang, Purui Su, Yuanping Yu, Xiangkun Jia
ASE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Intelligent Change Operators for Multi-Objective Refactoring.
Chaima Abid, James Ivers, Thiago do Nascimento Ferreira, Marouane Kessentini, Fares E. Kahla
ASE2021Maintenance / Evolution / Refactoring / Review
Interactive Cross-language Code Retrieval with Auto-Encoders.
Binger Chen, Ziawasch Abedjan
ASE2021Other
Is Historical Data an Appropriate Benchmark for Reviewer Recommendation Systems? : A Case Study of the Gerrit Community.
Ian X. Gauthier, Maxime Lamothe, Gunter Mussbacher, Shane McIntosh
ASE2021Human / Empirical / Socio-technical
JSTAR: JavaScript Specification Type Analyzer using Refinement.
Jihyeok Park, Seungmin An, Wonho Shin, Yusung Sim, Sukyoung Ryu
ASE2021Program Analysis / Verification / Formal Methods
JTDog: a Gradle Plugin for Dynamic Test Smell Detection.
Masayuki Taniguchi, Shinsuke Matsumoto, Shinji Kusumoto
ASE2021Testing / QA
Learning Domain-Specific Edit Operations from Model Repositories with Frequent Subgraph Mining.
Christof Tinnes, Timo Kehrer, Mitchell Joblin, Uwe Hohenstein, Andreas Biesdorf
ASE2021Other
Learning GraphQL Query Cost.
Georgios Mavroudeas, Guillaume Baudart, Alan Cha, Martin Hirzel, Jim Alain Laredo
ASE2021Performance / Energy / Reliability
Learning Highly Recursive Input Grammars.
Neil Kulkarni, Caroline Lemieux, Koushik Sen
ASE2021Other
Learning Patterns in Configuration.
Ranjita Bhagwan, Sonu Mehta, Arjun Radhakrishna, Sahil Garg
ASE2021DevOps / CI / Build / Release
Learning-based Assistant for Data Migration of Enterprise Information Systems.
Sayandeep Mitra, Debayan Mukherjee, Atreya Bandyopadhyay, Rajdip Chowdhury, Raveendra Kumar Medicherla
ASE2021AI / LLM for SE; Maintenance / Evolution / Refactoring / Review
Lessons learned from hyper-parameter tuning for microservice candidate identification.
Rahul Yedida, Rahul Krishna, Anup K. Kalia, Tim Menzies, Jin Xiao 0005
ASE2021Cloud / Microservices / Distributed Systems
Leveraging Code Clones and Natural Language Processing for Log Statement Prediction.
Sina Gholamian
ASE2021Other
Log Anomaly to Resolution: AI Based Proactive Incident Remediation.
Ruchi Mahindru, Harshit Kumar, Sahil Bansal
ASE2021AI / LLM for SE
Log-based Anomaly Detection Without Log Parsing.
Van-Hoang Le, Hongyu Zhang 0002
ASE2021Cloud / Microservices / Distributed Systems
Metamorphic Testing on Multi-module UAV Systems.
Rui Li 0013, Huai Liu, Guannan Lou, James Xi Zheng, Xiao Liu 0004
ASE2021Testing / QA
Mining Cross-Domain Apps for Software Evolution: A Feature-based Approach.
Md Kafil Uddin, Qiang He 0001, Jun Han 0004, Caslon Chua
ASE2021Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android
Modeling Team Dynamics for the Characterization and Prediction of Delays in User Stories.
Elvan Kula, Arie van Deursen, Georgios Gousios
ASE2021Requirements / Modeling / Architecture
Muskit: A Mutation Analysis Tool for Quantum Software Testing.
Eñaut Mendiluze, Shaukat Ali 0001, Paolo Arcaini, Tao Yue 0002
ASE2021Testing / QA
Nekara: Generalized Concurrency Testing.
Udit Agarwal, Pantazis Deligiannis, Cheng Huang, Kumseok Jung, Akash Lal
ASE2021Testing / QA
On Multi-Modal Learning of Editing Source Code.
Saikat Chakraborty 0001, Baishakhi Ray
ASE2021Other
On the Real-World Effectiveness of Static Bug Detectors at Finding Null Pointer Exceptions.
David A. Tomassi, Cindy Rubio-González
ASE2021Program Analysis / Verification / Formal Methods
Performance Testing for Cloud Computing with Dependent Data Bootstrapping.
Sen He 0002, Tianyi Liu, Palden Lama, Jaewoo Lee, In Kee Kim
ASE2021Testing / QA; Cloud / Microservices / Distributed Systems; Performance / Energy / Reliability
Privacy as first-class requirements in software development: A socio-technical approach.
Yizhaq Benbenisty, Irit Hadar, Gil Luria, Paola Spoletini
ASE2021Security / Privacy / Vulnerability; Requirements / Modeling / Architecture
Program Synthesis with Algorithm Pseudocode Guidance.
Zihui Wang
ASE2021Other
Property-based Test for Part-of-Speech Tagging Tool.
Shuo Jin, Songqiang Chen, Xiaoyuan Xie
ASE2021Testing / QA
PyExplainer: Explaining the Predictions of Just-In-Time Defect Models.
Chanathip Pornprasit, Chakkrit Tantithamthavorn, Jirayus Jiarpakdee, Michael Fu, Patanamon Thongtanunam
ASE2021Other
PyNose: A Test Smell Detector For Python.
Tongjie Wang, Yaroslav Golubev, Oleg Smirnov, Jiawei Li 0013, Timofey Bryksin
ASE2021Testing / QA
Q&A MAESTRO: Q&A Post Recommendation for Fixing Java Runtime Exceptions.
Yusuke Kimura, Takumi Akazaki, Shinji Kikuchi, Sonal Mahajan, Mukul R. Prasad
ASE2021Debugging / Fault Localization / Diagnosis / Repair
QDiff: Differential Testing of Quantum Software Stacks.
Jiyuan Wang, Qian Zhang 0020, Guoqing Harry Xu, Miryung Kim
ASE2021Testing / QA
Quality analysis of mobile applications with special focus on security aspects.
Kristiina Rahkema
ASE2021Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Quito: a Coverage-Guided Test Generator for Quantum Programs.
Xinyi Wang 0004, Paolo Arcaini, Tao Yue 0002, Shaukat Ali 0001
ASE2021Testing / QA
REPFINDER: Finding Replacements for Missing APIs in Library Update.
Kaifeng Huang 0001, Bihuan Chen 0001, Linghao Pan, Shuai Wu, Xin Peng 0001
ASE2021Other
RULF: Rust Library Fuzzing via API Dependency Graph Traversal.
Jianfeng Jiang, Hui Xu 0009, Yangfan Zhou 0002
ASE2021Testing / QA
Race Detection for Event-Driven Node.js Applications.
Xiaoning Chang, Wensheng Dou, Jun Wei 0001, Tao Huang 0001, Jinhui Xie
ASE2021Other
Reducing Bug Triaging Confusion by Learning from Mistakes with a Bug Tossing Knowledge Graph.
Yanqi Su, Zhenchang Xing, Xin Peng 0001, Xin Xia 0001, Chong Wang 0013
ASE2021Other
Reducing Time-To-Fix For Fuzzer Bugs.
Rui Abreu 0001, Franjo Ivancic, Filip Niksic, Hadi Ravanbakhsh, Ramesh Viswanathan
ASE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
RefactorInsight: Enhancing IDE Representation of Changes in Git with Refactorings Information.
Zarina Kurbatova, Vladimir Kovalenko, Ioana Savu, Bob Brockbernd, Dan Andreescu
ASE2021Maintenance / Evolution / Refactoring / Review
Refactorings and Technical Debt in Docker Projects: An Empirical Study.
Emna Ksontini, Marouane Kessentini, Thiago do Nascimento Ferreira, Foyzul Hassan
ASE2021Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
Restoring the Executability of Jupyter Notebooks by Automatic Upgrade of Deprecated APIs.
Chenguang Zhu 0002, Ripon K. Saha, Mukul R. Prasad, Sarfraz Khurshid
ASE2021Maintenance / Evolution / Refactoring / Review
Revisiting Textual Feature of Bug-Triage Approach.
Zexuan Li, Hao Zhong 0001
ASE2021Other
Revizor: A Data-Driven Approach to Automate Frequent Code Changes Based on Graph Matching.
Oleg Smirnov, Artyom Lobanov, Yaroslav Golubev, Elena Tikhomirova, Timofey Bryksin
ASE2021Maintenance / Evolution / Refactoring / Review
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools.
Ugur Koc, Austin Mordahl, Shiyi Wei, Jeffrey S. Foster, Adam A. Porter
ASE2021Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical
SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses.
Jaeseung Choi 0002, Doyeon Kim, Soomin Kim 0002, Gustavo Grieco, Alex Groce
ASE2021Testing / QA; Security / Privacy / Vulnerability
Scalable Fuzzing of Program Binaries with E9AFL.
Xiang Gao 0012, Gregory J. Duck, Abhik Roychoudhury
ASE2021Testing / QA
Semi-automated Cross-Component Issue Management and Impact Analysis.
Sandro Speth
ASE2021Other
Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems.
Thomas Laurent 0003, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque
ASE2021Testing / QA
Shaker: a Tool for Detecting More Flaky Tests Faster.
Marcello Cordeiro, Denini Silva, Leopoldo Teixeira, Breno Miranda, Marcelo d'Amorim
ASE2021Testing / QA; DevOps / CI / Build / Release
SoManyConflicts: Resolve Many Merge Conflicts Interactively and Systematically.
Bo Shen, Wei Zhang 0004, Ailun Yu, Yifan Shi, Haiyan Zhao 0001
ASE2021Other
Subtle Bugs Everywhere: Generating Documentation for Data Wrangling Code.
Chenyang Yang 0002, Shurui Zhou, Jin L. C. Guo, Christian Kästner
ASE2021Other
Systematic Testing of Autonomous Driving Systems Using Map Topology-Based Scenario Classification.
Yun Tang 0003, Yuan Zhou 0005, Tianwei Zhang 0004, Fenghua Wu, Yang Liu 0003
ASE2021Testing / QA
Tackling Flaky Tests: Understanding the Problem and Providing Practical Solutions.
Martin Gruber
ASE2021Testing / QA; DevOps / CI / Build / Release
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search.
Yixing Luo, Xiao-Yi Zhang 0005, Paolo Arcaini, Zhi Jin 0001, Haiyan Zhao 0001
ASE2021Requirements / Modeling / Architecture
Testing Your Question Answering Software via Asking Recursively.
Songqiang Chen, Shuo Jin, Xiaoyuan Xie
ASE2021Testing / QA
Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code.
Matteo Paltenghi, Michael Pradel
ASE2021AI / LLM for SE; Human / Empirical / Socio-technical
Towards Exploring the Limitations of Active Learning: An Empirical Study.
Qiang Hu, Yuejun Guo 0001, Maxime Cordy, Xiaofei Xie, Wei Ma 0014
ASE2021Human / Empirical / Socio-technical
Towards Fluid Software Architectures: Bidirectional Human-AI Interaction.
Ammar Yasser, Mervat Abu-Elkheir
ASE2021AI / LLM for SE; Human / Empirical / Socio-technical
Towards Systematic and Dynamic Task Allocation for Collaborative Parallel Fuzzing.
Van-Thuan Pham, Manh-Dung Nguyen, Quang-Trung Ta, Toby Murray, Benjamin I. P. Rubinstein
ASE2021Testing / QA
Towards a Serverless Java Runtime.
Yifei Zhang 0001, Tianxiao Gu, Xiaolin Zheng, Lei Yu, Wei Kuai
ASE2021Cloud / Microservices / Distributed Systems
Towards the generation of machine learning defect reports.
Tuan Dung Lai
ASE2021AI / LLM for SE
Training Automated Test Oracles to Identify Semantic Bugs.
Charaka Geethal
ASE2021Testing / QA
Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems.
Wensheng Tang, Yikun Hu, Gang Fan, Peisen Yao, Rongxin Wu
ASE2021Other
UI Test Migration Across Mobile Platforms.
Saghar Talebipour, Yixue Zhao, Luka Dojcilovic, Chenggang Li, Nenad Medvidovic
ASE2021Testing / QA; Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android
Understanding Code Fragments with Issue Reports.
Zexuan Li, Hao Zhong 0001
ASE2021Other
Understanding and Detecting Performance Bugs in Markdown Compilers.
Penghui Li 0001, Yinxi Liu, Wei Meng 0001
ASE2021Performance / Energy / Reliability
Unsupervised Labeling and Extraction of Phrase-based Concepts in Vulnerability Descriptions.
Sofonias Yitagesu, Zhenchang Xing, Xiaowang Zhang, Zhiyong Feng 0002, Xiaohong Li 0001
ASE2021Other
Using Static Analysis to Address Microservice Architecture Reconstruction.
Vincent Bushong, Dipta Das, Abdullah Al Maruf, Tomás Cerný
ASE2021Program Analysis / Verification / Formal Methods; Requirements / Modeling / Architecture; Cloud / Microservices / Distributed Systems
Using Version Control and Issue Tickets to detect Code Debt and Economical Cost.
Abdullah Al Maruf, Noah Lambaria, Amr S. Abdelfattah, Tomás Cerný
ASE2021DevOps / CI / Build / Release; Performance / Energy / Reliability
VizSmith: Automated Visualization Synthesis by Mining Data-Science Notebooks.
Rohan Bavishi, Shadaj Laddad, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen
ASE2021Other
What do pre-trained code models know about code?
Anjan Karmakar, Romain Robbes
ASE2021Other
Where to Start: Studying Type Annotation Practices in Python.
Wuxia Jin, Dinghong Zhong, Zifan Ding, Ming Fan 0002, Ting Liu 0002
ASE2021Program Analysis / Verification / Formal Methods
Why Do Developers Remove Lambda Expressions in Java?
Mingwei Zheng, Jun Yang 0062, Ming Wen 0001, Hengcheng Zhu 0001, Yepang Liu 0001
ASE2021Human / Empirical / Socio-technical
py2src: Towards the Automatic (and Reliable) Identification of Sources for PyPI Package.
Duc-Ly Vu
ASE2021Other
A bounded symbolic-size model for symbolic execution.
David Trabish, Shachar Itzhaky, Noam Rinetzky
FSE2021Program Analysis / Verification / Formal Methods
A comprehensive study of deep learning compiler bugs.
Qingchao Shen, Haoyang Ma, Junjie Chen 0003, Yongqiang Tian 0001, Shing-Chi Cheung
FSE2021AI / LLM for SE; Human / Empirical / Socio-technical
A comprehensive study on learning-based PE malware family classification methods.
Yixuan Ma, Shuang Liu 0007, Jiajun Jiang, Guanhong Chen, Keqiu Li
FSE2021AI / LLM for SE; Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
A first look at developers' live chat on Gitter.
Lin Shi 0006, Xiao Chen 0015, Ye Yang, Hanzhi Jiang, Ziyou Jiang
FSE2021Human / Empirical / Socio-technical
A general approach to modeling Java framework behaviors.
Linghui Luo
FSE2021Requirements / Modeling / Architecture
A grounded theory of the role of coordination in software security patch management.
Nesara Dissanayake, Mansooreh Zahedi, Asangi Jayatilaka, Muhammad Ali Babar 0001
FSE2021Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability
A large-scale empirical study on Java library migrations: prevalence, trends, and rationales.
Hao He 0012, Runzhi He, Haiqiao Gu, Minghui Zhou 0001
FSE2021Human / Empirical / Socio-technical
A live environment for inspection and refactoring of software systems.
Sara Fernandes
FSE2021Maintenance / Evolution / Refactoring / Review
A longitudinal analysis of bloated Java dependencies.
César Soto-Valero, Thomas Durieux, Benoit Baudry
FSE2021Other
A qualitative study of cleaning in Jupyter notebooks.
Helen Dong
FSE2021Human / Empirical / Socio-technical
A replication of 'DeepBugs: a learning approach to name-based bug detection'.
Jordan Winkler, Abhimanyu Agarwal, Caleb Tung, Dario Rios Ugalde, Young Jin Jung
FSE2021Testing / QA
A syntax-guided edit decoder for neural program repair.
Qihao Zhu, Zeyu Sun 0004, Yuan-an Xiao, Wenjie Zhang 0007, Kang Yuan
FSE2021AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
ACHyb: a hybrid analysis approach to detect kernel access control vulnerabilities.
Yang Hu, Wenxi Wang, Casen Hunger, Riley Wood, Sarfraz Khurshid
FSE2021Other
AC²: towards understanding architectural changes in Python projects.
A. Eashaan Rao, Dheeraj Vagavolu, Sridhar Chimalakonda
FSE2021Maintenance / Evolution / Refactoring / Review; Requirements / Modeling / Architecture
Accelerating JavaScript static analysis via dynamic shortcuts.
Joonyoung Park, Jihyeok Park, Dongjun Youn, Sukyoung Ryu
FSE2021Program Analysis / Verification / Formal Methods
Accelerating redundancy-based program repair via code representation learning and adaptive patch filtering.
Chen Yang
FSE2021Debugging / Fault Localization / Diagnosis / Repair
Algebraic-datatype taint tracking, with applications to understanding Android identifier leaks.
Sydur Rahaman, Iulian Neamtiu, Xin Yin
FSE2021Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
AlloyFL: a fault localization framework for Alloy.
Tanvir Ahmed Khan, Allison Sullivan, Kaiyuan Wang
FSE2021Debugging / Fault Localization / Diagnosis / Repair
AlloyMax: bringing maximum satisfaction to relational specifications.
Changjian Zhang, Ryan Wagner, Pedro Orvalho, David Garlan, Vasco Manquinho
FSE2021Other
An automatic refactoring framework for replacing test-production inheritance by mocking mechanism.
Xiao Wang 0030, Lu Xiao 0001, Tingting Yu 0001, Anne Woepse, Sunny Wong 0001
FSE2021Testing / QA; Maintenance / Evolution / Refactoring / Review
An empirical investigation of practical log anomaly detection for online service systems.
Nengwen Zhao, Honglin Wang, Zeyan Li, Xiao Peng, Gang Wang
FSE2021Human / Empirical / Socio-technical
An empirical study of GUI widget detection for industrial mobile games.
Jiaming Ye, Ke Chen, Xiaofei Xie, Lei Ma 0003, Ruochen Huang
FSE2021Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
An empirical study on challenges of application development in serverless computing.
Jinfeng Wen, Zhenpeng Chen, Yi Liu 0014, Yiling Lou, Yun Ma 0002
FSE2021Human / Empirical / Socio-technical; Cloud / Microservices / Distributed Systems
An exploratory study of autopilot software bugs in unmanned aerial vehicles.
Dinghua Wang, Shuqing Li 0001, Guanping Xiao, Yepang Liu 0001, Yulei Sui
FSE2021Human / Empirical / Socio-technical
Analysis of specifications of multiparty sessions with dcj-lint.
Erik Horlings, Sung-Shik Jongmans
FSE2021Other
Authorship attribution of source code: a language-agnostic approach and applicability in software engineering.
Egor Bogomolov, Vladimir Kovalenko, Yurii Rebryk, Alberto Bacchelli, Timofey Bryksin
FSE2021Other
Automated code transformation for context propagation in Go.
Adam Welc
FSE2021Other
Automated generation of realistic test inputs for web APIs.
Juan C. Alonso
FSE2021Testing / QA; Mobile / Web / GUI / Android
Automating serverless deployments for DevOps organizations.
Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi
FSE2021DevOps / CI / Build / Release; Cloud / Microservices / Distributed Systems
Automating the removal of obsolete TODO comments.
Zhipeng Gao 0002, Xin Xia 0001, David Lo 0001, John C. Grundy, Thomas Zimmermann 0001
FSE2021Other
BF-detector: an automated tool for CI build failure detection.
Islem Saidani, Ali Ouni 0001, Moataz Chouchen, Mohamed Wiem Mkaouer
FSE2021Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
BRAID: an API recommender supporting implicit user feedback.
Yu Zhou 0010, Haonan Jin, Xinying Yang, Taolue Chen 0001, Krishna Narasimhan
FSE2021Other
Benchmarking automated GUI testing for Android against real-world bugs.
Ting Su 0001, Jue Wang, Zhendong Su 0001
FSE2021Testing / QA; Mobile / Web / GUI / Android
Bias in machine learning software: why? how? what to do?
Joymallya Chakraborty, Suvodeep Majumder, Tim Menzies
FSE2021AI / LLM for SE
BiasRV: uncovering biased sentiment predictions at runtime.
Zhou Yang 0003, Muhammad Hilmi Asyrofi, David Lo 0001
FSE2021Other
Boosting coverage-based fault localization via graph-based representation learning.
Yiling Lou, Qihao Zhu, Jinhao Dong, Xia Li 0009, Zeyu Sun 0004
FSE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Boosting static analysis accuracy with instrumented test executions.
Tianyi Chen, Kihong Heo, Mukund Raghothaman
FSE2021Testing / QA; Program Analysis / Verification / Formal Methods
Characterizing search activities on stack overflow.
Jiakun Liu, Sebastian Baltes, Christoph Treude, David Lo 0001, Yun Zhang 0011
FSE2021Other
Checking LTL[F, G, X] on compressed traces in polynomial time.
Minjian Zhang 0002, Umang Mathur 0001, Mahesh Viswanathan 0001
FSE2021Other
Checking conformance of applications against GUI policies.
Zhen Zhang, Yu Feng 0001, Michael D. Ernst, Sebastian Porst, Isil Dillig
FSE2021Mobile / Web / GUI / Android
Code integrity attestation for PLCs using black box neural network predictions.
Yuqi Chen 0001, Christopher M. Poskitt, Jun Sun 0001
FSE2021Testing / QA; AI / LLM for SE
Code2Que: a tool for improving question titles from mined code snippets in stack overflow.
Zhipeng Gao 0002, Xin Xia 0001, David Lo 0001, John C. Grundy, Yuan-Fang Li
FSE2021Other
Conditional interpolation: making concurrent program verification more effective.
Jie Su 0002, Cong Tian 0001, Zhenhua Duan
FSE2021Program Analysis / Verification / Formal Methods
Connecting the dots: rethinking the relationship between code and prose writing with functional connectivity.
Zachary Karas, Andrew Jahn, Westley Weimer, Yu Huang 0015
FSE2021Other
Context-aware and data-driven feedback generation for programming assignments.
Dowon Song, Woosuk Lee, Hakjoo Oh
FSE2021Other
Contextualizing toxicity in open source: a qualitative study.
Sophie Cohen
FSE2021Human / Empirical / Socio-technical
Cross-language code search using static and dynamic analyses.
George Mathew, Kathryn T. Stolee
FSE2021Other
CrossASR++: a modular differential testing framework for automatic speech recognition.
Muhammad Hilmi Asyrofi, Zhou Yang 0003, David Lo 0001
FSE2021Testing / QA
CrossVul: a cross-language vulnerability dataset with commit data.
Georgios Nikitopoulos, Konstantina Dritsa, Panos Louridas, Dimitris Mitropoulos
FSE2021DevOps / CI / Build / Release
DIFFBASE: a differential factbase for effective software evolution management.
Xiuheng Wu, Chenguang Zhu 0002, Yi Li 0008
FSE2021Maintenance / Evolution / Refactoring / Review
Data-driven accessibility repair revisited: on the effectiveness of generating labels for icons in Android apps.
Forough Mehralian, Navid Salehnamadi, Sam Malek
FSE2021Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
Data-driven extract method recommendations: a study at ING.
David van der Leij, Jasper Binda, Robbert van Dalen, Pieter Vallen, Yaping Luo
FSE2021Human / Empirical / Socio-technical
Data-driven test selection at scale.
Sonu Mehta, Farima Farmahinifarahani, Ranjita Bhagwan, Suraj Guptha, Sina Jafari
FSE2021Testing / QA; DevOps / CI / Build / Release
Demystifying "bad" error messages in data science libraries.
Yida Tao, Zhihui Chen, Yepang Liu 0001, Jifeng Xuan, Zhiwu Xu 0001
FSE2021Other
Deployment coordination for cross-functional DevOps teams.
Daniel Sokolowski
FSE2021DevOps / CI / Build / Release
Detecting Node.js prototype pollution vulnerabilities via object lookup analysis.
Song Li 0006, Mingqing Kang, Jianwei Hou, Yinzhi Cao
FSE2021Other
Detecting and localizing keyboard accessibility failures in web applications.
Paul T. Chiou, Ali S. Alotaibi, William G. J. Halfond
FSE2021Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
Detecting concurrency vulnerabilities based on partial orders of memory and thread events.
Kunpeng Yu, Chenxu Wang 0001, Yan Cai 0001, Xiapu Luo, Zijiang Yang 0006
FSE2021Other
Discovering repetitive code changes in ML systems.
Malinda Dilhara
FSE2021Maintenance / Evolution / Refactoring / Review
Documenting evidence of a replication of 'analyze this! 145 questions for data scientists in software engineering'.
Xueqi Yang, Tim Menzies
FSE2021Other
Documenting evidence of a replication of 'populating a release history database from version control and bug tracking systems'.
Xueqi Yang, Tim Menzies
FSE2021DevOps / CI / Build / Release
Documenting evidence of a reproduction of 'is there a "golden" feature set for static warning identification? - an experimental evaluation'.
Xueqi Yang, Tim Menzies
FSE2021Other
Documenting evidence of a reuse of '"why should I trust you?": explaining the predictions of any classifier'.
Kewen Peng, Tim Menzies
FSE2021Other
Documenting evidence of a reuse of 'RefactoringMiner 2.0'.
Andre Lustosa, Tim Menzies
FSE2021Other
Documenting evidence of a reuse of 'a systematic literature review of techniques and metrics to reduce the cost of mutation testing'.
Andre Lustosa, Tim Menzies
FSE2021Testing / QA; Performance / Energy / Reliability
Documenting evidence of a reuse of 'a systematic study of the class imbalance problem in convolutional neural networks'.
Rahul Yedida, Tim Menzies
FSE2021AI / LLM for SE; Human / Empirical / Socio-technical
Documenting evidence of a reuse of 'on the number of linear regions of deep neural networks'.
Rahul Yedida, Tim Menzies
FSE2021AI / LLM for SE
Documenting evidence of a reuse of 'what is a feature? a qualitative study of features in industrial software product lines'.
Kewen Peng, Tim Menzies
FSE2021Human / Empirical / Socio-technical
Does reusing pre-trained NLP model propagate bugs?
Mohna Chakraborty
FSE2021Other
Domain adaptation for an automated classification of deontic modalities in software engineering contracts.
Vivek Joshi, Preethu Rose Anish, Smita Ghaisas
FSE2021Other
Duplicated code pattern mining in visual programming languages.
Miguel Terra-Neves, João Nadkarni, Miguel Ventura, Pedro Resende, Hugo Veiga
FSE2021Other
Effective low capacity status prediction for cloud systems.
Hang Dong 0004, Si Qin, Yong Xu 0010, Bo Qiao 0001, Shandan Zhou
FSE2021Cloud / Microservices / Distributed Systems
Efficient module-level dynamic analysis for dynamic languages with module recontextualization.
Nikos Vasilakis, Grigoris Ntousakis, Veit Heller, Martin C. Rinard
FSE2021Program Analysis / Verification / Formal Methods
Embedding app-library graph for neural third party library recommendation.
Bo Li 0103, Qiang He 0001, Feifei Chen 0001, Xin Xia 0001, Li Li 0029
FSE2021AI / LLM for SE; Mobile / Web / GUI / Android
Empirical study of transformers for source code.
Nadezhda Chirkova, Sergey Troshin 0001
FSE2021Human / Empirical / Socio-technical
Estimating residual risk in greybox fuzzing.
Marcel Böhme, Danushka Liyanage, Valentin Wüstholz
FSE2021Testing / QA
Explaining mispredictions of machine learning models using rule induction.
Jürgen Cito, Isil Dillig, Seohyun Kim 0001, Vijayaraghavan Murali, Satish Chandra 0001
FSE2021AI / LLM for SE
Exploit those code reviews! bigger data for deeper learning.
Robert Heumüller, Sebastian Nielebock 0001, Frank Ortmeier
FSE2021Security / Privacy / Vulnerability
Exposing numerical bugs in deep learning via gradient back-propagation.
Ming Yan 0010, Junjie Chen 0003, Xiangyu Zhang 0001, Lin Tan 0001, Gan Wang
FSE2021AI / LLM for SE
FLEX: fixing flaky tests in machine learning projects by updating assertion bounds.
Saikat Dutta 0001, August Shi, Sasa Misailovic
FSE2021Testing / QA; AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Fair preprocessing: towards understanding compositional fairness of data transformers in machine learning pipeline.
Sumon Biswas, Hridesh Rajan
FSE2021AI / LLM for SE; DevOps / CI / Build / Release
Fairea: a model behaviour mutation approach to benchmarking bias mitigation methods.
Max Hort, Jie M. Zhang, Federica Sarro, Mark Harman
FSE2021Testing / QA
Feature trace recording.
Paul Maximilian Bittner, Alexander Schultheiß, Thomas Thüm, Timo Kehrer, Jeffrey M. Young
FSE2021Other
Finding broken Linux configuration specifications by statically analyzing the Kconfig language.
Jeho Oh, Necip Fazil Yildiran, Julian Braha, Paul Gazzillo
FSE2021DevOps / CI / Build / Release
Flaky test detection in Android via event order exploration.
Zhen Dong, Abhishek Tiwari 0001, Xiao Liang Yu, Abhik Roychoudhury
FSE2021Testing / QA; DevOps / CI / Build / Release; Mobile / Web / GUI / Android
Freeing hybrid distributed AI training configuration.
Haoran Wang
FSE2021AI / LLM for SE; DevOps / CI / Build / Release; Cloud / Microservices / Distributed Systems
Frontmatter: mining Android user interfaces at scale.
Konstantin Kuznetsov 0001, Chen Fu, Song Gao 0014, David N. Jansen, Lijun Zhang 0001
FSE2021Mobile / Web / GUI / Android
FuzzBench: an open fuzzer benchmarking platform and service.
Jonathan Metzman, László Szekeres, Laurent Simon 0001, Read Sprabery, Abhishek Arya
FSE2021Testing / QA
GLIB: towards automated test oracle for graphically-rich applications.
Ke Chen 0005, Yufei Li 0001, Yingfeng Chen, Changjie Fan, Zhipeng Hu
FSE2021Testing / QA
GenSys: a scalable fixed-point engine for maximal controller synthesis over infinite state spaces.
Stanly Samuel, Deepak D'Souza, Raghavan Komondoor
FSE2021Other
Generalizable and interpretable learning for configuration extrapolation.
Yi Ding 0006, Ahsan Pervaiz, Michael Carbin, Henry Hoffmann
FSE2021DevOps / CI / Build / Release
Generating efficient solvers from constraint models.
Shu Lin 0003, Na Meng 0001, Wenxin Li 0005
FSE2021Other
Generating metamorphic relations for cyber-physical systems with genetic programming: an industrial case study.
Jon Ayerdi, Valerio Terragni, Aitor Arrieta, Paolo Tonella, Goiuria Sagardui
FSE2021Human / Empirical / Socio-technical
Graph-based seed object synthesis for search-based unit testing.
Yun Lin 0001, You Sheng Ong, Jun Sun 0001, Gordon Fraser 0001, Jin Song Dong 0001
FSE2021Testing / QA
Hazard analysis for human-on-the-loop interactions in sUAS systems.
Michael Vierhauser, Md Nafee Al Islam, Ankit Agrawal 0002, Jane Cleland-Huang, James Mason
FSE2021Human / Empirical / Socio-technical
Health of smart ecosystems.
Noura El Moussa, Davide Molinelli, Mauro Pezzè, Martin Tappler
FSE2021Other
HeteroFuzz: fuzz testing to detect platform dependent divergence for heterogeneous applications.
Qian Zhang 0020, Jiyuan Wang, Miryung Kim
FSE2021Testing / QA
How can manual testing processes be optimized? developer survey, optimization guidelines, and case studies.
Roman Haas, Daniel Elsner, Elmar Jürgens, Alexander Pretschner, Sven Apel
FSE2021Testing / QA; Human / Empirical / Socio-technical; Performance / Energy / Reliability
How disabled tests manifest in test maintainability challenges?
Dong Jae Kim, Bo Yang 0058, Jinqiu Yang 0001, Tse-Hsun (Peter) Chen
FSE2021Testing / QA
Huawei's practices on trusted software engineering capability improvement (invited talk).
Wilson Wang
FSE2021Other
ICME: an informed consent management engine for conformance in smart building environments.
Chehara Pathmabandu, John C. Grundy, Mohan Baruwal Chhetri, Zubair A. Baig
FSE2021DevOps / CI / Build / Release
IDE support for cloud-based static analyses.
Linghui Luo, Martin Schäf, Daniel Sanchez, Eric Bodden
FSE2021Cloud / Microservices / Distributed Systems
Identifying bad software changes via multimodal anomaly detection for online service systems.
Nengwen Zhao, Junjie Chen 0003, Zhaoyang Yu 0002, Honglin Wang, Jiesong Li
FSE2021Maintenance / Evolution / Refactoring / Review
Identifying casualty changes in software patches.
Adriana Sejfia, Yixue Zhao, Nenad Medvidovic
FSE2021Maintenance / Evolution / Refactoring / Review
Improving the effectiveness of peer code review in identifying security defects.
Rajshakhar Paul
FSE2021Security / Privacy / Vulnerability; Maintenance / Evolution / Refactoring / Review
Industrial best practices for continuous integration (CI) and continuously delivery (CD) (invited talk).
John Micco
FSE2021DevOps / CI / Build / Release
Infiltrating security into development: exploring the world's largest software security study.
Charles Weir, Sammy Migues, Mike Ware, Laurie A. Williams
FSE2021Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
Intelligent container reallocation at Microsoft 365.
Bo Qiao 0001, Fangkai Yang, Chuan Luo 0002, Yanan Wang, Johnny Li
FSE2021Cloud / Microservices / Distributed Systems
Interactive analysis of large code bases (invited talk).
Gerard J. Holzmann
FSE2021Other
Investigating documented information for accurate effort estimation in agile software development.
Jirat Pasuksmit
FSE2021Other
JSISOLATE: lightweight in-browser JavaScript isolation.
Mingxue Zhang 0001, Wei Meng 0001
FSE2021Mobile / Web / GUI / Android
KGAMD: an API-misuse detector driven by fine-grained API-constraint knowledge graph.
Xiaoxue Ren, Xinyuan Ye, Zhenchang Xing, Xin Xia 0001, Xiwei Xu 0001
FSE2021Other
LLSC: a parallel symbolic execution compiler for LLVM IR.
Guannan Wei 0001, Shangyin Tan, Oliver Bracevac, Tiark Rompf
FSE2021Program Analysis / Verification / Formal Methods
LS-sampling: an effective local search based sampling approach for achieving high t-wise coverage.
Chuan Luo 0002, Binqi Sun, Bo Qiao 0001, Junjie Chen 0003, Hongyu Zhang 0002
FSE2021Testing / QA
LastPyMile: identifying the discrepancy between sources and packages.
Duc-Ly Vu, Fabio Massacci, Ivan Pashchenko, Henrik Plate, Antonino Sabetta
FSE2021Other
Learning type annotation: is big data enough?
Kevin Jesse, Premkumar T. Devanbu, Toufique Ahmed
FSE2021Program Analysis / Verification / Formal Methods
Learning-based extraction of first-order logic representations of API directives.
Mingwei Liu 0002, Xin Peng 0001, Andrian Marcus, Christoph Treude, Xuefang Bai
FSE2021AI / LLM for SE
Lightweight and modular resource leak verification.
Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst
FSE2021Program Analysis / Verification / Formal Methods; Performance / Energy / Reliability
Lightweight global and local contexts guided method name recommendation with prior knowledge.
Shangwen Wang, Ming Wen 0001, Bo Lin 0011, Xiaoguang Mao
FSE2021Other
Lightweight verification via specialized typecheckers.
Martin Kellogg
FSE2021Program Analysis / Verification / Formal Methods
Making smart contract development more secure and easier.
Meng Ren, Fuchen Ma, Zijing Yin, Ying Fu, Huizhong Li
FSE2021Security / Privacy / Vulnerability
Managers hate uncertainty: good and bad experiences with adaptive project management (invited talk).
Han Schaminée
FSE2021Other
Metamorphic testing of Datalog engines.
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz
FSE2021Testing / QA
Mitigating security attacks in kubernetes manifests for security best practices violation.
Shazibul Islam Shamim
FSE2021Security / Privacy / Vulnerability; Cloud / Microservices / Distributed Systems
Mono2Micro: a practical and effective tool for decomposing monolithic Java applications to microservices.
Anup K. Kalia, Jin Xiao 0005, Rahul Krishna, Saurabh Sinha 0003, Maja Vukovic
FSE2021Other
Multi-location cryptographic code repair with neural-network-based methodologies.
Ya Xiao 0002
FSE2021AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair; Security / Privacy / Vulnerability
Multi-objectivizing software configuration tuning.
Tao Chen 0001, Miqing Li
FSE2021DevOps / CI / Build / Release
NIL: large-scale detection of large-variance clones.
Tasuku Nakagawa, Yoshiki Higo, Shinji Kusumoto
FSE2021Other
New visions on metamorphic testing after a quarter of a century of inception.
Tsong Yueh Chen, T. H. Tse
FSE2021Testing / QA
One thousand and one stories: a large-scale survey of software refactoring.
Yaroslav Golubev, Zarina Kurbatova, Eman Abdullah AlOmar, Timofey Bryksin, Mohamed Wiem Mkaouer
FSE2021Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
Onion: identifying incident-indicating logs for cloud systems.
Xu Zhang 0024, Yong Xu 0010, Si Qin, Shilin He, Bo Qiao 0001
FSE2021Cloud / Microservices / Distributed Systems
Organizational implications of agile adoption: a case study from the public sector.
Parastoo Mohagheghi, Casper Lassenius
FSE2021Human / Empirical / Socio-technical
Overcoming metric diversity in meta-analysis for software engineering: proposed approach and a case study on its usage on the effects of software reuse.
Kirill Daniakin
FSE2021Human / Empirical / Socio-technical
OwlEyes-online: a fully automated platform for detecting and localizing UI display issues.
Yuhui Su, Zhe Liu 0025, Chunyang Chen 0001, Junjie Wang 0001, Qing Wang 0001
FSE2021Mobile / Web / GUI / Android
PHYSFRAME: type checking physical frames of reference for robotic systems.
Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang 0001, Sebastian G. Elbaum
FSE2021Program Analysis / Verification / Formal Methods
Parallel shadow execution to accelerate the debugging of numerical errors.
Sangeeta Chowdhary, Santosh Nagarakatte
FSE2021Debugging / Fault Localization / Diagnosis / Repair
PorkFuzz: testing stateful software-defined network applications with property graphs.
Chaofan Shou
FSE2021Testing / QA
Probabilistic Delta debugging.
Guancheng Wang 0001, Ruobing Shen, Junjie Chen 0003, Yingfei Xiong 0001, Lu Zhang 0023
FSE2021Debugging / Fault Localization / Diagnosis / Repair
Probing model signal-awareness via prediction-preserving input minimization.
Sahil Suneja, Yunhui Zheng, Yufan Zhuang, Jim Alain Laredo, Alessandro Morari
FSE2021Other
Programming and execution models for next generation code intelligence systems (keynote).
Mira Mezini
FSE2021Other
Quantifying no-fault-found test failures to prioritize inspection of flaky tests at Ericsson.
Maaz Hafeez Ur Rehman, Peter C. Rigby
FSE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
RAPID: checking API usage for the cloud in the cloud.
Michael Emmi, Liana Hadarean, Ranjit Jhala, Lee Pike, Nicolás Rosner
FSE2021Maintenance / Evolution / Refactoring / Review; Cloud / Microservices / Distributed Systems
Reassessing automatic evaluation metrics for code summarization tasks.
Devjeet Roy, Sarah Fakhoury, Venera Arnaoudova
FSE2021Other
Reducing cost in continuous integration with a collection of build selection approaches.
Xianhao Jin
FSE2021DevOps / CI / Build / Release; Performance / Energy / Reliability
Reducing the search space of bug inducing commits using failure coverage.
Gabin An, Shin Yoo
FSE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Reel life vs. real life: how software developers share their daily life through vlogs.
Souti Chattopadhyay, Thomas Zimmermann 0001, Denae Ford
FSE2021Human / Empirical / Socio-technical
SMT solver testing with type and grammar based mutation.
Jiwon Park
FSE2021Testing / QA; Program Analysis / Verification / Formal Methods
Sangrahaka: a tool for annotating and querying knowledge graphs.
Hrishikesh Terdalkar, Arnab Bhattacharya 0001
FSE2021Other
Security guarantees for automated software testing.
Danushka Liyanage
FSE2021Testing / QA; Security / Privacy / Vulnerability
Selecting test inputs for DNNs using differential testing with subspecialized model instances.
Yu-Seung Ma, Shin Yoo, Taeho Kim 0001
FSE2021Testing / QA
Semantic bug seeding: a learning-based approach for creating realistic bugs.
Jibesh Patra, Michael Pradel
FSE2021AI / LLM for SE
Skeletal approximation enumeration for SMT solver testing.
Peisen Yao, Heqing Huang 0002, Wensheng Tang, Qingkai Shi, Rongxin Wu
FSE2021Testing / QA
Slicer4J: a dynamic slicer for Java.
Khaled Ahmed 0004, Mieszko Lis, Julia Rubin
FSE2021Other
SmartCommit: a graph-based interactive assistant for activity-oriented commits.
Bo Shen, Wei Zhang 0004, Christian Kästner, Haiyan Zhao 0001, Zhao Wei
FSE2021Other
Software robustness: a survey, a theory, and prospects.
Justyna Petke, David Clark 0001, William B. Langdon
FSE2021Human / Empirical / Socio-technical
Sound and efficient concurrency bug prediction.
Yan Cai 0001, Hao Yun, Jinqiu Wang, Lei Qiao, Jens Palsberg
FSE2021Other
StackEmo: towards enhancing user experience by augmenting stack overflow with emojis.
Akhila Sri Manasa Venigalla, Sridhar Chimalakonda
FSE2021Other
StateFormer: fine-grained type recovery from binaries using generative state modeling.
Kexin Pei, Jonas Guan, Matthew Broughton, Zhongtian Chen, Songchen Yao
FSE2021AI / LLM for SE; Program Analysis / Verification / Formal Methods; Requirements / Modeling / Architecture
Sustainability forecasting for Apache incubator projects.
Likang Yin, Zhuangzhi Chen, Qi Xuan 0001, Vladimir Filkov
FSE2021Other
Swarmbug: debugging configuration bugs in swarm robotics.
Chijung Jung, Ali Ahad, Jinho Jung 0001, Sebastian G. Elbaum, Yonghwi Kwon 0001
FSE2021Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
Symbolic parallel adaptive importance sampling for probabilistic program analysis.
Yicheng Luo, Antonio Filieri, Yuan Zhou 0028
FSE2021Program Analysis / Verification / Formal Methods
SynGuar: guaranteeing generalization in programming by example.
Bo Wang 0146, Teodora Baluta, Aashish Kolluri, Prateek Saxena
FSE2021Other
Synthesis of web layouts from examples.
Dylan Lukes, John Sarracino, Cora Coleman, Hila Peleg, Sorin Lerner
FSE2021Mobile / Web / GUI / Android
TaintStream: fine-grained taint tracking for big data platforms through dynamic code translation.
Chengxu Yang, Yuanchun Li 0003, Mengwei Xu 0001, Zhenpeng Chen, Yunxin Liu 0001
FSE2021Security / Privacy / Vulnerability
Term interrelations and trends in software engineering.
Janusan Baskararajah, Lei Zhang 0078, Andriy V. Miranskyy
FSE2021Other
The 4ps: product, process, people, and productivity: a data-driven approach to improve software engineering (keynote).
Nachiappan Nagappan
FSE2021Other
The gas triangle and its challenges to the development of blockchain-powered applications.
Gustavo Ansaldi Oliva, Ahmed E. Hassan
FSE2021Security / Privacy / Vulnerability
Timely and accurate detection of model deviation in self-adaptive software-intensive systems.
Yanxiang Tong, Yi Qin 0002, Yanyan Jiang 0001, Chang Xu 0001, Chun Cao
FSE2021Other
To read or to rotate? comparing the effects of technical reading training and spatial skills training on novice programming ability.
Madeline Endres, Madison Fansher, Priti Shah, Westley Weimer
FSE2021Education / Program Comprehension
Toward efficient interactions between Python and native libraries.
Jialiang Tan, Yu Chen 0036, Zhenming Liu, Bin Ren 0002, Shuaiwen Leon Song
FSE2021Other
Towards an approach for resource-driven adaptation.
Paul A. Akiki
FSE2021Performance / Energy / Reliability
Towards automating code review at scale.
Vincent J. Hellendoorn, Jason Tsay, Manisha Mukherjee, Martin Hirzel
FSE2021Maintenance / Evolution / Refactoring / Review
Towards immersive software archaeology: regaining legacy systems' design knowledge via interactive exploration in virtual reality.
Adrian Hoff, Michael Nieke, Christoph Seidl 0001
FSE2021Requirements / Modeling / Architecture
Turnover-induced knowledge loss in practice.
Martin P. Robillard
FSE2021Other
Understanding and detecting server-side request races in web applications.
Zhengyi Qiu, Shudi Shao, Qi Zhao 0003, Guoliang Jin
FSE2021Mobile / Web / GUI / Android
Understanding neural code intelligence through program simplification.
Md. Rafiqul Islam Rabin, Vincent J. Hellendoorn, Mohammad Amin Alipour
FSE2021AI / LLM for SE
Unveiling multiple facets of design degradation in modern code review.
Anderson G. Uchôa
FSE2021Maintenance / Evolution / Refactoring / Review; Requirements / Modeling / Architecture
Validation on machine reading comprehension software without annotated labels: a property-based method.
Songqiang Chen, Shuo Jin, Xiaoyuan Xie
FSE2021Testing / QA; Education / Program Comprehension
VarFix: balancing edit expressiveness and search effectiveness in automated program repair.
Chu-Pan Wong, Priscila Santiesteban, Christian Kästner, Claire Le Goues
FSE2021Debugging / Fault Localization / Diagnosis / Repair
Vet: identifying and avoiding UI exploration tarpits.
Wenyu Wang, Wei Yang 0013, Tianyin Xu, Tao Xie 0001
FSE2021Mobile / Web / GUI / Android
Vulnerability detection with fine-grained interpretations.
Yi Li 0048, Shaohua Wang 0002, Tien N. Nguyen
FSE2021Other
When life gives you oranges: detecting and diagnosing intermittent job failures at Mozilla.
Johannes Lampel, Sascha Just, Sven Apel, Andreas Zeller
FSE2021Debugging / Fault Localization / Diagnosis / Repair
Which abbreviations should be expanded?
Yanjie Jiang, Hui Liu 0003, Yuxia Zhang, Nan Niu, Yuhai Zhao
FSE2021Other
Would you like a quick peek? providing logging support to monitor data processing in big data applications.
Zehao Wang, Haoxiang Zhang 0001, Tse-Hsun (Peter) Chen, Shaowei Wang 0002
FSE2021Other
XAI tools in the public sector: a case study on predicting combined sewer overflows.
Nicholas Maltbie, Nan Niu, Matthew Van Doren, Reese Johnson
FSE2021Human / Empirical / Socio-technical
csDetector: an open source tool for community smells detection.
Nuri Almarimi, Ali Ouni 0001, Moataz Chouchen, Mohamed Wiem Mkaouer
FSE2021Human / Empirical / Socio-technical
iBatch: saving Ethereum fees via secure and cost-effective batching of smart-contract invocations.
Yibo Wang 0006, Qi Zhang 0009, Kai Li 0017, Yuzhe Tang, Jiaqi Chen
FSE2021Performance / Energy / Reliability
ÐArcher: detecting on-chain-off-chain synchronization bugs in decentralized applications.
Wuqi Zhang, Lili Wei 0001, Shuqing Li 0001, Yepang Liu 0001, Shing-Chi Cheung
FSE2021Other
"Do this! Do that!, And nothing will happen" Do specifications lead to securely stored passwords?
Joseph Hallett, Nikhil Patnaik, Benjamin Shreeve, Awais Rashid
ICSE2021Other
"How Was Your Weekend?" Software Development Teams Working From Home During COVID-19.
Courtney Miller, Paige Rodeghero, Margaret-Anne D. Storey, Denae Ford, Thomas Zimmermann 0001
ICSE2021Other
"Ignorance and Prejudice" in Software Fairness.
Jie M. Zhang, Mark Harman
ICSE2021Other
A Case Study of Onboarding in Software Teams: Tasks and Strategies.
An Ju, Hitesh Sajnani, Scot Kelly, Kim Herzig
ICSE2021Human / Empirical / Socio-technical
A Context-based Automated Approach for Method Name Consistency Checking and Suggestion.
Yi Li 0048, Shaohua Wang 0002, Tien N. Nguyen
ICSE2021Other
A Differential Testing Approach for Evaluating Abstract Syntax Tree Mapping Algorithms.
Yuanrui Fan, Xin Xia 0001, David Lo 0001, Ahmed E. Hassan, Yuan Wang 0008
ICSE2021Testing / QA
AID: An automated detector for gender-inclusivity bugs in OSS project pages.
Amreeta Chatterjee, Mariam Guizani, Catherine Stevens, Jillian Emard, Mary Evelyn May
ICSE2021Other
ATVHUNTER: Reliable Version Detection of Third-Party Libraries for Vulnerability Identification in Android Applications.
Xian Zhan, Lingling Fan 0003, Sen Chen 0001, Feng Wu, Tianming Liu 0002
ICSE2021Mobile / Web / GUI / Android
AUTOTRAINER: An Automatic DNN Training Problem Detection and Repair System.
Xiaoyu Zhang 0013, Juan Zhai, Shiqing Ma, Chao Shen 0001
ICSE2021Debugging / Fault Localization / Diagnosis / Repair
Abacus: Precise Side-Channel Analysis.
Qinkun Bao, Zihao Wang, Xiaoting Li 0001, James R. Larus, Dinghao Wu
ICSE2021Other
An Empirical Analysis of UI-based Flaky Tests.
Alan Romano, Zihe Song, Sampath Grandhi, Wei Yang 0013, Weihang Wang 0001
ICSE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical; DevOps / CI / Build / Release; Mobile / Web / GUI / Android
An Empirical Assessment of Global COVID-19 Contact Tracing Applications.
Ruoxi Sun 0001, Wei Wang 0334, Minhui Xue 0001, Gareth Tyson, Seyit Camtepe
ICSE2021Human / Empirical / Socio-technical
An Empirical Study of Refactorings and Technical Debt in Machine Learning Systems.
Yiming Tang 0002, Raffi Khatchadourian, Mehdi Bagherzadeh 0001, Rhia Singh, Ajani Stewart
ICSE2021AI / LLM for SE; Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
An Empirical Study on Deployment Faults of Deep Learning Based Mobile Applications.
Zhenpeng Chen, Huihan Yao, Yiling Lou, Yanbin Cao, Yuanqiang Liu
ICSE2021AI / LLM for SE; Human / Empirical / Socio-technical; DevOps / CI / Build / Release; Mobile / Web / GUI / Android
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems.
Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li 0001, Wei Dong 0006
ICSE2021Human / Empirical / Socio-technical; DevOps / CI / Build / Release; Requirements / Modeling / Architecture; Cloud / Microservices / Distributed Systems
App's Auto-Login Function Security Testing via Android OS-Level Virtualization.
Wenna Song, Jiang Ming 0002, Lin Jiang, Han Yan, Yi Xiang
ICSE2021Testing / QA; Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Are Machine Learning Cloud APIs Used Correctly?
Chengcheng Wan 0001, Shicheng Liu, Henry Hoffmann, Michael Maire, Shan Lu 0001
ICSE2021AI / LLM for SE; Cloud / Microservices / Distributed Systems
AutoCCAG: An Automated Approach to Constrained Covering Array Generation.
Chuan Luo 0002, Jinkun Lin, Shaowei Cai 0001, Xin Chen, Bing He
ICSE2021Other
Automated Query Reformulation for Efficient Search based on Query Logs From Stack Overflow.
Kaibo Cao, Chunyang Chen 0001, Sebastian Baltes, Christoph Treude, Xiang Chen 0005
ICSE2021Cloud / Microservices / Distributed Systems
Automatic Extraction of Opinion-based Q&A from Online Developer Chats.
Preetha Chatterjee, Kostadin Damevski, Lori L. Pollock
ICSE2021Human / Empirical / Socio-technical
Automatic Solution Summarization for Crash Bugs.
Haoye Wang, Xin Xia 0001, David Lo 0001, John C. Grundy, Xinyu Wang 0001
ICSE2021Debugging / Fault Localization / Diagnosis / Repair
Automatic Unit Test Generation for Machine Learning Libraries: How Far Are We?
Song Wang 0009, Nishtha Shrestha, Abarna Kucheri Subburaman, Junjie Wang 0001, Moshi Wei
ICSE2021Testing / QA; AI / LLM for SE
Automatic Web Testing Using Curiosity-Driven Reinforcement Learning.
Yan Zheng 0002, Yi Liu 0069, Xiaofei Xie, Yepang Liu 0001, Lei Ma 0003
ICSE2021Testing / QA; Mobile / Web / GUI / Android
Automatically Matching Bug Reports With Related App Reviews.
Marlo Haering, Christoph Stanik, Walid Maalej
ICSE2021Mobile / Web / GUI / Android
Bounded Exhaustive Search of Alloy Specification Repairs.
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen
ICSE2021Debugging / Fault Localization / Diagnosis / Repair; Program Analysis / Verification / Formal Methods
CHAMP: Characterizing Undesired App Behaviors from User Comments based on Market Policies.
Yangyu Hu, Haoyu Wang 0001, Tiantong Ji, Xusheng Xiao, Xiapu Luo
ICSE2021Mobile / Web / GUI / Android
CURE: Code-Aware Neural Machine Translation for Automatic Program Repair.
Nan Jiang 0012, Thibaud Lutellier, Lin Tan 0001
ICSE2021AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis.
Rangeet Pan, Vu Le 0002, Nachiappan Nagappan, Sumit Gulwani, Shuvendu K. Lahiri
ICSE2021Human / Empirical / Socio-technical
Centris: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse.
Seunghoon Woo, Sunghan Park, Seulbae Kim, Heejo Lee, Hakjoo Oh
ICSE2021Other
Code Prediction by Feeding Trees to Transformers.
Seohyun Kim 0001, Jinman Zhao, Yuchi Tian, Satish Chandra 0001
ICSE2021Other
CodeShovel: Constructing Method-Level Source Code Histories.
Felix Grund, Shaiful Alam Chowdhury, Nick C. Bradley, Braxton Hall, Reid Holmes
ICSE2021Other
Containing Malicious Package Updates in npm with a Lightweight Permission System.
Gabriel Ferreira, Limin Jia 0001, Joshua Sunshine, Christian Kästner
ICSE2021Security / Privacy / Vulnerability
Data-Driven Synthesis of Provably Sound Side Channel Analyses.
Jingbo Wang 0006, Chungha Sung, Mukund Raghothaman, Chao Wang 0001
ICSE2021Other
Data-Oriented Differential Testing of Object-Relational Mapping Systems.
Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, Diomidis Spinellis
ICSE2021Testing / QA
DeepLV: Suggesting Log Levels Using Ordinal Based Neural Networks.
Zhenhao Li 0002, Heng Li 0007, Tse-Hsun Peter Chen, Weiyi Shang
ICSE2021AI / LLM for SE
DeepLocalize: Fault Localization for Deep Neural Networks.
Mohammad Wardat, Wei Le, Hridesh Rajan
ICSE2021AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair
DeepPayload: Black-box Backdoor Attack on Deep Learning Models through Neural Payload Injection.
Yuanchun Li 0003, Jiayi Hua, Haoyu Wang 0001, Chunyang Chen 0001, Yunxin Liu 0001
ICSE2021AI / LLM for SE; Security / Privacy / Vulnerability
DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures.
Zhouyang Jia, Shanshan Li 0001, Tingting Yu 0001, Chen Zeng, Erci Xu
ICSE2021Debugging / Fault Localization / Diagnosis / Repair
Distribution-Aware Testing of Neural Networks Using Generative Models.
Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
ICSE2021Testing / QA; AI / LLM for SE
Do you really code? Designing and Evaluating Screening Questions for Online Surveys with Programmers.
Anastasia Danilova, Alena Naiakshina, Stefan Horstmann, Matthew Smith 0001
ICSE2021Other
Does mutation testing improve testing practices?
Goran Petrovic, Marko Ivankovic, Gordon Fraser 0001, René Just
ICSE2021Testing / QA
Domain-Specific Fixes for Flaky Tests with Wrong Assumptions on Underdetermined Specifications.
Peilun Zhang, Yanjie Jiang, Anjiang Wei, Victoria Stodden, Darko Marinov
ICSE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
Don't Do That! Hunting Down Visual Design Smells in Complex UIs against Design Guidelines.
Bo Yang, Zhenchang Xing, Xin Xia 0001, Chunyang Chen 0001, Deheng Ye
ICSE2021Requirements / Modeling / Architecture
Early Life Cycle Software Defect Prediction. Why? How?
N. C. Shrikanth, Suvodeep Majumder, Tim Menzies
ICSE2021Other
Efficient Compiler Autotuning via Bayesian Optimization.
Junjie Chen 0003, Ningxin Xu, Peiqi Chen, Hongyu Zhang 0002
ICSE2021Performance / Energy / Reliability
Enabling Software Resilience in GPGPU Applications via Partial Thread Protection.
Lishan Yang 0001, Bin Nie, Adwait Jog, Evgenia Smirni
ICSE2021Other
Enhancing Genetic Improvement of Software with Regression Test Selection.
Giovani Guizzo, Justyna Petke, Federica Sarro, Mark Harman
ICSE2021Testing / QA; DevOps / CI / Build / Release
Evaluating SZZ Implementations Through a Developer-informed Oracle.
Giovanni Rosa, Luca Pascarella, Simone Scalabrino, Rosalia Tufano, Gabriele Bavota
ICSE2021Testing / QA; Human / Empirical / Socio-technical
Evaluating Unit Testing Practices in R Packages.
Melina C. Vidoni
ICSE2021Testing / QA
EvoSpex: An Evolutionary Algorithm for Learning Postconditions.
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
ICSE2021Other
Extracting Concise Bug-Fixing Patches from Human-Written Patches in Version Control Systems.
Yanjie Jiang, Hui Liu 0003, Nan Niu, Lu Zhang 0023, Yamin Hu
ICSE2021Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical; DevOps / CI / Build / Release
Extracting Rationale for Open Source Software Development Decisions - A Study of Python Email Archives.
Pankajeshwara Nand Sharma, Bastin Tony Roy Savarimuthu, Nigel Stanger
ICSE2021Human / Empirical / Socio-technical
FLACK: Counterexample-Guided Fault Localization for Alloy Models.
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias
ICSE2021Debugging / Fault Localization / Diagnosis / Repair
Fast Outage Analysis of Large-scale Production Clouds with Service Correlation Mining.
Yaohui Wang 0003, Guozheng Li 0001, Zijian Wang, Yu Kang 0006, Yangfan Zhou 0002
ICSE2021Other
Fast Parametric Model Checking through Model Fragmentation.
Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
ICSE2021Program Analysis / Verification / Formal Methods
Fast and Precise On-the-fly Patch Validation for All.
Lingchao Chen, Yicheng Ouyang, Lingming Zhang 0001
ICSE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Fault Localization with Code Coverage Representation Learning.
Yi Li 0048, Shaohua Wang 0002, Tien N. Nguyen
ICSE2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Fine with "1234"? An Analysis of SMS One-Time Password Randomness in Android Apps.
Siqi Ma, Juanru Li, Hyoungshick Kim, Elisa Bertino, Surya Nepal
ICSE2021Mobile / Web / GUI / Android
FlakeFlagger: Predicting Flakiness Without Rerunning Tests.
Abdulrahman Alshammari, Christopher Morris 0003, Michael Hilton, Jonathan Bell 0001
ICSE2021Testing / QA
Fuzzing Symbolic Expressions.
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
ICSE2021Testing / QA; Program Analysis / Verification / Formal Methods
GUIGAN: Learning to Generate GUI Designs Using Generative Adversarial Networks.
Tianming Zhao 0005, Chunyang Chen 0001, Yuanning Liu, Xiaodong Zhu 0001
ICSE2021AI / LLM for SE; Mobile / Web / GUI / Android
GenTree: Using Decision Trees to Learn Interactions for Configurable Software.
KimHao Nguyen, ThanhVu Nguyen
ICSE2021Other
Graph-based Fuzz Testing for Deep Learning Inference Engines.
Weisi Luo, Dong Chai, Xiaoyue Run, Jiang Wang, Chunrong Fang
ICSE2021Testing / QA; AI / LLM for SE
Growing A Test Corpus with Bonsai Fuzzing.
Vasudev Vikram, Rohan Padhye, Koushik Sen
ICSE2021Testing / QA
HERO: On the Chaos When PATH Meets Modules.
Ying Wang 0038, Liang Qiao 0002, Chang Xu 0001, Yepang Liu 0001, Shing-Chi Cheung
ICSE2021Other
How Developers Optimize Virtual Reality Applications: A Study of Optimization Commits in Open Source Unity Projects.
Fariha Nusrat, Foyzul Hassan, Hao Zhong 0001, Xiaoyin Wang
ICSE2021Human / Empirical / Socio-technical; Performance / Energy / Reliability
How Gamification Affects Software Developers: Cautionary Evidence from a Natural Experiment on GitHub.
Lukas Moldon, Markus Strohmaier, Johannes Wachs
ICSE2021Human / Empirical / Socio-technical
How to Identify Boundary Conditions with Contrasty Metric?
Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong
ICSE2021Other
IMGDroid: Detecting Image Loading Defects in Android Applications.
Wei Song 0003, Mengqi Han, Jeff Huang 0001
ICSE2021Mobile / Web / GUI / Android
IdBench: Evaluating Semantic Representations of Identifier Names in Source Code.
Yaza Wainakh, Moiz Rauf, Michael Pradel
ICSE2021Other
Identifying Key Features from App User Reviews.
Huayao Wu, Wenjun Deng, Xintao Niu, Changhai Nie
ICSE2021Mobile / Web / GUI / Android
If It's Not Secure, It Should Not Compile: Preventing DOM-Based XSS in Large-Scale Web Development with API Hardening.
Pei Wang, Julian Bangert, Christoph Kern 0003
ICSE2021Mobile / Web / GUI / Android
Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques.
Yigit Küçük, Tim A. D. Henderson, Andy Podgurski
ICSE2021Debugging / Fault Localization / Diagnosis / Repair
InferCode: Self-Supervised Learning of Code Representations by Predicting Subtrees.
Nghi D. Q. Bui, Yijun Yu 0001, Lingxiao Jiang
ICSE2021Other
Input Algebras.
Rahul Gopinath, Hamed Nemati, Andreas Zeller
ICSE2021Other
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine.
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier
ICSE2021Debugging / Fault Localization / Diagnosis / Repair
Interpretation-enabled Software Reuse Detection Based on a Multi-Level Birthmark Model.
Xi Xu, Qinghua Zheng, Zheng Yan 0002, Ming Fan 0002, Ang Jia
ICSE2021Other
IoT Bugs and Development Challenges.
Amir Makhshari, Ali Mesbah 0001
ICSE2021Other
It Takes Two to TANGO: Combining Visual and Textual Information for Detecting Duplicate Video-Based Bug Reports.
Nathan Cooper, Carlos Bernal-Cárdenas, Oscar Chaparro, Kevin Moran, Denys Poshyvanyk
ICSE2021Other
JEST: N+1 -version Differential Testing of Both JavaScript Engines and Specification.
Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu
ICSE2021Testing / QA; Program Analysis / Verification / Formal Methods
JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs.
Sungjae Hwang, Sungho Lee, Jihoon Kim, Sukyoung Ryu
ICSE2021Testing / QA
Layout and Image Recognition Driving Cross-Platform Automated Mobile Testing.
Shengcheng Yu, Chunrong Fang, Yexiao Yun, Yang Feng 0003
ICSE2021Testing / QA; Mobile / Web / GUI / Android
Leaving My Fingerprints: Motivations and Challenges of Contributing to OSS for Social Good.
Yu Huang 0015, Denae Ford, Thomas Zimmermann 0001
ICSE2021Other
Measuring Discrimination to Boost Comparative Testing for Multiple Deep Learning Models.
Linghan Meng, Yanhui Li, Lin Chen 0015, Zhi Wang, Di Wu 0014
ICSE2021Testing / QA; AI / LLM for SE
MuDelta: Delta-Oriented Mutation Testing at Commit Time.
Wei Ma 0014, Thierry Titcheu Chekam, Mike Papadakis, Mark Harman
ICSE2021Testing / QA; DevOps / CI / Build / Release
On Indirectly Dependent Documentation in the Context of Code Evolution: A Study.
Devika Sondhi, Avyakt Gupta, Salil Purandare, Ankit Rana, Deepanshu Kaushal
ICSE2021Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
On the Naming of Methods: A Survey of Professional Developers.
Reem S. Alsuhaibani, Christian D. Newman, Michael John Decker, Michael L. Collard, Jonathan I. Maletic
ICSE2021Human / Empirical / Socio-technical
Onboarding vs. Diversity, Productivity, and Quality - Empirical Study of the OpenStack Ecosystem.
Armstrong Foundjem, Ellis E. Eghan, Bram Adams
ICSE2021Human / Empirical / Socio-technical
Operation is the hardest teacher: estimating DNN accuracy looking for mispredictions.
Antonio Guerriero, Roberto Pietrantuono, Stefano Russo 0001
ICSE2021Other
Playing Planning Poker in Crowds: Human Computation of Software Effort Estimates.
Mohammed Alhamed, Tim Storer
ICSE2021Human / Empirical / Socio-technical
Prioritize Crowdsourced Test Reports via Deep Screenshot Understanding.
Shengcheng Yu, Chunrong Fang, Zhenfei Cao, Xu Wang, Tongyu Li
ICSE2021Testing / QA
Prioritizing Test Inputs for Deep Neural Networks via Mutation Analysis.
Zan Wang, Hanmo You, Junjie Chen 0003, Yingyi Zhang, Xuyuan Dong
ICSE2021Testing / QA; AI / LLM for SE
Program Comprehension and Code Complexity Metrics: An fMRI Study.
Norman Peitek, Sven Apel, Chris Parnin, André Brechmann, Janet Siegmund
ICSE2021Human / Empirical / Socio-technical; Education / Program Comprehension
PyART: Python API Recommendation in Real-Time.
Xincheng He, Lei Xu 0003, Xiangyu Zhang 0001, Rui Hao, Yang Feng 0003
ICSE2021Other
PyCG: Practical Call Graph Generation in Python.
Vitalis Salis, Thodoris Sotiropoulos, Panos Louridas, Diomidis Spinellis, Dimitris Mitropoulos
ICSE2021Other
RAICC: Revealing Atypical Inter-Component Communication in Android Apps.
Jordan Samhi, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein
ICSE2021Mobile / Web / GUI / Android
Reducing DNN Properties to Enable Falsification with Adversarial Attacks.
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
ICSE2021Other
Relating Reading, Visualization, and Coding for New Programmers: A Neuroimaging Study.
Madeline Endres, Zachary Karas, Xiaosu Hu, Ioulia Kovelman, Westley Weimer
ICSE2021Human / Empirical / Socio-technical
Representation of Developer Expertise in Open Source Software.
Tapajit Dey, Andrey Karnauch, Audris Mockus
ICSE2021Human / Empirical / Socio-technical
Resource-Guided Configuration Space Reduction for Deep Learning Models.
Yanjie Gao, Yonghao Zhu, Hongyu Zhang 0002, Haoxiang Lin, Mao Yang 0004
ICSE2021AI / LLM for SE; DevOps / CI / Build / Release; Performance / Energy / Reliability
Restoring Execution Environments of Jupyter Notebooks.
Jiawei Wang 0003, Li Li 0029, Andreas Zeller
ICSE2021Other
RobOT: Robustness-Oriented Testing for Deep Learning Systems.
Jingyi Wang 0004, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang 0002
ICSE2021Testing / QA; AI / LLM for SE
SOAR: A Synthesis Approach for Data Science API Refactoring.
Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho
ICSE2021Maintenance / Evolution / Refactoring / Review
Same File, Different Changes: The Potential of Meta-Maintenance on GitHub.
Hideaki Hata, Raula Gaikovina Kula, Takashi Ishio, Christoph Treude
ICSE2021Human / Empirical / Socio-technical; Maintenance / Evolution / Refactoring / Review
Scalable Quantitative Verification For Deep Neural Networks.
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
ICSE2021AI / LLM for SE; Program Analysis / Verification / Formal Methods
Seamless Variability Management With the Virtual Platform.
Wardah Mahmood, Daniel Strüber 0001, Thorsten Berger, Ralf Lämmel, Mukelabai Mukelabai
ICSE2021Other
Self-Checking Deep Neural Networks in Deployment.
Yan Xiao 0002, Ivan Beschastnikh, David S. Rosenblum, Changsheng Sun, Sebastian G. Elbaum
ICSE2021AI / LLM for SE; DevOps / CI / Build / Release
Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries.
Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller
ICSE2021Maintenance / Evolution / Refactoring / Review
Semantic Web Accessibility Testing via Hierarchical Visual Analysis.
Mohammad Bajammal, Ali Mesbah 0001
ICSE2021Testing / QA; Mobile / Web / GUI / Android
Semi-supervised Log-based Anomaly Detection via Probabilistic Label Estimation.
Lin Yang 0030, Junjie Chen 0003, Zan Wang, Weijing Wang, Jiajun Jiang
ICSE2021Cloud / Microservices / Distributed Systems
Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps
ICSE2021Debugging / Fault Localization / Diagnosis / Repair; Human / Empirical / Socio-technical
Siri, Write the Next Method.
Fengcai Wen, Emad Aghajani, Csaba Nagy 0001, Michele Lanza 0001, Gabriele Bavota
ICSE2021Other
Smart Contract Security: a Practitioners' Perspective.
Zhiyuan Wan, Xin Xia 0001, David Lo 0001, Jiachi Chen, Xiapu Luo
ICSE2021Security / Privacy / Vulnerability
Studying Test Annotation Maintenance in the Wild.
Dong Jae Kim, Nikolaos Tsantalis, Tse-Hsun Peter Chen, Jinqiu Yang 0001
ICSE2021Testing / QA; Maintenance / Evolution / Refactoring / Review
Studying the Usage of Text-To-Text Transfer Transformer to Support Code-Related Tasks.
Antonio Mastropaolo, Simone Scalabrino, Nathan Cooper, David Nader-Palacio, Denys Poshyvanyk
ICSE2021AI / LLM for SE
Supporting Quality Assurance with Automated Process-Centric Quality Constraints Checking.
Christoph Mayr-Dorn, Michael Vierhauser, Stefan Bichler, Felix Keplinger, Jane Cleland-Huang
ICSE2021Other
Sustainable Solving: Reducing The Memory Footprint of IFDS-Based Data Flow Analyses Using Intelligent Garbage Collection.
Steven Arzt
ICSE2021Other
Synthesizing Object State Transformers for Dynamic Software Updates.
Zelin Zhao, Yanyan Jiang 0001, Chang Xu 0001, Tianxiao Gu, Xiaoxing Ma
ICSE2021Other
TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair.
Yeting Li, Shuaimin Li, Zhiwu Xu 0001, Jialun Cao, Zixuan Chen
ICSE2021Debugging / Fault Localization / Diagnosis / Repair
Technical Leverage in a Software Ecosystem: Development Opportunities and Security Risks.
Fabio Massacci, Ivan Pashchenko
ICSE2021Security / Privacy / Vulnerability
Testing Machine Translation via Referential Transparency.
Pinjia He, Clara Meister, Zhendong Su 0001
ICSE2021Testing / QA
The Mind Is a Powerful Place: How Showing Code Comprehensibility Metrics Influences Code Understanding.
Marvin Wyrich, Andreas Preikschat, Daniel Graziotin, Stefan Wagner 0001
ICSE2021Other
The Shifting Sands of Motivation: Revisiting What Drives Contributors in Open Source.
Marco Aurélio Gerosa, Igor Wiese, Bianca Trinkenreich, Georg Link, Gregorio Robles
ICSE2021Human / Empirical / Socio-technical
Too Quiet in the Library: An Empirical Study of Security Updates in Android Apps' Native Code.
Sumaya Almanee, Arda Ünal, Mathias Payer, Joshua Garcia
ICSE2021Security / Privacy / Vulnerability; Human / Empirical / Socio-technical; Mobile / Web / GUI / Android
Towards Automating Code Review Activities.
Rosalia Tufano, Luca Pascarella, Michele Tufano, Denys Poshyvanyk, Gabriele Bavota
ICSE2021Maintenance / Evolution / Refactoring / Review
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap.
Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand
ICSE2021Other
Traceability Transformed: Generating more Accurate Links with Pre-Trained BERT Models.
Jinfeng Lin, Yalin Liu, Qingkai Zeng 0001, Meng Jiang 0001, Jane Cleland-Huang
ICSE2021Requirements / Modeling / Architecture
Understanding Bounding Functions in Safety-Critical UAV Software.
Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek
ICSE2021Other
Unrealizable Cores for Reactive Systems Specifications.
Shahar Maoz, Rafi Shalom
ICSE2021Other
Using Domain-specific Corpora for Improved Handling of Ambiguity in Requirements.
Saad Ezzini, Sallam Abualhaija, Chetan Arora 0002, Mehrdad Sabetzadeh, Lionel C. Briand
ICSE2021Requirements / Modeling / Architecture
Verifying Determinism in Sequential Programs.
Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst
ICSE2021Other
We'll Fix It in Post: What Do Bug Fixes in Video Game Update Notes Tell Us?
Andrew Truelove, Eduardo Santana de Almeida, Iftekhar Ahmed 0001
ICSE2021Debugging / Fault Localization / Diagnosis / Repair
What Makes a Great Maintainer of Open Source Projects?
Edson Dias, Paulo Meirelles, Fernando Castor, Igor Steinmacher, Igor Wiese
ICSE2021Human / Empirical / Socio-technical
What helped, and what did not? An Evaluation of the Strategies to Improve Continuous Integration.
Xianhao Jin, Francisco Servant
ICSE2021Testing / QA; DevOps / CI / Build / Release
White-Box Analysis over Machine Learning: Modeling Performance of Configurable Systems.
Miguel Velez, Pooyan Jamshidi, Norbert Siegmund, Sven Apel, Christian Kästner
ICSE2021AI / LLM for SE; Requirements / Modeling / Architecture; Performance / Energy / Reliability
White-Box Performance-Influence Models: A Profiling and Learning Approach.
Max Weber, Sven Apel, Norbert Siegmund
ICSE2021Performance / Energy / Reliability
Why Don't Developers Detect Improper Input Validation? '; DROP TABLE Papers; -.
Larissa Braz, Enrico Fregnan, Gül Çalikli, Alberto Bacchelli
ICSE2021Testing / QA; Human / Empirical / Socio-technical
Why Security Defects Go Unnoticed during Code Reviews? A Case-Control Study of the Chromium OS Project.
Rajshakhar Paul, Asif Kamal Turzo, Amiangshu Bosu
ICSE2021Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
A lightweight framework for function name reassignment based on large-scale stripped binaries.
Han Gao 0014, Shaoyin Cheng, Yinxing Xue, Weiming Zhang 0001
ISSTA2021Other
AdvDoor: adversarial backdoor attack of deep learning system.
Quan Zhang 0003, Yifeng Ding, Yongqiang Tian 0001, Jianmin Guo, Min Yuan
ISSTA2021AI / LLM for SE; Security / Privacy / Vulnerability
An infrastructure approach to improving effectiveness of Android UI testing tools.
Wenyu Wang, Wing Lam, Tao Xie 0001
ISSTA2021Testing / QA; Mobile / Web / GUI / Android
Attack as defense: characterizing adversarial examples using robustness.
Zhe Zhao 0007, Guangke Chen, Jingyi Wang 0004, Yiwei Yang 0002, Fu Song
ISSTA2021Security / Privacy / Vulnerability
Automated debugging: past, present, and future (ISSTA impact paper award).
Chris Parnin, Alessandro Orso
ISSTA2021Debugging / Fault Localization / Diagnosis / Repair
Automated patch backporting in Linux (experience paper).
Ridwan Shariffdeen, Xiang Gao 0012, Gregory J. Duck, Shin Hwei Tan, Julia Lawall
ISSTA2021Debugging / Fault Localization / Diagnosis / Repair
Automatic test suite generation for key-points detection DNNs using many-objective search (experience paper).
Fitash Ul Haq, Donghwan Shin 0001, Lionel C. Briand, Thomas Stifter, Jun Wang 0020
ISSTA2021Testing / QA
Boosting symbolic execution via constraint solving time prediction (experience paper).
Sicheng Luo, Hui Xu 0009, Yanxiang Bi, Xin Wang 0002, Yangfan Zhou 0002
ISSTA2021Program Analysis / Verification / Formal Methods
C4: the C compiler concurrency checker.
Matt Windsor, Alastair F. Donaldson, John Wickerson
ISSTA2021Other
Challenges and opportunities: an in-depth empirical study on configuration error injection testing.
Wang Li 0003, Zhouyang Jia, Shanshan Li 0001, Yuanliang Zhang, Teng Wang 0004
ISSTA2021Testing / QA; Human / Empirical / Socio-technical; DevOps / CI / Build / Release
Continuous test suite failure prediction.
Cong Pan 0002, Michael Pradel
ISSTA2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair
Deep just-in-time defect prediction: how far are we?
Zhengran Zeng, Yuqun Zhang, Haotian Zhang, Lingming Zhang 0001
ISSTA2021Other
DeepCrime: mutation testing of deep learning systems based on real faults.
Nargiz Humbatova, Gunel Jahangirova, Paolo Tonella
ISSTA2021Testing / QA; AI / LLM for SE
DeepHyperion: exploring the feature space of deep learning-based systems through illumination search.
Tahereh Zohdinasab, Vincenzo Riccio, Alessio Gambi, Paolo Tonella
ISSTA2021AI / LLM for SE
DialTest: automated testing for recurrent-neural-network-driven dialogue systems.
Zixi Liu, Yang Feng 0003, Zhenyu Chen 0001
ISSTA2021Testing / QA; AI / LLM for SE
Efficient white-box fairness testing through gradient search.
Lingfeng Zhang, Yueling Zhang, Min Zhang 0007
ISSTA2021Testing / QA
Empirical evaluation of smart contract testing: what is the best choice?
Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang 0001
ISSTA2021Testing / QA; Security / Privacy / Vulnerability; Human / Empirical / Socio-technical
Empirically evaluating readily available information for regression test optimization in continuous integration.
Daniel Elsner, Florian Hauer 0002, Alexander Pretschner, Silke Reimer
ISSTA2021Testing / QA; DevOps / CI / Build / Release; Performance / Energy / Reliability
Exposing previously undetectable faults in deep neural networks.
Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham
ISSTA2021AI / LLM for SE
Faster, deeper, easier: crowdsourcing diagnosis of microservice kernel failure from user space.
Yicheng Pan 0002, Meng Ma 0001, Xinrui Jiang 0001, Ping Wang 0003
ISSTA2021Debugging / Fault Localization / Diagnosis / Repair; Cloud / Microservices / Distributed Systems
Finding data compatibility bugs with JSON subschema checking.
Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
ISSTA2021Other
Fixing dependency errors for Python build reproducibility.
Suchita Mukherjee, Abigail Almanza, Cindy Rubio-González
ISSTA2021Debugging / Fault Localization / Diagnosis / Repair; DevOps / CI / Build / Release
Fuzzing SMT solvers via two-dimensional input space exploration.
Peisen Yao, Heqing Huang 0002, Wensheng Tang, Qingkai Shi, Rongxin Wu
ISSTA2021Testing / QA
GUIDER: GUI structure and vision co-guided test script repair for Android apps.
Tongtong Xu, Minxue Pan, Yu Pei 0001, Guiyin Li, Xia Zeng
ISSTA2021Testing / QA; Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android
Gramatron: effective grammar-aware fuzzing.
Prashast Srivastava, Mathias Payer
ISSTA2021Testing / QA
Grammar-agnostic symbolic execution by token symbolization.
Weiyu Pan, Zhenbang Chen, Guofeng Zhang 0005, Yunlai Luo, Yufeng Zhang 0001
ISSTA2021Program Analysis / Verification / Formal Methods
HomDroid: detecting Android covert malware by social-network homophily analysis.
Yueming Wu 0001, Deqing Zou, Wei Yang 0013, Xiang Li, Hai Jin 0001
ISSTA2021Security / Privacy / Vulnerability; Mobile / Web / GUI / Android
Identifying privacy weaknesses from multi-party trigger-action integration platforms.
Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo 0002
ISSTA2021Security / Privacy / Vulnerability
Interval constraint-based mutation testing of numerical specifications.
Clothilde Jeangoudoux, Eva Darulova, Christoph Quirin Lauter
ISSTA2021Testing / QA
Log-based slicing for system-level test cases.
Salma Messaoudi, Donghwan Shin 0001, Annibale Panichella, Domenico Bianculli, Lionel C. Briand
ISSTA2021Testing / QA; Program Analysis / Verification / Formal Methods; Cloud / Microservices / Distributed Systems
MoScan: a model-based vulnerability scanner for web single sign-on services.
Hanlin Wei, Behnaz Hassanshahi, Guangdong Bai, Padmanabhan Krishnan, Kostyantyn Vorobyov
ISSTA2021Mobile / Web / GUI / Android
Model-based testing of networked applications.
Yishuai Li, Benjamin C. Pierce, Steve Zdancewic
ISSTA2021Testing / QA
ModelDiff: testing-based DNN similarity comparison for model reuse detection.
Yuanchun Li, Ziqi Zhang, Bingyan Liu, Ziyue Yang, Yunxin Liu
ISSTA2021Testing / QA
Modular call graph construction for security scanning of Node.js applications.
Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller
ISSTA2021Security / Privacy / Vulnerability
Parema: an unpacking framework for demystifying VM-based Android packers.
Lei Xue 0001, Yuxiao Yan, Luyi Yan, Muhui Jiang, Xiapu Luo
ISSTA2021Mobile / Web / GUI / Android
Predoo: precision testing of deep learning operators.
Xufan Zhang, Ning Sun, Chunrong Fang, Jiawei Liu, Jia Liu 0015
ISSTA2021Testing / QA; AI / LLM for SE
ProFuzzBench: a benchmark for stateful protocol fuzzing.
Roberto Natella, Van-Thuan Pham
ISSTA2021Testing / QA
QFuzz: quantitative fuzzing for side channels.
Yannic Noller, Saeid Tizpaz-Niari
ISSTA2021Testing / QA
RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis.
Ming Yuan 0003, Yeseop Lee, Chao Zhang 0008, Yun Li 0010, Yan Cai 0001
ISSTA2021Other
RESTest: automated black-box testing of RESTful web APIs.
Alberto Martin-Lopez, Sergio Segura, Antonio Ruiz-Cortés
ISSTA2021Testing / QA; Mobile / Web / GUI / Android
Runtime detection of memory errors with smart status.
Zhe Chen 0011, Chong Wang, Junqi Yan, Yulei Sui, Jingling Xue
ISSTA2021Other
SAND: a static analysis approach for detecting SQL antipatterns.
Yingjun Lyu, Sasha Volokh, William G. J. Halfond, Omer Tripp
ISSTA2021Program Analysis / Verification / Formal Methods
SCStudio: a secure and efficient integrated development environment for smart contracts.
Meng Ren, Fuchen Ma, Zijing Yin, Huizhong Li, Ying Fu
ISSTA2021Other
Seed selection for successful fuzzing.
Adrian Herrera, Hendra Gunadi, Shane Magrath, Michael Norrish, Mathias Payer
ISSTA2021Testing / QA
Semantic matching of GUI events for test reuse: are we there yet?
Leonardo Mariani, Ali Mohebbi 0003, Mauro Pezzè, Valerio Terragni
ISSTA2021Testing / QA; Mobile / Web / GUI / Android
Semantic table structure identification in spreadsheets.
Yakun Zhang, Xiao Lv, Haoyu Dong 0001, Wensheng Dou, Shi Han
ISSTA2021Other
Synthesize solving strategy for symbolic execution.
Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang 0005, Weiyu Pan
ISSTA2021Program Analysis / Verification / Formal Methods
TERA: optimizing stochastic regression tests in machine learning projects.
Saikat Dutta 0001, Jeeva Selvam, Aryaman Jain, Sasa Misailovic
ISSTA2021Testing / QA; AI / LLM for SE; DevOps / CI / Build / Release
TauMed: test augmentation of deep learning in medical diagnosis.
Yunhan Hou, Jiawei Liu, Daiwei Wang, Jiawei He, Chunrong Fang
ISSTA2021Testing / QA; AI / LLM for SE
Test-case prioritization for configuration testing.
Runxiang Cheng, Lingming Zhang 0001, Darko Marinov, Tianyin Xu
ISSTA2021Testing / QA; DevOps / CI / Build / Release
The impact of tool configuration spaces on the evaluation of configurable taint analysis for Android.
Austin Mordahl, Shiyi Wei
ISSTA2021Security / Privacy / Vulnerability; DevOps / CI / Build / Release; Mobile / Web / GUI / Android
Toward optimal mc/dc test case generation.
Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, Arpita Dutta
ISSTA2021Testing / QA
Type and interval aware array constraint solving for symbolic execution.
Ziqi Shuai, Zhenbang Chen, Yufeng Zhang 0001, Jun Sun 0001, Ji Wang 0001
ISSTA2021Program Analysis / Verification / Formal Methods
UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities.
Binfa Gui, Wei Song 0003, Jeff Huang 0001
ISSTA2021Other
Understanding and finding system setting-related defects in Android apps.
Jingling Sun, Ting Su 0001, Junxin Li, Zhen Dong, Geguang Pu
ISSTA2021Mobile / Web / GUI / Android
Validating static warnings via testing code fragments.
Ashwin Kallingal Joshy, Xueyuan Chen, Benjamin Steenhoek, Wei Le
ISSTA2021Testing / QA
WebEvo: taming web application evolution via detecting semantic structure changes.
Fei Shao, Rui Xu, Wasif Arman Haque, Jingwei Xu 0004, Ying Zhang 0012
ISSTA2021Maintenance / Evolution / Refactoring / Review; Mobile / Web / GUI / Android
echidna-parade: a tool for diverse multicore smart contract fuzzing.
Alex Groce, Gustavo Grieco
ISSTA2021Testing / QA; Security / Privacy / Vulnerability
iDEV: exploring and exploiting semantic deviations in ARM instruction processing.
Shisong Qin, Chao Zhang 0008, Kaixiang Chen, Zheming Li
ISSTA2021Other