Software Engineering Empirical Research Radar

ISSTA 2021 Papers

ISSTA 2021 paper list with topic labels.

PaperVenueYearTopics
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