| 2020 | A comprehensive study of autonomous vehicle bugs. Joshua Garcia, Yang Feng, Junjie Shen, Sumaya Almanee, Yuan Xia, Qi Alfred Chen |
| 2020 | A cost-efficient approach to building in continuous integration. Xianhao Jin, Francisco Servant |
| 2020 | A large-scale empirical study on vulnerability distribution within projects and the lessons learned. Bingchang Liu, Guozhu Meng, Wei Zou, Qi Gong, Feng Li, Min Lin, Dandan Sun, Wei Huo, Chao Zhang |
| 2020 | A novel approach to tracing safety requirements and state-based design models. Mounifah Alenazi, Nan Niu, Juha Savolainen |
| 2020 | A study on the lifecycle of flaky tests. Wing Lam, Kivanç Muslu, Hitesh Sajnani, Suresh Thummalapenta |
| 2020 | A study on the prevalence of human values in software engineering publications, 2015 - 2018. Harsha Perera, Waqar Hussain, Jon Whittle, Arif Nurwidyantoro, Davoud Mougouei, Rifat Ara Shams, Gillian C. Oliver |
| 2020 | A tale from the trenches: cognitive biases and software development. Souti Chattopadhyay, Nicholas Nelson, Audrey Au, Natalia Morales, Christopher A. Sanchez, Rahul Pandita, Anita Sarma |
| 2020 | Accessibility issues in Android apps: state of affairs, sentiments, and ways forward. Abdulaziz Alshayban, Iftekhar Ahmed, Sam Malek |
| 2020 | Adapting requirements models to varying environments. Dalal Alrajeh, Antoine Cailliau, Axel van Lamsweerde |
| 2020 | An empirical assessment of security risks of global Android banking apps. Sen Chen, Lingling Fan, Guozhu Meng, Ting Su, Minhui Xue, Yinxing Xue, Yang Liu, Lihua Xu |
| 2020 | An empirical study on API parameter rules. Hao Zhong, Na Meng, Zexuan Li, Li Jia |
| 2020 | An empirical study on program failures of deep learning jobs. Ru Zhang, Wencong Xiao, Hongyu Zhang, Yu Liu, Haoxiang Lin, Mao Yang |
| 2020 | An evidence-based inquiry into the use of grey literature in software engineering. He Zhang, Xin Zhou, Xin Huang, Huang Huang, Muhammad Ali Babar |
| 2020 | An investigation of cross-project learning in online just-in-time software defect prediction. Sadia Tabassum, Leandro L. Minku, Danyi Feng, George G. Cabral, Liyan Song |
| 2020 | Ankou: guiding grey-box fuzzing towards combinatorial difference. Valentin J. M. Manès, Soomin Kim, Sang Kil Cha |
| 2020 | Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification. Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache |
| 2020 | Automatic testing and improvement of machine translation. Zeyu Sun, Jie M. Zhang, Mark Harman, Mike Papadakis, Lu Zhang |
| 2020 | Automatically testing string solvers. Alexandra Bugariu, Peter Müller |
| 2020 | BCFA: bespoke control flow analysis for CFA at scale. Ramanathan Ramu, Ganesha B. Upadhyaya, Hoan Anh Nguyen, Hridesh Rajan |
| 2020 | Big code != big vocabulary: open-vocabulary models for source code. Rafael-Michael Karampatsis, Hlib Babii, Romain Robbes, Charles Sutton, Andrea Janes |
| 2020 | Burn after reading: a shadow stack with microsecond-level runtime rerandomization for protecting return addresses. Changwei Zou, Jingling Xue |
| 2020 | CC2Vec: distributed representations of code changes. Thong Hoang, Hong Jin Kang, David Lo, Julia Lawall |
| 2020 | CPC: automatically classifying and propagating natural language comments via program analysis. Juan Zhai, Xiangzhe Xu, Yu Shi, Guanhong Tao, Minxue Pan, Shiqing Ma, Lei Xu, Weifeng Zhang, Lin Tan, Xiangyu Zhang |
| 2020 | Caspar: extracting and synthesizing user stories of problems from app reviews. Hui Guo, Munindar P. Singh |
| 2020 | Causal testing: understanding defects' root causes. Brittany Johnson, Yuriy Brun, Alexandra Meliou |
| 2020 | Co-evolving code with evolving metamodels. Djamel Eddine Khelladi, Benoît Combemale, Mathieu Acher, Olivier Barais, Jean-Marc Jézéquel |
| 2020 | Collaborative bug finding for Android apps. Shin Hwei Tan, Ziqiang Li |
| 2020 | ComboDroid: generating high-quality test inputs for Android apps via use case combinations. Jue Wang, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, Jian Lu |
| 2020 | Comparing formal tools for system design: a judgment study. Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek, Alessandro Fantechi |
| 2020 | Conquering the extensional scalability problem for value-flow analysis frameworks. Qingkai Shi, Rongxin Wu, Gang Fan, Charles Zhang |
| 2020 | Context-aware in-process crowdworker recommendation. Junjie Wang, Ye Yang, Song Wang, Yuanzhe Hu, Dandan Wang, Qing Wang |
| 2020 | DLFix: context-based code transformation learning for automated program repair. Yi Li, Shaohua Wang, Tien N. Nguyen |
| 2020 | Debugging inputs. Lukas Kirschner, Ezekiel O. Soremekun, Andreas Zeller |
| 2020 | DeepBillboard: systematic physical-world testing of autonomous driving systems. Husheng Zhou, Wei Li, Zelun Kong, Junfeng Guo, Yuqun Zhang, Bei Yu, Lingming Zhang, Cong Liu |
| 2020 | Demystify official API usage directives with crowdsourced API misuse scenarios, erroneous code examples and patches. Xiaoxue Ren, Jiamou Sun, Zhenchang Xing, Xin Xia, Jianling Sun |
| 2020 | Detection of hidden feature requests from massive chat messages via deep siamese network. Lin Shi, Mingzhe Xing, Mingyang Li, Yawen Wang, Shoubin Li, Qing Wang |
| 2020 | Dissector: input validation for deep learning applications by crossing-layer dissection. Huiyan Wang, Jingwei Xu, Chang Xu, Xiaoxing Ma, Jian Lu |
| 2020 | Efficient generation of error-inducing floating-point inputs via symbolic execution. Hui Guo, Cindy Rubio-González |
| 2020 | Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts. Thomas Durieux, João F. Ferreira, Rui Abreu, Pedro Cruz |
| 2020 | Engineering gender-inclusivity into software: ten teams' tales from the trenches. Claudia Hilderbrand, Christopher Perdriau, Lara Letaw, Jillian Emard, Zoe Steine-Hanson, Margaret Burnett, Anita Sarma |
| 2020 | Establishing multilevel test-to-code traceability links. Robert White, Jens Krinke, Raymond Tan |
| 2020 | Explaining pair programming session dynamics from knowledge gaps. Franz Zieris, Lutz Prechelt |
| 2020 | Extracting taint specifications for JavaScript libraries. Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schäfer, Anders Møller, Michael Pradel |
| 2020 | Finding client-side business flow tampering vulnerabilities. I Luk Kim, Yunhui Zheng, Hogun Park, Weihang Wang, Wei You, Yousra Aafer, Xiangyu Zhang |
| 2020 | Fuzz testing based data augmentation to improve robustness of deep neural networks. Xiang Gao, Ripon K. Saha, Mukul R. Prasad, Abhik Roychoudhury |
| 2020 | Gang of eight: a defect taxonomy for infrastructure as code scripts. Akond Rahman, Effat Farhana, Chris Parnin, Laurie A. Williams |
| 2020 | Gap between theory and practice: an empirical study of security patches in solidity. Sungjae Hwang, Sukyoung Ryu |
| 2020 | HARP: holistic analysis for refactoring Python-based analytics programs. Weijie Zhou, Yue Zhao, Guoqiang Zhang, Xipeng Shen |
| 2020 | Heaps'n leaks: how heap snapshots improve Android taint analysis. Manuel Benz, Erik Krogh Kristensen, Linghui Luo, Nataniel P. Borges, Eric Bodden, Andreas Zeller |
| 2020 | Here we go again: why is it difficult for developers to learn another programming language? Nischal Shrestha, Colton Botta, Titus Barik, Chris Parnin |
| 2020 | HeteroRefactor: refactoring for heterogeneous computing with FPGA. Jason Lau, Aishwarya Sivaraman, Qian Zhang, Muhammad Ali Gulzar, Jason Cong, Miryung Kim |
| 2020 | How Android developers handle evolution-induced API compatibility issues: a large-scale study. Hao Xia, Yuan Zhang, Yingtian Zhou, Xiaoting Chen, Yang Wang, Xiangyu Zhang, Shuaishuai Cui, Geng Hong, Xiaohan Zhang, Min Yang, Zhemin Yang |
| 2020 | How do companies collaborate in open source ecosystems?: an empirical study of OpenStack. Yuxia Zhang, Minghui Zhou, Klaas-Jan Stol, Jianyu Wu, Zhi Jin |
| 2020 | How does misconfiguration of analytic services compromise mobile privacy? Xueling Zhang, Xiaoyin Wang, Rocky Slavin, Travis D. Breaux, Jianwei Niu |
| 2020 | How has forking changed in the last 20 years?: a study of hard forks on GitHub. Shurui Zhou, Bogdan Vasilescu, Christian Kästner |
| 2020 | How software practitioners use informal local meetups to share software engineering knowledge. Claire Ingram, Anders Drachen |
| 2020 | How to not get rich: an empirical study of donations in open source. Cassandra Overney, Jens Meinicke, Christian Kästner, Bogdan Vasilescu |
| 2020 | HyDiff: hybrid differential software analysis. Yannic Noller, Corina S. Pasareanu, Marcel Böhme, Youcheng Sun, Hoang Lam Nguyen, Lars Grunske |
| 2020 | ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020 Gregg Rothermel, Doo-Hwan Bae |
| 2020 | Impact analysis of cross-project bugs on software ecosystems. Wanwangying Ma, Lin Chen, Xiangyu Zhang, Yang Feng, Zhaogui Xu, Zhifei Chen, Yuming Zhou, Baowen Xu |
| 2020 | Importance-driven deep learning system testing. Simos Gerasimou, Hasan Ferit Eniser, Alper Sen, Alper Çakan |
| 2020 | Improving data scientist efficiency with provenance. Jingmei Hu, Jiwon Joung, Maia L. Jacobs, Krzysztof Z. Gajos, Margo I. Seltzer |
| 2020 | Improving the effectiveness of traceability link recovery using hierarchical bayesian networks. Kevin Moran, David N. Palacio, Carlos Bernal-Cárdenas, Daniel McCrystal, Denys Poshyvanyk, Chris Shenefiel, Jeff Johnson |
| 2020 | Interpreting cloud computer vision pain-points: a mining study of stack overflow. Alex Cummaudo, Rajesh Vasa, Scott Barnett, John C. Grundy, Mohamed Abdelrazek |
| 2020 | Is rust used safely by software developers? Ana Nora Evans, Bradford Campbell, Mary Lou Soffa |
| 2020 | JVM fuzzing for JIT-induced side-channel detection. Tegan Brennan, Seemanta Saha, Tevfik Bultan |
| 2020 | Lazy product discovery in huge configuration spaces. Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen, Jacopo Mauro |
| 2020 | Learning from, understanding, and supporting DevOps artifacts for docker. Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps |
| 2020 | Learning-to-rank vs ranking-to-learn: strategies for regression testing in continuous integration. Antonia Bertolino, Antonio Guerriero, Breno Miranda, Roberto Pietrantuono, Stefano Russo |
| 2020 | Low-overhead deadlock prediction. Yan Cai, Ruijie Meng, Jens Palsberg |
| 2020 | Managing data constraints in database-backed web applications. Junwen Yang, Utsav Sethi, Cong Yan, Alvin Cheung, Shan Lu |
| 2020 | MemLock: memory usage guided fuzzing. Cheng Wen, Haijun Wang, Yuekang Li, Shengchao Qin, Yang Liu, Zhiwu Xu, Hongxu Chen, Xiaofei Xie, Geguang Pu, Ting Liu |
| 2020 | Misbehaviour prediction for autonomous driving systems. Andrea Stocco, Michael Weiss, Marco Calzana, Paolo Tonella |
| 2020 | Mitigating turnover with code review recommendation: balancing expertise, workload, and knowledge distribution. Ehsan Mirsaeedi, Peter C. Rigby |
| 2020 | Multiple-entry testing of Android applications by constructing activity launching contexts. Jiwei Yan, Hao Liu, Linjie Pan, Jun Yan, Jian Zhang, Bin Liang |
| 2020 | Near-duplicate detection in web app model inference. Rahulkrishna Yandrapally, Andrea Stocco, Ali Mesbah |
| 2020 | Neurological divide: an fMRI study of prose and code writing. Ryan Krueger, Yu Huang, Xinyu Liu, Tyler Santander, Westley Weimer, Kevin Leach |
| 2020 | On learning meaningful assert statements for unit test cases. Cody Watson, Michele Tufano, Kevin Moran, Gabriele Bavota, Denys Poshyvanyk |
| 2020 | On the efficiency of test suite based program repair: A Systematic Assessment of 16 Automated Repair Systems for Java Programs. Kui Liu, Shangwen Wang, Anil Koyuncu, Kisub Kim, Tegawendé F. Bissyandé, Dongsun Kim, Peng Wu, Jacques Klein, Xiaoguang Mao, Yves Le Traon |
| 2020 | On the recall of static call graph construction in practice. Li Sui, Jens Dietrich, Amjed Tahir, George Fourtounis |
| 2020 | One size does not fit all: a grounded theory and online survey study of developer preferences for security warning types. Anastasia Danilova, Alena Naiakshina, Matthew Smith |
| 2020 | POSIT: simultaneously tagging natural and programming languages. Profir-Petru Pârtachi, Santanu Kumar Dash, Christoph Treude, Earl T. Barr |
| 2020 | Pipelining bottom-up data flow analysis. Qingkai Shi, Charles Zhang |
| 2020 | Planning for untangling: predicting the difficulty of merge conflicts. Caius Brindescu, Iftekhar Ahmed, Rafael Leano, Anita Sarma |
| 2020 | Practical fault detection in puppet programs. Thodoris Sotiropoulos, Dimitris Mitropoulos, Diomidis Spinellis |
| 2020 | Predicting developers' negative feelings about code review. Carolyn D. Egelman, Emerson R. Murphy-Hill, Elizabeth Kammer, Margaret Morrow Hodges, Collin Green, Ciera Jaspan, James Lin |
| 2020 | Primers or reminders?: the effects of existing review comments on code review. Davide Spadini, Gül Çalikli, Alberto Bacchelli |
| 2020 | Quickly generating diverse valid test inputs with reinforcement learning. Sameer Reddy, Caroline Lemieux, Rohan Padhye, Koushik Sen |
| 2020 | Recognizing developers' emotions while programming. Daniela Girardi, Nicole Novielli, Davide Fucci, Filippo Lanubile |
| 2020 | Reducing run-time adaptation space via analysis of possible utility bounds. Clay Stevens, Hamid Bagheri |
| 2020 | ReluDiff: differential verification of deep neural networks. Brandon Paulsen, Jingbo Wang, Chao Wang |
| 2020 | Repairing deep neural networks: fix patterns and challenges. Md Johirul Islam, Rangeet Pan, Giang Nguyen, Hridesh Rajan |
| 2020 | Retrieval-based neural source code summarization. Jian Zhang, Xu Wang, Hongyu Zhang, Hailong Sun, Xudong Liu |
| 2020 | Revealing injection vulnerabilities by leveraging existing tests. Katherine Hough, Gebrehiwet B. Welearegai, Christian Hammer, Jonathan Bell |
| 2020 | RoScript: a visual script driven truly non-intrusive robotic testing system for touch screen applications. Ju Qian, Zhengyu Shang, Shuoyan Yan, Yan Wang, Lin Chen |
| 2020 | SAVER: scalable, precise, and safe memory-error repair. Seongjoon Hong, Junhee Lee, Jeongsoo Lee, Hakjoo Oh |
| 2020 | SLACC: simion-based language agnostic code clones. George Mathew, Chris Parnin, Kathryn T. Stolee |
| 2020 | SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink. Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner |
| 2020 | Scaling open source communities: an empirical study of the Linux kernel. Xin Tan, Minghui Zhou, Brian Fitzgerald |
| 2020 | Schrödinger's security: opening the box on app developers' security rationale. Dirk van der Linden, Pauline Anthonysamy, Bashar Nuseibeh, Thein Than Tun, Marian Petre, Mark Levine, John N. Towse, Awais Rashid |
| 2020 | Securing unsafe rust programs with XRust. Peiming Liu, Gang Zhao, Jeff Huang |
| 2020 | Seenomaly: vision-based linting of GUI animation effects against design-don't guidelines. Dehai Zhao, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, Guoqiang Li, Jinshui Wang |
| 2020 | Simulee: detecting CUDA synchronization bugs via memory-access modeling. Mingyuan Wu, Yicheng Ouyang, Husheng Zhou, Lingming Zhang, Cong Liu, Yuqun Zhang |
| 2020 | Software documentation: the practitioners' perspective. Emad Aghajani, Csaba Nagy, Mario Linares-Vásquez, Laura Moreno, Gabriele Bavota, Michele Lanza, David C. Shepherd |
| 2020 | Software visualization and deep transfer learning for effective software defect prediction. Jinyin Chen, Keke Hu, Yue Yu, Zhuangzhi Chen, Qi Xuan, Yi Liu, Vladimir Filkov |
| 2020 | SpecuSym: speculative symbolic execution for cache timing leak detection. Shengjian Guo, Yueqi Chen, Peng Li, Yueqiang Cheng, Huibo Wang, Meng Wu, Zhiqiang Zuo |
| 2020 | Structure-invariant testing for machine translation. Pinjia He, Clara Meister, Zhendong Su |
| 2020 | Studying the use of Java logging utilities in the wild. Boyuan Chen, Zhen Ming (Jack) Jiang |
| 2020 | Suggesting natural method names to check name consistencies. Son Nguyen, Hung Phan, Trinh Le, Tien N. Nguyen |
| 2020 | Symbolic verification of message passing interface programs. Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong |
| 2020 | TRADER: trace divergence analysis and embedding regulation for debugging recurrent neural networks. Guanhong Tao, Shiqing Ma, Yingqi Liu, Qiuling Xu, Xiangyu Zhang |
| 2020 | Tailoring programs for static analysis via program transformation. Rijnard van Tonder, Claire Le Goues |
| 2020 | Taming behavioral backward incompatibilities via cross-project testing and analysis. Lingchao Chen, Foyzul Hassan, Xiaoyin Wang, Lingming Zhang |
| 2020 | Targeted greybox fuzzing with static lookahead analysis. Valentin Wüstholz, Maria Christakis |
| 2020 | Taxonomy of real faults in deep learning systems. Nargiz Humbatova, Gunel Jahangirova, Gabriele Bavota, Vincenzo Riccio, Andrea Stocco, Paolo Tonella |
| 2020 | Testing DNN image classifiers for confusion & bias errors. Yuchi Tian, Ziyuan Zhong, Vicente Ordonez, Gail E. Kaiser, Baishakhi Ray |
| 2020 | Testing file system implementations on layered models. Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, Jian Lu |
| 2020 | Time-travel testing of Android apps. Zhen Dong, Marcel Böhme, Lucia Cojocaru, Abhik Roychoudhury |
| 2020 | Towards characterizing adversarial defects of deep learning software from the lens of uncertainty. Xiyue Zhang, Xiaofei Xie, Lei Ma, Xiaoning Du, Qiang Hu, Yang Liu, Jianjun Zhao, Meng Sun |
| 2020 | Towards the use of the readily available tests from the release pipeline as performance tests: are we there yet? Zishuo Ding, Jinfu Chen, Weiyi Shang |
| 2020 | Translating video recordings of mobile app usages into replayable scenarios. Carlos Bernal-Cárdenas, Nathan Cooper, Kevin Moran, Oscar Chaparro, Andrian Marcus, Denys Poshyvanyk |
| 2020 | Typestate-guided fuzzer for discovering use-after-free vulnerabilities. Haijun Wang, Xiaofei Xie, Yi Li, Cheng Wen, Yuekang Li, Yang Liu, Shengchao Qin, Hongxu Chen, Yulei Sui |
| 2020 | Unblind your apps: predicting natural-language labels for mobile GUI components by deep learning. Jieshan Chen, Chunyang Chen, Zhenchang Xing, Xiwei Xu, Liming Zhu, Guoqiang Li, Jinshui Wang |
| 2020 | Understanding the automated parameter optimization on transfer learning for cross-project defect prediction: an empirical study. Ke Li, Zilin Xiang, Tao Chen, Shuo Wang, Kay Chen Tan |
| 2020 | Unsuccessful story about few shot malware family classification and siamese network to the rescue. Yude Bai, Zhenchang Xing, Xiaohong Li, Zhiyong Feng, Duoyuan Ma |
| 2020 | Verifying object construction. Martin Kellogg, Manli Ran, Manu Sridharan, Martin Schäf, Michael D. Ernst |
| 2020 | Watchman: monitoring dependency conflicts for Python library ecosystem. Ying Wang, Ming Wen, Yepang Liu, Yibo Wang, ZhenMing Li, Chao Wang, Hai Yu, Shing-Chi Cheung, Chang Xu, Zhiliang Zhu |
| 2020 | When APIs are intentionally bypassed: an exploratory study of API workarounds. Maxime Lamothe, Weiyi Shang |
| 2020 | White-box fairness testing through adversarial sampling. Peixin Zhang, Jingyi Wang, Jun Sun, Guoliang Dong, Xinyu Wang, Xingen Wang, Jin Song Dong, Ting Dai |
| 2020 | sFuzz: an efficient adaptive fuzzer for solidity smart contracts. Tai D. Nguyen, Long H. Pham, Jun Sun, Yun Lin, Quang Tran Minh |