Software Engineering Empirical Research Radar
ISSTA 2022 Papers
ISSTA 2022 paper list with topic labels.
| Paper | Venue | Year | Topics |
|---|---|---|---|
| A large-scale empirical analysis of the vulnerabilities introduced by third-party components in IoT firmware. Binbin Zhao, Shouling Ji, Jiacheng Xu, Yuan Tian 0001, Qiuyang Wei | ISSTA | 2022 | Human / Empirical / Socio-technical |
| A large-scale study of usability criteria addressed by static analysis tools. Marcus Nachtigall, Michael Schlichtig, Eric Bodden | ISSTA | 2022 | Program Analysis / Verification / Formal Methods; Human / Empirical / Socio-technical |
| AEON: a method for automatic evaluation of NLP test cases. Jen-tse Huang 0001, Jianping Zhang 0002, Wenxuan Wang 0001, Pinjia He, Yuxin Su 0001 | ISSTA | 2022 | Testing / QA |
| ASRTest: automated testing for deep-neural-network-driven speech recognition systems. Pin Ji, Yang Feng 0003, Jia Liu 0008, Zhihong Zhao, Zhenyu Chen 0001 | ISSTA | 2022 | Testing / QA; AI / LLM for SE |
| ATR: template-based repair for Alloy specifications. Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre | ISSTA | 2022 | Debugging / Fault Localization / Diagnosis / Repair |
| ATUA: an update-driven app testing tool. Chanh Duc Ngo, Fabrizio Pastore, Lionel C. Briand | ISSTA | 2022 | Testing / QA; Mobile / Web / GUI / Android |
| Almost correct invariants: synthesizing inductive invariants by fuzzing proofs. Sumit Lahiri, Subhajit Roy 0001 | ISSTA | 2022 | Testing / QA |
| An empirical study on the effectiveness of static C code analyzers for vulnerability detection. Stephan Lipp, Sebastian Banescu, Alexander Pretschner | ISSTA | 2022 | Human / Empirical / Socio-technical |
| An extensive study on pre-trained models for program understanding and generation. Zhengran Zeng, Hanzhuo Tan, Haotian Zhang, Jing Li 0049, Yuqun Zhang | ISSTA | 2022 | Human / Empirical / Socio-technical |
| Automated test generation for REST APIs: no time to rest yet. Myeongsoo Kim, Qi Xin, Saurabh Sinha 0003, Alessandro Orso | ISSTA | 2022 | Testing / QA |
| Automated testing of image captioning systems. Boxi Yu, Zhiqing Zhong, Xinran Qin, Jiayi Yao, Yuancheng Wang | ISSTA | 2022 | Testing / QA |
| Automatic generation of smoke test suites for kubernetes. Cecilio Cannavacciuolo, Leonardo Mariani | ISSTA | 2022 | Testing / QA; Cloud / Microservices / Distributed Systems |
| Automatically detecting API-induced compatibility issues in Android apps: a comparative analysis (replicability study). Pei Liu, Yanjie Zhao 0001, Haipeng Cai, Mattia Fazzini, John C. Grundy | ISSTA | 2022 | Human / Empirical / Socio-technical; Mobile / Web / GUI / Android |
| BET: black-box efficient testing for convolutional neural networks. Jialai Wang, Han Qiu 0001, Yi Rong, Hengkai Ye, Qi Li 0002 | ISSTA | 2022 | Testing / QA; AI / LLM for SE |
| CIRCLE: continual repair across programming languages. Wei Yuan 0003, Quanjun Zhang, Tieke He, Chunrong Fang, Nguyen Quoc Viet Hung | ISSTA | 2022 | Debugging / Fault Localization / Diagnosis / Repair |
| Combining solution reuse and bound tightening for efficient analysis of evolving systems. Clay Stevens, Hamid Bagheri | ISSTA | 2022 | Maintenance / Evolution / Refactoring / Review |
| Combining static analysis error traces with dynamic symbolic execution (experience paper). Frank Busse, Pritam M. Gharat, Cristian Cadar, Alastair F. Donaldson | ISSTA | 2022 | Program Analysis / Verification / Formal Methods |
| Cross-lingual transfer learning for statistical type inference. Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li 0008 | ISSTA | 2022 | Program Analysis / Verification / Formal Methods |
| Deadlock prediction via generalized dependency. Jinpeng Zhou, Hanmei Yang, John Lange, Tongping Liu | ISSTA | 2022 | Other |
| Detecting and fixing data loss issues in Android apps. Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su 0001 | ISSTA | 2022 | Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android |
| Detecting multi-sensor fusion errors in advanced driver-assistance systems. Ziyuan Zhong, Zhisheng Hu, Shengjian Guo, Xinyang Zhang 0001, Zhenyu Zhong | ISSTA | 2022 | Other |
| Detecting resource utilization bugs induced by variant lifecycles in Android. Yifei Lu, Minxue Pan, Yu Pei 0001, Xuandong Li | ISSTA | 2022 | Mobile / Web / GUI / Android; Performance / Energy / Reliability |
| DocTer: documentation-guided fuzzing for testing deep learning API functions. Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan 0001 | ISSTA | 2022 | Testing / QA; AI / LLM for SE |
| ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC. Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin | ISSTA | 2022 | Program Analysis / Verification / Formal Methods |
| ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation. Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro | ISSTA | 2022 | Other |
| Efficient greybox fuzzing of applications in Linux-based IoT devices via enhanced user-mode emulation. Yaowen Zheng, Yuekang Li, Cen Zhang, Hongsong Zhu, Yang Liu 0003 | ISSTA | 2022 | Testing / QA |
| Evolution-aware detection of order-dependent flaky tests. Chengpeng Li 0002, August Shi | ISSTA | 2022 | Testing / QA; DevOps / CI / Build / Release; Maintenance / Evolution / Refactoring / Review |
| FDG: a precise measurement of fault diagnosability gain of test cases. Gabin An, Shin Yoo | ISSTA | 2022 | Testing / QA |
| Faster mutation analysis with MeMu. Ali Ghanbari 0001, Andrian Marcus | ISSTA | 2022 | Testing / QA |
| Finding bugs in Gremlin-based graph database systems via Randomized differential testing. Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang | ISSTA | 2022 | Testing / QA |
| Finding permission bugs in smart contracts with role mining. Ye Liu 0012, Yi Li 0008, Shang-Wei Lin 0001, Cyrille Artho | ISSTA | 2022 | Security / Privacy / Vulnerability |
| Human-in-the-loop oracle learning for semantic bugs in string processing programs. Charaka Geethal Kapugama, Van-Thuan Pham, Aldeida Aleti, Marcel Böhme | ISSTA | 2022 | Testing / QA; Human / Empirical / Socio-technical |
| Hunting bugs with accelerated optimal graph vertex matching. Xiaohui Zhang, Yuanjun Gong, Bin Liang 0002, Jianjun Huang 0001, Wei You 0001 | ISSTA | 2022 | Other |
| HybridRepair: towards annotation-efficient repair for deep learning models. Yu Li 0007, Muxi Chen, Qiang Xu 0001 | ISSTA | 2022 | AI / LLM for SE; Debugging / Fault Localization / Diagnosis / Repair |
| Improving cross-platform binary analysis using representation learning via graph alignment. Geunwoo Kim, Sanghyun Hong 0001, Michael Franz, Dokyung Song | ISSTA | 2022 | Other |
| LiRTest: augmenting LiDAR point clouds for automated testing of autonomous driving systems. An Guo 0002, Yang Feng 0003, Zhenyu Chen 0001 | ISSTA | 2022 | Testing / QA |
| MDPFuzz: testing models solving Markov decision processes. Qi Pang, Yuanyuan Yuan 0001, Shuai Wang 0011 | ISSTA | 2022 | Testing / QA |
| Maestro: a platform for benchmarking automatic program repair tools on software vulnerabilities. Eduard Pinconschi, Quang-Cuong Bui, Rui Abreu 0001, Pedro Adão, Riccardo Scandariato | ISSTA | 2022 | Debugging / Fault Localization / Diagnosis / Repair |
| Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing. Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann 0001, Maria Christakis | ISSTA | 2022 | Testing / QA |
| NCScope: hardware-assisted analyzer for native code in Android apps. Hao Zhou 0043, Shuohan Wu, Xiapu Luo, Ting Wang 0006, Yajin Zhou | ISSTA | 2022 | Mobile / Web / GUI / Android |
| On the use of evaluation measures for defect prediction studies. Rebecca Moussa, Federica Sarro | ISSTA | 2022 | Other |
| On the use of mutation analysis for evaluating student test suite quality. James Perretta, Andrew DeOrio, Arjun Guha, Jonathan Bell 0001 | ISSTA | 2022 | Testing / QA; Education / Program Comprehension |
| One step further: evaluating interpreters using metamorphic testing. Ming Fan 0002, Jiali Wei, Wuxia Jin, Zhou Xu 0003, Wenying Wei | ISSTA | 2022 | Testing / QA |
| Park: accelerating smart contract vulnerability detection via parallel-fork symbolic execution. Peilin Zheng, Zibin Zheng, Xiapu Luo | ISSTA | 2022 | Program Analysis / Verification / Formal Methods; Security / Privacy / Vulnerability |
| Patch correctness assessment in automated program repair based on the impact of patches on production and test code. Ali Ghanbari 0001, Andrian Marcus | ISSTA | 2022 | Testing / QA; Debugging / Fault Localization / Diagnosis / Repair |
| Path-sensitive code embedding via contrastive learning for software vulnerability detection. Xiao Cheng 0002, Guanqin Zhang, Haoyu Wang 0001, Yulei Sui | ISSTA | 2022 | AI / LLM for SE |
| PermDroid: automatically testing permission-related behaviour of Android applications. Shuaihao Yang, Zigang Zeng, Wei Song 0003 | ISSTA | 2022 | Testing / QA; Security / Privacy / Vulnerability; Mobile / Web / GUI / Android |
| PrIntFuzz: fuzzing Linux drivers via automated virtual device simulation. Zheyu Ma, Bodong Zhao, Letu Ren, Zheming Li, Siqi Ma | ISSTA | 2022 | Testing / QA |
| Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning. Chao Li 0078, Rui Chen 0042, Boxiang Wang, Tingting Yu, Dongdong Gao | ISSTA | 2022 | Other |
| Program vulnerability repair via inductive inference. Yuntong Zhang 0002, Xiang Gao 0012, Gregory J. Duck, Abhik Roychoudhury | ISSTA | 2022 | Debugging / Fault Localization / Diagnosis / Repair |
| Pytest-Smell: a smell detection tool for Python unit tests. Alexandru Bodea | ISSTA | 2022 | Testing / QA |
| QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit. Daniel Fortunato, José Campos 0001, Rui Abreu 0001 | ISSTA | 2022 | Testing / QA |
| RegMiner: towards constructing a large regression dataset from code evolution history. Xuezhi Song, Yun Lin 0001, Siang Hwee Ng, Yijian Wu, Xin Peng 0001 | ISSTA | 2022 | Testing / QA; Maintenance / Evolution / Refactoring / Review |
| SLIME: program-sensitive energy allocation for fuzzing. Chenyang Lyu, Hong Liang, Shouling Ji, Xuhong Zhang 0002, Binbin Zhao | ISSTA | 2022 | Testing / QA; Performance / Energy / Reliability |
| Simple techniques work surprisingly well for neural network test prioritization and active learning (replicability study). Michael Weiss 0004, Paolo Tonella | ISSTA | 2022 | Testing / QA; AI / LLM for SE; Human / Empirical / Socio-technical; DevOps / CI / Build / Release |
| SmartDagger: a bytecode-based static analysis approach for detecting cross-contract vulnerability. Zeqin Liao, Zibin Zheng, Xiao Chen, Yuhong Nan | ISSTA | 2022 | Program Analysis / Verification / Formal Methods |
| SnapFuzz: high-throughput fuzzing of network applications. Anastasios Andronidis, Cristian Cadar | ISSTA | 2022 | Testing / QA |
| SpecChecker-ISA: a data sharing analyzer for interrupt-driven embedded software. Boxiang Wang, Rui Chen 0042, Chao Li 0078, Tingting Yu, Dongdong Gao | ISSTA | 2022 | Other |
| TeLL: log level suggestions via modeling multi-level code block information. Jiahao Liu 0005, Jun Zeng 0006, Xiang Wang 0010, Kaihang Ji, Zhenkai Liang | ISSTA | 2022 | Requirements / Modeling / Architecture |
| TensileFuzz: facilitating seed input generation in fuzzing via string constraint solving. Xuwei Liu, Wei You 0001, Zhuo Zhang 0002, Xiangyu Zhang 0001 | ISSTA | 2022 | Testing / QA |
| Test mimicry to assess the exploitability of library vulnerabilities. Hong Jin Kang, Truong Giang Nguyen, Bach Le 0001, Corina S. Pasareanu, David Lo 0001 | ISSTA | 2022 | Testing / QA |
| Testing Dafny (experience paper). Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak | ISSTA | 2022 | Testing / QA |
| The raise of machine learning hyperparameter constraints in Python code. Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby | ISSTA | 2022 | AI / LLM for SE |
| Understanding device integration bugs in smart home system. Tao Wang 0030, Kangkang Zhang, Wei Chen 0018, Wensheng Dou, Jiaxin Zhu | ISSTA | 2022 | Other |
| UniRLTest: universal platform-independent testing with reinforcement learning via image understanding. Ziqian Zhang, Yulei Liu, Shengcheng Yu, Xin Li 0034, Yexiao Yun | ISSTA | 2022 | Testing / QA |
| Unicorn: detect runtime errors in time-series databases with hybrid input synthesis. Zhiyong Wu 0010, Jie Liang 0006, Mingzhe Wang, Chijin Zhou, Yu Jiang 0001 | ISSTA | 2022 | Other |
| Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper). Jialu Zhang 0002, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri | ISSTA | 2022 | Other |
| WASAI: uncovering vulnerabilities in Wasm smart contracts. Weimin Chen, Zihan Sun, Haoyu Wang 0001, Xiapu Luo, Haipeng Cai | ISSTA | 2022 | Other |
| eTainter: detecting gas-related vulnerabilities in smart contracts. Asem Ghaleb, Julia Rubin, Karthik Pattabiraman | ISSTA | 2022 | Other |
| iFixDataloss: a tool for detecting and fixing data loss issues in Android apps. Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su 0001 | ISSTA | 2022 | Debugging / Fault Localization / Diagnosis / Repair; Mobile / Web / GUI / Android |
| jTrans: jump-aware transformer for binary code similarity detection. Hao Wang 0226, Wenjie Qu 0001, Gilad Katz, Wenyu Zhu, Zeyu Gao | ISSTA | 2022 | AI / LLM for SE |
| ε-weakened robustness of deep neural networks. Pei Huang 0002, Yuting Yang 0002, Minghao Liu 0001, Fuqi Jia, Feifei Ma | ISSTA | 2022 | AI / LLM for SE |