ESEC/FSE 2020
28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020)
Powered by
Conference Publishing Consulting

28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020), November 8–13, 2020, Virtual Event, USA

ESEC/FSE 2020 – Author Index

Contents - Abstracts - Authors

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Abdelrazek, Mohamed ESEC/FSE '20: "Beware the Evolving ‘Intelligent’ ..."
Abolhassani, Negarsadat ESEC/FSE '20: "Recommending Stack Overflow ..."
Abrahamsson, Pekka ESEC/FSE '20: "Continuous Experimentation ..."
Aghayi, Emad ESEC/FSE '20: "Can Microtask Programming ..."
Ahmed, Iftekhar ESEC/FSE '20: "On the Relationship between ..."
Ahmed, Md Sohel ESEC/FSE '20: "Testing Machine Learning Code ..."
Akinotcho, Faridah ESEC/FSE '20: "ARDiff: Scaling Program Equivalence ..."
Alahmadi, Mohammad ESEC/FSE '20: "UIScreens: Extracting User ..."
Ali, Karim ESEC/FSE '20: "SWAN: A Static Analysis Framework ..."
Allamanis, Miltiadis ESEC/FSE '20: "Flexeme: Untangling Commits ..."
Almalki, Khalid ESEC/FSE '20: "tsDetect: An Open Source Test ..."
Amirova, Rozaliya ESEC/FSE '20: "Attention Tracking for Developers ..."
Aniche, Maurício ESEC/FSE '20: "Selecting Third-Party Libraries: ..."
Antinyan, Vard ESEC/FSE '20: "Revealing the Complexity of ..."
Apel, Sven ESEC/FSE '20: "Thinking Aloud about Confusing ..."
Aqajari, Seyed Amir Hossein ESEC/FSE '20: "Understanding and Automatically ..."
Araujo, Frederico ESEC/FSE '20: "Improving Cybersecurity Hygiene ..."
Ardıç, Barış ESEC/FSE '20: "CRSG: A Serious Game for Teaching ..."
Armanios, Daniel ESEC/FSE '20: "Heard It through the Gitvine: ..."
Arora, Jaspreet ESEC/FSE '20: "JShrink: In-Depth Investigation ..."
Atapattu, Thushari ESEC/FSE '20: "Beyond Accuracy: Assessing ..."
Babakol, Timur ESEC/FSE '20: "Calm Energy Accounting for ..."
Babvey, Pouria ESEC/FSE '20: "Automatically Identifying ..."
Badihi, Sahar ESEC/FSE '20: "ARDiff: Scaling Program Equivalence ..."
Banerjee, Debasish ESEC/FSE '20: "Mono2Micro: An AI-Based Toolchain ..."
Bang, Lucas ESEC/FSE '20: "MCBAT: A Practical Tool for ..."
Bao, Lingfeng ESEC/FSE '20: "Enhancing Developer Interactions ..."
Baranov, Eduard ESEC/FSE '20: "Baital: An Adaptive Weighted ..."
Barik, Titus ESEC/FSE '20: "Does Stress Impact Technical ..."
Barnaby, Celeste ESEC/FSE '20: "Exempla Gratis (E.G.): Code ..."
Barnett, Scott ESEC/FSE '20: "Threshy: Supporting Safe Usage ..." ESEC/FSE '20: "Beware the Evolving ‘Intelligent’ ..."
Barr, Earl T. ESEC/FSE '20: "Flexeme: Untangling Commits ..."
Bateni, Soroush ESEC/FSE '20: "DENAS: Automated Rule Generation ..."
Baudart, Guillaume ESEC/FSE '20: "A Principled Approach to GraphQL ..."
Bavota, Gabriele ESEC/FSE '20: "On the Relationship between ..."
Behroozi, Mahnaz ESEC/FSE '20: "Does Stress Impact Technical ..."
Ben Khadra, M. Ammar ESEC/FSE '20: "Efficient Binary-Level Coverage ..."
Berger, Thorsten ESEC/FSE '20: "An Empirical Analysis of the ..." ESEC/FSE '20: "Robotics Software Engineering: ..."
Beyer, Dirk ESEC/FSE '20: "Domain-Independent Interprocedural ..."
Bian, Pan ESEC/FSE '20: "SinkFinder: Harvesting Hundreds ..."
Bissyandé, Tegawendé F. ESEC/FSE '20: "Borrowing Your Enemy’s Arrows: ..."
Biswas, Sumon ESEC/FSE '20: "Do the Machine Learning Models ..."
Böhme, Marcel ESEC/FSE '20: "Boosting Fuzzer Efficiency: ..." ESEC/FSE '20: "Fuzzing: On the Exponential ..."
Bouchet, Malik ESEC/FSE '20: "Block Public Access: Trust ..."
Boystov, Andrey ESEC/FSE '20: "Search-Based Adversarial Testing ..."
Briand, Lionel C. ESEC/FSE '20: "Mining Assumptions for Software ..."
Brown, Chris ESEC/FSE '20: "Understanding the Impact of ..."
Bruce, Bobby R. ESEC/FSE '20: "WebJShrink: A Web Service ..." ESEC/FSE '20: "JShrink: In-Depth Investigation ..."
Brugali, Davide ESEC/FSE '20: "Robotics Software Engineering: ..."
Brun, Yuriy ESEC/FSE '20: "eQual: Informing Early Design ..."
Brunner, Rebecca ESEC/FSE '20: "PAClab: A Program Analysis ..."
Bruntink, Magiel ESEC/FSE '20: "Selecting Third-Party Libraries: ..."
Cadar, Cristian ESEC/FSE '20: "Past-Sensitive Pointer Analysis ..."
Cai, Haipeng ESEC/FSE '20: "Dads: Dynamic Slicing Continuously-Running ..." ESEC/FSE '20: "PCA: Memory Leak Detection ..." ESEC/FSE '20: "Exploring How Deprecated Python ..." ESEC/FSE '20: "Towards Learning Visual Semantics ..."
Cai, Shaowei ESEC/FSE '20: "Efficient Incident Identification ..."
Cambronero, José P. ESEC/FSE '20: "AMS: Generating AutoML Search ..."
Canino, Anthony ESEC/FSE '20: "Calm Energy Accounting for ..."
Cao, Chun ESEC/FSE '20: "Operational Calibration: Debugging ..."
Cao, Yanbin ESEC/FSE '20: "Understanding Build Issue ..." ESEC/FSE '20: "A Comprehensive Study on Challenges ..."
Cappos, Justin ESEC/FSE '20: "Thinking Aloud about Confusing ..."
Čegiň, Ján ESEC/FSE '20: "Machine Learning Based Test ..."
Cha, Alan ESEC/FSE '20: "A Principled Approach to GraphQL ..."
Cha, Sang Kil ESEC/FSE '20: "Boosting Fuzzer Efficiency: ..."
Cha, Sooyoung ESEC/FSE '20: "Making Symbolic Execution ..."
Chakraborty, Joymallya ESEC/FSE '20: "Fairway: A Way to Build Fair ..."
Chandra, Satish ESEC/FSE '20: "Exempla Gratis (E.G.): Code ..." ESEC/FSE '20: "TypeWriter: Neural Type Prediction ..."
Chaparro, Oscar ESEC/FSE '20: "BEE: A Tool for Structuring ..."
Chen, Bihuan ESEC/FSE '20: "Interactive, Effort-Aware ..."
Chen, Cheng ESEC/FSE '20: "Enhancing the Interoperability ..."
Chen, Chunyang ESEC/FSE '20: "DiffTech: A Tool for Differencing ..." ESEC/FSE '20: "UIED: A Hybrid Tool for GUI ..." ESEC/FSE '20: "Object Detection for Graphical ..."
Chen, Jieshan ESEC/FSE '20: "UIED: A Hybrid Tool for GUI ..." ESEC/FSE '20: "Object Detection for Graphical ..."
Chen, Junjie ESEC/FSE '20: "How to Mitigate the Incident? ..." ESEC/FSE '20: "Identifying Linked Incidents ..." ESEC/FSE '20: "Real-Time Incident Prediction ..." ESEC/FSE '20: "Deep Learning Library Testing ..."
Chen, Justin ESEC/FSE '20: "FrUITeR: A Framework for Evaluating ..."
Chen, Leo ESEC/FSE '20: "Efficiently Finding Higher-Order ..."
Chen, Liqian ESEC/FSE '20: "Detecting Numerical Bugs in ..."
Chen, Qingrong ESEC/FSE '20: "Understanding and Discovering ..."
Chen, Simin ESEC/FSE '20: "DENAS: Automated Rule Generation ..."
Chen, Tse-Hsun (Peter) ESEC/FSE '20: "A First Look at the Integration ..."
Chen, Wei ESEC/FSE '20: "WebRR: Self-Replay Enhanced ..."
Chen, Xiangqun ESEC/FSE '20: "Dynamic Slicing for Deep Neural ..."
Chen, Xiaojiang ESEC/FSE '20: "WebRR: Self-Replay Enhanced ..."
Chen, Yujun ESEC/FSE '20: "Identifying Linked Incidents ..."
Chen, Zhenpeng ESEC/FSE '20: "Understanding Build Issue ..." ESEC/FSE '20: "A Comprehensive Study on Challenges ..."
Chen, Zhuangbin ESEC/FSE '20: "Towards Intelligent Incident ..."
Cheung, Shing-Chi ESEC/FSE '20: "Detecting Numerical Bugs in ..."
Chimalakonda, Sridhar ESEC/FSE '20: "Software Documentation and ..."
Chintalapati, Murali ESEC/FSE '20: "Efficient Incident Identification ..."
Cho, Jeff ESEC/FSE '20: "SWAN: A Static Analysis Framework ..."
Chowdhury, Sankalan Pal ESEC/FSE '20: "DeepSearch: A Simple and Effective ..."
Christakis, Maria ESEC/FSE '20: "Harvey: A Greybox Fuzzer for ..." ESEC/FSE '20: "Detecting Critical Bugs in ..." ESEC/FSE '20: "DeepSearch: A Simple and Effective ..."
Chuang, Jason ESEC/FSE '20: "Understanding and Automatically ..."
Cico, Orges ESEC/FSE '20: "Towards Transferring Lean ..."
Cito, Jürgen ESEC/FSE '20: "AMS: Generating AutoML Search ..."
Cook, Byron ESEC/FSE '20: "Block Public Access: Trust ..."
Cordy, Maxime ESEC/FSE '20: "Search-Based Adversarial Testing ..."
Costa Silva, Camila Mariane ESEC/FSE '20: "Reusing Software Engineering ..."
Cui, Baoquan ESEC/FSE '20: "Static Asynchronous Component ..."
Cummaudo, Alex ESEC/FSE '20: "Threshy: Supporting Safe Usage ..." ESEC/FSE '20: "Beware the Evolving ‘Intelligent’ ..."
Cutler, Bryant ESEC/FSE '20: "Block Public Access: Trust ..."
Dang, Yingnong ESEC/FSE '20: "How to Mitigate the Incident? ..." ESEC/FSE '20: "Towards Intelligent Incident ..." ESEC/FSE '20: "Efficient Incident Identification ..."
Dash, Santanu Kumar ESEC/FSE '20: "Flexeme: Untangling Commits ..."
Davis, James C. ESEC/FSE '20: "A Principled Approach to GraphQL ..."
Demsky, Brian ESEC/FSE '20: "Understanding and Automatically ..."
Deng, Shao Kun ESEC/FSE '20: "IntelliCode Compose: Code ..."
Deng, Yuetang ESEC/FSE '20: "Clustering Test Steps in Natural ..."
Deursen, Arie van ESEC/FSE '20: "Questions for Data Scientists ..."
Diab, Moustapha ESEC/FSE '20: "Change Impact Analysis in ..."
Dig, Danny ESEC/FSE '20: "Understanding Type Changes ..."
Ding, Dan ESEC/FSE '20: "Graph-Based Trace Analysis ..."
Diniz, João P. ESEC/FSE '20: "Efficiently Finding Higher-Order ..."
Di Penta, Massimiliano ESEC/FSE '20: "Configuration Smells in Continuous ..." ESEC/FSE '20: "On the Relationship between ..."
Dittrich, Yvonne ESEC/FSE '20: "Exploring the Evolution of ..."
Dolby, Julian ESEC/FSE '20: "SWAN: A Static Analysis Framework ..."
Dong, Hang ESEC/FSE '20: "Identifying Linked Incidents ..."
Downing, Mara ESEC/FSE '20: "MCBAT: A Practical Tool for ..."
Druzkina, Anna ESEC/FSE '20: "Block Public Access: Trust ..."
Dyer, Robert ESEC/FSE '20: "PAClab: A Program Analysis ..."
Ebdrup, Allan ESEC/FSE '20: "Exploring the Evolution of ..."
Eichberg, Michael ESEC/FSE '20: "Modular Collaborative Program ..."
El-Hajj, Rehab ESEC/FSE '20: "LibComp: An IntelliJ Plugin ..."
Erlenhov, Linda ESEC/FSE '20: "An Empirical Study of Bots ..."
Escobar-Velásquez, Camilo ESEC/FSE '20: "MutAPK 2.0: A Tool for Reducing ..."
Falk, Brandon ESEC/FSE '20: "Fuzzing: On the Exponential ..."
Fan, Yuanrui ESEC/FSE '20: "JITO: A Tool for Just-in-Time ..." ESEC/FSE '20: "Effort-Aware Just-in-Time ..."
Fang, Chunrong ESEC/FSE '20: "C2S: Translating Natural Language ..."
Fayard, Anne-Laure ESEC/FSE '20: "Thinking Aloud about Confusing ..."
Feldt, Robert ESEC/FSE '20: "Reducing DNN Labelling Cost ..."
Feng, Jincao ESEC/FSE '20: "FREPA: An Automated and Formal ..."
Feng, Sidong ESEC/FSE '20: "UIED: A Hybrid Tool for GUI ..."
Feng, Zhen ESEC/FSE '20: "Real-Time Incident Prediction ..."
Figueiredo, Eduardo ESEC/FSE '20: "Efficiently Finding Higher-Order ..."
Friedberger, Karlheinz ESEC/FSE '20: "Domain-Independent Interprocedural ..."
Fu, Shengyu ESEC/FSE '20: "IntelliCode Compose: Code ..."
Fu, Xiaoqin ESEC/FSE '20: "Dads: Dynamic Slicing Continuously-Running ..."
Gaaloul, Khouloud ESEC/FSE '20: "Mining Assumptions for Software ..."
Gacek, Andrew ESEC/FSE '20: "Block Public Access: Trust ..."
Gall, Harald C. ESEC/FSE '20: "Configuration Smells in Continuous ..." ESEC/FSE '20: "Dynamically Reconfiguring ..."
Ganapathy, Vinod ESEC/FSE '20: "An Evaluation of Methods to ..."
Gao, Feng ESEC/FSE '20: "How to Mitigate the Incident? ..." ESEC/FSE '20: "Towards Intelligent Incident ..." ESEC/FSE '20: "Identifying Linked Incidents ..."
Gao, Jun ESEC/FSE '20: "Borrowing Your Enemy’s Arrows: ..."
Gao, Yanjie ESEC/FSE '20: "Estimating GPU Memory Consumption ..."
Garcia, Joshua ESEC/FSE '20: "ARCADE: An Extensible Workbench ..."
García, Sergio ESEC/FSE '20: "Robotics Software Engineering: ..."
Garlan, David ESEC/FSE '20: "A Behavioral Notion of Robustness ..."
Gazzillo, Paul ESEC/FSE '20: "Inferring and Securing Software ..."
German, Daniel M. ESEC/FSE '20: "A Theory of the Engagement ..."
Gerosa, Marco Aurélio ESEC/FSE '20: "A Theory of the Engagement ..."
Ghamizi, Salah ESEC/FSE '20: "Search-Based Adversarial Testing ..."
Ghanbari, Ali ESEC/FSE '20: "PRF: A Framework for Building ..."
Gisi, Joshua ESEC/FSE '20: "Synthesizing Correct Code ..."
Glassman, Elena ESEC/FSE '20: "Exempla Gratis (E.G.): Code ..."
Gligoric, Milos ESEC/FSE '20: "On the Naturalness of Hardware ..."
Godefroid, Patrice ESEC/FSE '20: "Intelligent REST API Data ..."
Goh, Brian ESEC/FSE '20: "BugsInPy: A Database of Existing ..."
Gopinath, Rahul ESEC/FSE '20: "Mining Input Grammars from ..."
Gopstein, Dan ESEC/FSE '20: "Thinking Aloud about Confusing ..."
Goujon, Anne ESEC/FSE '20: "Search-Based Adversarial Testing ..."
Gousios, Georgios ESEC/FSE '20: "TypeWriter: Neural Type Prediction ..." ESEC/FSE '20: "Selecting Third-Party Libraries: ..." ESEC/FSE '20: "Questions for Data Scientists ..."
Grandhi, Sampath ESEC/FSE '20: "DENAS: Automated Rule Generation ..."
Grundy, John ESEC/FSE '20: "DiffTech: A Tool for Differencing ..." ESEC/FSE '20: "Threshy: Supporting Safe Usage ..." ESEC/FSE '20: "Beware the Evolving ‘Intelligent’ ..."
Gu, Bin ESEC/FSE '20: "FREPA: An Automated and Formal ..."
Gu, Jiazhen ESEC/FSE '20: "Efficient Customer Incident ..." ESEC/FSE '20: "Efficient Incident Identification ..."
Gu, Quanquan ESEC/FSE '20: "Is Neuron Coverage a Meaningful ..."
Guan, Hui ESEC/FSE '20: "HISyn: Human Learning-Inspired ..."
Gubri, Martin ESEC/FSE '20: "Search-Based Adversarial Testing ..."
Guizzo, Giovani ESEC/FSE '20: "Cost Measures Matter for Mutation ..."
Gulzar, Muhammad Ali ESEC/FSE '20: "Is Neuron Coverage a Meaningful ..."
Guo, Xiaofeng ESEC/FSE '20: "Graph-Based Trace Analysis ..."
Guo, Yao ESEC/FSE '20: "Dynamic Slicing for Deep Neural ..."
Guo, Zhenyu ESEC/FSE '20: "Scaling Static Taint Analysis ..."
Gupta, Shashij ESEC/FSE '20: "Machine Translation Testing ..."
Hadarean, Liana ESEC/FSE '20: "Block Public Access: Trust ..."
Haiduc, Sonia ESEC/FSE '20: "UIScreens: Extracting User ..."
Handa, Shivam ESEC/FSE '20: "Inductive Program Synthesis ..."
Hao, Dan ESEC/FSE '20: "Understanding Build Issue ..."
Hao, Yu ESEC/FSE '20: "UBITect: A Precise and Scalable ..."
Harel-Canada, Fabrice ESEC/FSE '20: "Is Neuron Coverage a Meaningful ..."
Harman, Mark ESEC/FSE '20: "Cost Measures Matter for Mutation ..." ESEC/FSE '20: "FrUITeR: A Framework for Evaluating ..."
Hassan, Ahmed E. ESEC/FSE '20: "JITO: A Tool for Just-in-Time ..." ESEC/FSE '20: "Effort-Aware Just-in-Time ..."
Havrikov, Nikolas ESEC/FSE '20: "When Does My Program Do This? ..."
He, Fei ESEC/FSE '20: "Interval Counterexamples for ..."
He, Guanghua ESEC/FSE '20: "Clustering Test Steps in Natural ..."
He, Jifeng ESEC/FSE '20: "FREPA: An Automated and Formal ..."
He, Pinjia ESEC/FSE '20: "Machine Translation Testing ..."
He, Xiaoting ESEC/FSE '20: "Identifying Linked Incidents ..."
Helm, Dominik ESEC/FSE '20: "Modular Collaborative Program ..."
Hermann, Ben ESEC/FSE '20: "Community Expectations for ..."
Hermanns, Holger ESEC/FSE '20: "PRODeep: A Platform for Robustness ..."
Hoang, Thong ESEC/FSE '20: "BugsInPy: A Database of Existing ..."
Hu, Xing ESEC/FSE '20: "DeepCommenter: A Deep Code ..."
Huang, Bo-Yuan ESEC/FSE '20: "Intelligent REST API Data ..."
Huang, Cheng-Chao ESEC/FSE '20: "PRODeep: A Platform for Robustness ..."
Huang, Huang ESEC/FSE '20: "Fireteam: A Small-Team Development ..."
Huang, Jianjun ESEC/FSE '20: "SinkFinder: Harvesting Hundreds ..."
Huang, Kaifeng ESEC/FSE '20: "Interactive, Effort-Aware ..."
Huang, Xiaowei ESEC/FSE '20: "PRODeep: A Platform for Robustness ..."
Huang, Xin ESEC/FSE '20: "Fireteam: A Small-Team Development ..."
Huang, Yihao ESEC/FSE '20: "FREPA: An Automated and Formal ..."
Huang, Yu ESEC/FSE '20: "Biases and Differences in ..."
Huijgens, Hennie ESEC/FSE '20: "Questions for Data Scientists ..."
Hussein, Soha ESEC/FSE '20: "Java Ranger: Statically Summarizing ..."
Iimura, Yukako ESEC/FSE '20: "Can Microtask Programming ..."
Isaacman, Sibren ESEC/FSE '20: "Global Cost/Quality Management ..."
Ishikawa, Fuyuki ESEC/FSE '20: "Testing Machine Learning Code ..."
Ivers, James ESEC/FSE '20: "Next Generation Automated ..."
Jabbarvand, Reyhaneh ESEC/FSE '20: "Automated Construction of ..."
Jahangirova, Gunel ESEC/FSE '20: "Evolutionary Improvement of ..."
Jana, Suman ESEC/FSE '20: "MTFuzz: Fuzzing with a Multi-task ..."
Jancso, Anna ESEC/FSE '20: "Configuration Smells in Continuous ..."
Jang, Yeongjin ESEC/FSE '20: "CrFuzz: Fuzzing Multi-purpose ..."
Jensen, Carlos ESEC/FSE '20: "On the Relationship between ..."
Jhala, Ranjit ESEC/FSE '20: "Block Public Access: Trust ..."
Ji, Xiang ESEC/FSE '20: "Enhancing the Interoperability ..."
Jiang, Huai ESEC/FSE '20: "Graph-Based Trace Analysis ..."
Jiang, Jiajun ESEC/FSE '20: "How to Mitigate the Incident? ..."