| 2020 | 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020 |
| 2020 | A Deep Multitask Learning Approach for Requirements Discovery and Annotation from Open Forum. Mingyang Li, Lin Shi, Ye Yang, Qing Wang |
| 2020 | A Framework for Automated Test Mocking of Mobile Apps. Mattia Fazzini, Alessandra Gorla, Alessandro Orso |
| 2020 | A Hybrid Analysis to Detect Java Serialisation Vulnerabilities. Shawn Rasheed, Jens Dietrich |
| 2020 | A Machine Learning based Approach to Autogenerate Diagnostic Models for CNC machines. Kamil Adipovich Masalimov |
| 2020 | A Predictive Analysis for Detecting Deadlock in MPI Programs. Yu Huang, Benjamin Ogles, Eric Mercer |
| 2020 | A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program. Haining Feng |
| 2020 | A Unified Framework to Learn Program Semantics with Graph Neural Networks. Shangqing Liu |
| 2020 | API-Misuse Detection Driven by Fine-Grained API-Constraint Knowledge Graph. Xiaoxue Ren, Xinyuan Ye, Zhenchang Xing, Xin Xia, Xiwei Xu, Liming Zhu, Jianling Sun |
| 2020 | Accelerating All-SAT Computation with Short Blocking Clauses. Yueling Zhang, Geguang Pu, Jun Sun |
| 2020 | AirMochi - A Tool for Remotely Controlling iOS Devices. Nikola Lukic, Saghar Talebipour, Nenad Medvidovic |
| 2020 | An Automated Assessment of Android Clipboards. Wei Wang, Ruoxi Sun, Minhui Xue, Damith C. Ranasinghe |
| 2020 | Anti-patterns for Java Automated Program Repair Tools. Yi Wu |
| 2020 | Applying Learning Techniques to Oracle Synthesis. Facundo Molina |
| 2020 | Assessing and Restoring Reproducibility of Jupyter Notebooks. Jiawei Wang, Tzu-yang Kuo, Li Li, Andreas Zeller |
| 2020 | Attend and Represent: A Novel View on Algorithm Selection for Software Verification. Cedric Richter, Heike Wehrheim |
| 2020 | Audee: Automated Testing for Deep Learning Frameworks. Qianyu Guo, Xiaofei Xie, Yi Li, Xiaoyu Zhang, Yang Liu, Xiaohong Li, Chao Shen |
| 2020 | Automated Generation of Client-Specific Backends Utilizing Existing Microservices and Architectural Knowledge. Nils Wieber |
| 2020 | Automated Implementation of Windows-related Security-Configuration Guides. Patrick Stöckle, Bernd Grobauer, Alexander Pretschner |
| 2020 | Automated Patch Correctness Assessment: How Far are We? Shangwen Wang, Ming Wen, Bo Lin, Hongjun Wu, Yihao Qin, Deqing Zou, Xiaoguang Mao, Hai Jin |
| 2020 | Automated Third-Party Library Detection for Android Applications: Are We There Yet? Xian Zhan, Lingling Fan, Tianming Liu, Sen Chen, Li Li, Haoyu Wang, Yifei Xu, Xiapu Luo, Yang Liu |
| 2020 | Automatic Extraction of Cause-Effect-Relations from Requirements Artifacts. Julian Frattini, Maximilian Junker, Michael Unterkalmsteiner, Daniel Méndez |
| 2020 | Automatic Generation of IFTTT Mashup Infrastructures. Lei Liu, Mehdi Bahrami, Wei-Peng Chen |
| 2020 | Automating Just-In-Time Comment Updating. Zhongxin Liu, Xin Xia, Meng Yan, Shanping Li |
| 2020 | BUILDFAST: History-Aware Build Outcome Prediction for Fast Feedback and Reduced Cost in Continuous Integration. Bihuan Chen, Linlin Chen, Chen Zhang, Xin Peng |
| 2020 | BiLO-CPDP: Bi-Level Programming for Automated Model Discovery in Cross-Project Defect Prediction. Ke Li, Zilin Xiang, Tao Chen, Kay Chen Tan |
| 2020 | BigFuzz: Efficient Fuzz Testing for Data Analytics Using Framework Abstraction. Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar, Rohan Padhye, Miryung Kim |
| 2020 | Botsing, a Search-based Crash Reproduction Framework for Java. Pouria Derakhshanfar, Xavier Devroey, Annibale Panichella, Andy Zaidman, Arie van Deursen |
| 2020 | Broadening Horizons of Multilingual Static Analysis: Semantic Summary Extraction from C Code for JNI Program Analysis. Sungho Lee, Hyogun Lee, Sukyoung Ryu |
| 2020 | BugPecker: Locating Faulty Methods with Deep Learning on Revision Graphs. Junming Cao, Shouliang Yang, Wenhui Jiang, Hushuang Zeng, Beijun Shen, Hao Zhong |
| 2020 | CCGraph: a PDG-based code clone detector with approximate graph matching. Yue Zou, Bihuan Ban, Yinxing Xue, Yun Xu |
| 2020 | CP-Detector: Using Configuration-related Performance Properties to Expose Performance Bugs. Haochen He, Zhouyang Jia, Shanshan Li, Erci Xu, Tingting Yu, Yue Yu, Ji Wang, Xiangke Liao |
| 2020 | Cats Are Not Fish: Deep Learning Testing Calls for Out-Of-Distribution Awareness. David Berend, Xiaofei Xie, Lei Ma, Lingjun Zhou, Yang Liu, Chi Xu, Jianjun Zhao |
| 2020 | ChemTest: An Automated Software Testing Framework for an Emerging Paradigm. Michael C. Gerten, James I. Lathrop, Myra B. Cohen, Titus H. Klinge |
| 2020 | Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour. Karine Even-Mendoza, Cristian Cadar, Alastair F. Donaldson |
| 2020 | CoFI: Consistency-Guided Fault Injection for Cloud Systems. Haicheng Chen, Wensheng Dou, Dong Wang, Feng Qin |
| 2020 | Code to Comment "Translation": Data, Metrics, Baselining & Evaluation. David Gros, Hariharan Sezhiyan, Prem Devanbu, Zhou Yu |
| 2020 | Code-Based Vulnerability Detection in Node.js Applications: How far are we? Bodin Chinthanet, Serena Elisa Ponta, Henrik Plate, Antonino Sabetta, Raula Gaikovina Kula, Takashi Ishio, Kenichi Matsumoto |
| 2020 | Continuous Compliance. Martin Kellogg, Martin Schäf, Serdar Tasiran, Michael D. Ernst |
| 2020 | Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts. Yinxing Xue, Mingliang Ma, Yun Lin, Yulei Sui, Jiaming Ye, Tianyong Peng |
| 2020 | CrossPriv: User Privacy Preservation Model for Cross-Silo Federated Software. Harshita Diddee, Bhrigu Kansra |
| 2020 | DeepTC-Enhancer: Improving the Readability of Automatically Generated Tests. Devjeet Roy, Ziyi Zhang, Maggie Ma, Venera Arnaoudova, Annibale Panichella, Sebastiano Panichella, Danielle Gonzalez, Mehdi Mirakhorli |
| 2020 | Defect Prediction Guided Search-Based Software Testing. Anjana Perera, Aldeida Aleti, Marcel Böhme, Burak Turhan |
| 2020 | Demystifying Diehard Android Apps. Hao Zhou, Haoyu Wang, Yajin Zhou, Xiapu Luo, Yutian Tang, Lei Xue, Ting Wang |
| 2020 | Demystifying Loops in Smart Contracts. Benjamin Mariano, Yanju Chen, Yu Feng, Shuvendu K. Lahiri, Isil Dillig |
| 2020 | Detecting and Explaining Self-Admitted Technical Debts with Attention-based Neural Networks. Xin Wang, Jin Liu, Li Li, Xiao Chen, Xiao Liu, Hao Wu |
| 2020 | Discovering UI Display Issues with Visual Understanding. Zhe Liu |
| 2020 | Dynamic Algorithm Selection for SMT. Nikhil Pimpalkhare |
| 2020 | ER Catcher: A Static Analysis Framework for Accurate and Scalable Event-Race Detection in Android. Navid Salehnamadi, Abdulaziz Alshayban, Iftekhar Ahmed, Sam Malek |
| 2020 | Edge4Real: A Cost-Effective Edge Computing based Human Behaviour Recognition System for Human-Centric Software Engineering. Di Shao, Xiao Liu, Ben Cheng, Owen Wang, Thuong N. Hoang |
| 2020 | Edge4Sys: A Device-Edge Collaborative Framework for MEC based Smart Systems. Han Gao, Yi Xu, Xiao Liu, Jia Xu, Tianxiang Chen, Bowen Zhou, Rui Li, Xuejun Li |
| 2020 | Efficient Multiplex Symbolic Execution with Adaptive Search Strategy. Tianqi Zhang, Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Ji Wang |
| 2020 | Enhanced Compiler Bug Isolation via Memoized Search. Junjie Chen, Haoyang Ma, Lingming Zhang |
| 2020 | Evaluating Representation Learning of Code Changes for Predicting Patch Correctness in Program Repair. Haoye Tian, Kui Liu, Abdoul Kader Kaboré, Anil Koyuncu, Li Li, Jacques Klein, Tegawendé F. Bissyandé |
| 2020 | Exploring the Architectural Impact of Possible Dependencies in Python Software. Wuxia Jin, Yuanfang Cai, Rick Kazman, Gang Zhang, Qinghua Zheng, Ting Liu |
| 2020 | Express: An Energy-Efficient and Secure Framework for Mobile Edge Computing and Blockchain based Smart Systems**This research is in part supported by the National Natural Science Foundation of China Project No. 61972001. Jia Xu, Xiao Liu, Xuejun Li, Lei Zhang, Yun Yang |
| 2020 | FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades. Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani |
| 2020 | FLUX: From SQL to GQL query translation tool. Chandan Sharma |
| 2020 | Finding Ethereum Smart Contracts Security Issues by Comparing History Versions. Jiachi Chen |
| 2020 | FlashRegex: Deducing Anti-ReDoS Regexes from Examples. Yeting Li, Zhiwu Xu, Jialun Cao, Haiming Chen, Tingjian Ge, Shing-Chi Cheung, Haoren Zhao |
| 2020 | Formal Verification of Masking Countermeasures for Arithmetic Programs. Pengfei Gao |
| 2020 | GUI2WiRe: Rapid Wireframing with a Mined and Large-Scale GUI Repository using Natural Language Requirements. Kristian Kolthoff, Christian Bartelt, Simone Paolo Ponzetto |
| 2020 | Generating Concept based API Element Comparison Using a Knowledge Graph. Yang Liu, Mingwei Liu, Xin Peng, Christoph Treude, Zhenchang Xing, Xiaoxin Zhang |
| 2020 | Generating Highly-structured Input Data by Combining Search-based Testing and Grammar-based Fuzzing. Mitchell Olsthoorn, Arie van Deursen, Annibale Panichella |
| 2020 | Good Things Come In Threes: Improving Search-based Crash Reproduction With Helper Objectives. Pouria Derakhshanfar, Xavier Devroey, Andy Zaidman, Arie van Deursen, Annibale Panichella |
| 2020 | HomoTR: Online Test Recommendation System Based on Homologous Code Matching. Chenqian Zhu, Weisong Sun, Qin Liu, Yangyang Yuan, Chunrong Fang, Yong Huang |
| 2020 | How Incidental are the Incidents? Characterizing and Prioritizing Incidents for Large-Scale Online Service Systems. Junjie Chen, Shu Zhang, Xiaoting He, Qingwei Lin, Hongyu Zhang, Dan Hao, Yu Kang, Feng Gao, Zhangwei Xu, Yingnong Dang, Dongmei Zhang |
| 2020 | Hybrid Deep Neural Networks to Infer State Models of Black-Box Systems. Mohammad Jafar Mashhadi, Hadi Hemmati |
| 2020 | Identifying Mutation Subsumption Relations. Beatriz Souza |
| 2020 | Identifying Software Performance Changes Across Variants and Versions. Stefan Mühlbauer, Sven Apel, Norbert Siegmund |
| 2020 | Identifying and Describing Information Seeking Tasks. Chris Satterfield, Thomas Fritz, Gail C. Murphy |
| 2020 | ImpAPTr: A Tool For Identifying The Clues To Online Service Anomalies. Hao Wang, Guoping Rong, Yangchen Xu, Yong You |
| 2020 | Industry Practice of JavaScript Dynamic Analysis on WeChat Mini-Programs. Yi Liu, Jinhui Xie, Jianbo Yang, Shiyu Guo, Yuetang Deng, Shuqing Li, Yechang Wu, Yepang Liu |
| 2020 | Inferring and Applying Def-Use Like Configuration Couplings in Deployment Descriptors. Chengyuan Wen, Yaxuan Zhang, Xiao He, Na Meng |
| 2020 | Interval Change-Point Detection for Runtime Probabilistic Model Checking. Xingyu Zhao, Radu Calinescu, Simos Gerasimou, Valentin Robu, David Flynn |
| 2020 | Is Software Engineering Research Addressing Software Engineering Problems? (Keynote). Gail C. Murphy |
| 2020 | JISET: JavaScript IR-based Semantics Extraction Toolchain. Jihyeok Park, Jihee Park, Seungmin An, Sukyoung Ryu |
| 2020 | JITBot: An Explainable Just-In-Time Defect Prediction Bot. Chaiyakarn Khanan, Worawit Luewichana, Krissakorn Pruktharathikoon, Jirayus Jiarpakdee, Chakkrit Tantithamthavorn, Morakot Choetkiertikul, Chaiyong Ragkhitwetsagul, Thanwadee Sunetnanta |
| 2020 | Just-In-Time Reactive Synthesis. Shahar Maoz, Ilia Shevrin |
| 2020 | LEGION: Best-First Concolic Testing. Dongge Liu, Gidon Ernst, Toby Murray, Benjamin I. P. Rubinstein |
| 2020 | Learning to Handle Exceptions. Jian Zhang, Xu Wang, Hongyu Zhang, Hailong Sun, Yanjun Pu, Xudong Liu |
| 2020 | Lightweight MBT Testing for National e-Health Portal in Norway. Davrondzhon Gafurov, Margrete Sunde Grovan, Arne Erik Hurum |
| 2020 | M3: Semantic API Migrations. Bruce Collie, Philip Ginsbach, Jackson Woodruff, Ajitha Rajan, Michael F. P. O'Boyle |
| 2020 | Making Fair ML Software using Trustworthy Explanation. Joymallya Chakraborty, Kewen Peng, Tim Menzies |
| 2020 | Managing App Testing Device Clouds: Issues and Opportunities. Mattia Fazzini, Alessandro Orso |
| 2020 | Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems. Xiaoning Du, Yi Li, Xiaofei Xie, Lei Ma, Yang Liu, Jianjun Zhao |
| 2020 | Mastering Uncertainty in Performance Estimations of Configurable Software Systems. Johannes Dorn, Sven Apel, Norbert Siegmund |
| 2020 | MetPurity: A Learning-Based Tool of Pure Method Identification for Automatic Test Generation. Runze Yu, Youzhe Zhang, Jifeng Xuan |
| 2020 | Metamorphic Object Insertion for Testing Object Detection Systems. Shuai Wang, Zhendong Su |
| 2020 | MinerRay: Semantics-Aware Analysis for Ever-Evolving Cryptojacking Detection. Alan Romano, Yunhui Zheng, Weihang Wang |
| 2020 | MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools. Hoang Lam Nguyen, Nebras Nassar, Timo Kehrer, Lars Grunske |
| 2020 | MockSniffer: Characterizing and Recommending Mocking Decisions for Unit Tests. Hengcheng Zhu, Lili Wei, Ming Wen, Yepang Liu, Shing-Chi Cheung, Qin Sheng, Cui Zhou |
| 2020 | Multi-task Learning based Pre-trained Language Model for Code Completion. Fang Liu, Ge Li, Yunfei Zhao, Zhi Jin |
| 2020 | Multiple-Boundary Clustering and Prioritization to Promote Neural Network Retraining. Weijun Shen, Yanhui Li, Lin Chen, Yuanlei Han, Yuming Zhou, Baowen Xu |
| 2020 | Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once. Yufeng Zhang, Zhenbang Chen, Ziqi Shuai, Tianqi Zhang, Kenli Li, Ji Wang |
| 2020 | NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation. Brandon Paulsen, Jingbo Wang, Jiawei Wang, Chao Wang |
| 2020 | No Strings Attached: An Empirical Study of String-related Software Bugs. Aryaz Eghbali, Michael Pradel |
| 2020 | OCoR: An Overlapping-Aware Code Retriever. Qihao Zhu, Zeyu Sun, Xiran Liang, Yingfei Xiong, Lu Zhang |
| 2020 | OSLDetector: Identifying Open-Source Libraries through Binary Analysis. Dan Zhang, Ping Luo, Wei Tang, Min Zhou |
| 2020 | On Benign Features in Malware Detection. Michael Cao, Sahar Badihi, Khaled Ahmed, Peiyu Xiong, Julia Rubin |
| 2020 | On the Effectiveness of Unified Debugging: An Extensive Study on 16 Program Repair Systems. Samuel Benton, Xia Li, Yiling Lou, Lingming Zhang |
| 2020 | Owl Eyes: Spotting UI Display Issues via Visual Understanding. Zhe Liu, Chunyang Chen, Junjie Wang, Yuekai Huang, Jun Hu, Qing Wang |
| 2020 | Patching as Translation: the Data and the Metaphor. Yangruibo Ding, Baishakhi Ray, Premkumar T. Devanbu, Vincent J. Hellendoorn |
| 2020 | Pending Constraints in Symbolic Execution for Better Exploration and Seeding. Timotej Kapus, Frank Busse, Cristian Cadar |
| 2020 | PerfCI: A Toolchain for Automated Performance Testing during Continuous Integration of Python Projects. Omar Javed, Joshua Heneage Dawes, Marta Han, Giovanni Franzoni, Andreas Pfeiffer, Giles Reger, Walter Binder |
| 2020 | Plug the Database & Play With Automatic Testing: Improving System Testing by Exploiting Persistent Data. Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani |
| 2020 | Predicting Code Context Models for Software Development Tasks. Zhiyuan Wan, Gail C. Murphy, Xin Xia |
| 2020 | Prober: Practically Defending Overflows with Page Protection. Hongyu Liu, Ruiqin Tian, Tongping Liu, Bin Ren |
| 2020 | Problems and Opportunities in Training Deep Learning Software Systems: An Analysis of Variance. Hung Viet Pham, Shangshu Qian, Jiannan Wang, Thibaud Lutellier, Jonathan Rosenthal, Lin Tan, Yaoliang Yu, Nachiappan Nagappan |
| 2020 | Proving Termination by k-Induction. Jianhui Chen, Fei He |
| 2020 | RepoSkillMiner: Identifying software expertise from GitHub repositories using Natural Language Processing. Stratos Kourtzanidis, Alexander Chatzigeorgiou, Apostolos Ampatzoglou |
| 2020 | Representing and Reasoning about Dynamic Code. Jesse Bartels, Jon Stephens, Saumya Debray |
| 2020 | Retrieve and Refine: Exemplar-based Neural Comment Generation. Bolin Wei, Yongmin Li, Ge Li, Xin Xia, Zhi Jin |
| 2020 | Revisiting the Relationship Between Fault Detection, Test Adequacy Criteria, and Test Set Size. Yiqun T. Chen, Rahul Gopinath, Anita Tadakamalla, Michael D. Ernst, Reid Holmes, Gordon Fraser, Paul Ammann, René Just |
| 2020 | SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementations. Lili Quan, Qianyu Guo, Hongxu Chen, Xiaofei Xie, Xiaohong Li, Yang Liu, Jing Hu |
| 2020 | SAT-Based Arithmetic Support for Alloy. César Cornejo |
| 2020 | SCDetector: Software Functional Clone Detection Based on Semantic Tokens Analysis. Yueming Wu, Deqing Zou, Shihan Dou, Siru Yang, Wei Yang, Feng Cheng, Hong Liang, Hai Jin |
| 2020 | SRRTA: Regression Testing Acceleration via State Reuse. Jinhao Dong, Yiling Lou, Dan Hao |
| 2020 | STIFA: Crowdsourced Mobile Testing Report Selection Based on Text and Image Fusion Analysis. Zhenfei Cao, Xu Wang, Shengcheng Yu, Yexiao Yun, Chunrong Fang |
| 2020 | Safety and Robustness for Deep Learning with Provable Guarantees. Marta Kwiatkowska |
| 2020 | Scalability and Precision Improvement of Neural Program Synthesis. Yating Zhang |
| 2020 | Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations. Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi |
| 2020 | Scaling Client-Specific Equivalence Checking via Impact Boundary Search. Nick Feng, Federico Mora, Vincent Hui, Marsha Chechik |
| 2020 | Seven Reasons Why: An In-Depth Study of the Limitations of Random Test Input Generation for Android. Farnaz Behrang, Alessandro Orso |
| 2020 | SmartBugs: A Framework to Analyze Solidity Smart Contracts. João F. Ferreira, Pedro Cruz, Thomas Durieux, Rui Abreu |
| 2020 | Sosed: a tool for finding similar software projects. Egor Bogomolov, Yaroslav Golubev, Artyom Lobanov, Vladimir Kovalenko, Timofey Bryksin |
| 2020 | Source Code and Binary Level Vulnerability Detection and Hot Patching. Zhengzi Xu |
| 2020 | Speeding up GUI Testing by On-Device Test Generation. Nataniel P. Borges, Jenny Rau, Andreas Zeller |
| 2020 | Stay Professional and Efficient: Automatically Generate Titles for Your Bug Reports. Songqiang Chen, Xiaoyuan Xie, Bangguo Yin, Yuanxiang Ji, Lin Chen, Baowen Xu |
| 2020 | Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN. Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng, Zhenbang Chen, Ji Wang |
| 2020 | Subdomain-Based Generality-Aware Debloating. Qi Xin, Myeongsoo Kim, Qirun Zhang, Alessandro Orso |
| 2020 | Summary-Based Symbolic Evaluation for Smart Contracts. Yu Feng, Emina Torlak, Rastislav Bodík |
| 2020 | Synthesis of Infinite-State Systems with Random Behavior. Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen |
| 2020 | Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems. Benjamin Gafford, Tobias Dürschmid, Gabriel A. Moreno, Eunsuk Kang |
| 2020 | Synthesizing Smart Solving Strategy for Symbolic Execution. Zehua Chen, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Weiyu Pan |
| 2020 | Team Discussions and Dynamics During DevOps Tool Adoptions in OSS Projects. Likang Yin, Vladimir Filkov |
| 2020 | Test Automation in Open-Source Android Apps: A Large-Scale Empirical Study. Jun-Wei Lin, Navid Salehnamadi, Sam Malek |
| 2020 | TestMC: Testing Model Counters using Differential and Metamorphic Testing. Muhammad Usman, Wenxi Wang, Sarfraz Khurshid |
| 2020 | The Classification and Propagation of Program Comments. Xiangzhe Xu |
| 2020 | The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel. Nic Volanschi, Julia Lawall |
| 2020 | The New Approach to IT Testing : Real Transaction-Based Automated Validation Solution. Yongsik Kim, SoAh Min, Youkyung Kim |
| 2020 | The Symptom, Cause and Repair of Workaround. Daohan Song, Hao Zhong, Li Jia |
| 2020 | Towards Building Robust DNN Applications: An Industrial Case Study of Evolutionary Data Augmentation. Haruki Yokoyama, Satoshi Onoue, Shinji Kikuchi |
| 2020 | Towards Generating Thread-Safe Classes Automatically. Haichi Wang, Zan Wang, Jun Sun, Shuang Liu, Ayesha Sadiq, Yuan-Fang Li |
| 2020 | Towards Immersive Comprehension of Software Systems Using Augmented Reality - An Empirical Evaluation. Rohit Mehra, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder, Adam P. Burden |
| 2020 | Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction. Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong, Xingen Wang |
| 2020 | Towards Programming and Verification for Activity-Oriented Smart Home Systems. Xuansong Li, Wei Song, Xiangyu Zhang |
| 2020 | Towards Robust Production Machine Learning Systems: Managing Dataset Shift. Hala Abdelkader |
| 2020 | Towards Transparency-Encouraging Partial Software Disclosure to Enable Trust in Data Usage. Christian Schindler |
| 2020 | Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach. Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand, Yago Isasi Parache |
| 2020 | UI Obfuscation and Its Effects on Automated UI Analysis for Android Apps. Hao Zhou, Ting Chen, Haoyu Wang, Le Yu, Xiapu Luo, Ting Wang, Wei Zhang |
| 2020 | UNCHARTIT: An Interactive Framework for Program Recovery from Charts. Daniel Ramos, Jorge Pereira, Inês Lynce, Vasco Manquinho, Ruben Martins |
| 2020 | Understanding Performance Concerns in the API Documentation of Data Science Libraries. Yida Tao, Jiefang Jiang, Yepang Liu, Zhiwu Xu, Shengchao Qin |
| 2020 | Using Defect Prediction to Improve the Bug Detection Capability of Search-Based Software Testing. Anjana Perera |
| 2020 | Verified from Scratch: Program Analysis for Learners' Programs. Andreas Stahlbauer, Christoph Frädrich, Gordon Fraser |
| 2020 | WASim: Understanding WebAssembly Applications through Classification. Alan Romano, Weihang Wang |
| 2020 | When Deep Learning Meets Smart Contracts. Zhipeng Gao |
| 2020 | Where Shall We Log? Studying and Suggesting Logging Locations in Code Blocks. Zhenhao Li, Tse-Hsun Chen, Weiyi Shang |
| 2020 | Zeror: Speed Up Fuzzing with Coverage-sensitive Tracing and Scheduling. Chijin Zhou, Mingzhe Wang, Jie Liang, Zhe Liu, Yu Jiang |