kirancodes.me
To Proof Maintenance & Beyond!
Venues / ICSE /

ICSE 2021

138 papers

  1. "Do this! Do that!, And nothing will happen" Do specifications lead to securely stored passwords? · Joseph Hallett, Nikhil Patnaik, Benjamin Shreeve, Awais Rashid
  2. "How Was Your Weekend?" Software Development Teams Working From Home During COVID-19 · Courtney Miller, Paige Rodeghero, Margaret-Anne D. Storey, Denae Ford, Thomas Zimmermann
  3. "Ignorance and Prejudice" in Software Fairness · Jie M. Zhang, Mark Harman
  4. A Case Study of Onboarding in Software Teams: Tasks and Strategies · An Ju, Hitesh Sajnani, Scot Kelly, Kim Herzig
  5. A Context-based Automated Approach for Method Name Consistency Checking and Suggestion · Yi Li, Shaohua Wang, Tien N. Nguyen
  6. A Differential Testing Approach for Evaluating Abstract Syntax Tree Mapping Algorithms · Yuanrui Fan, Xin Xia, David Lo, Ahmed E. Hassan, Yuan Wang, Shanping Li
  7. AID: An automated detector for gender-inclusivity bugs in OSS project pages · Amreeta Chatterjee, Mariam Guizani, Catherine Stevens, Jillian Emard, Mary Evelyn May, Margaret Burnett + 2 more
  8. ATVHUNTER: Reliable Version Detection of Third-Party Libraries for Vulnerability Identification in Android Applications · Xian Zhan, Lingling Fan, Sen Chen, Feng Wu, Tianming Liu, Xiapu Luo + 1 more
  9. AUTOTRAINER: An Automatic DNN Training Problem Detection and Repair System · Xiaoyu Zhang, Juan Zhai, Shiqing Ma, Chao Shen
  10. Abacus: Precise Side-Channel Analysis · Qinkun Bao, Zihao Wang, Xiaoting Li, James R. Larus, Dinghao Wu
  11. An Empirical Analysis of UI-based Flaky Tests · Alan Romano, Zihe Song, Sampath Grandhi, Wei Yang, Weihang Wang
  12. An Empirical Assessment of Global COVID-19 Contact Tracing Applications · Ruoxi Sun, Wei Wang, Minhui Xue, Gareth Tyson, Seyit Camtepe, Damith C. Ranasinghe
  13. An Empirical Study of Refactorings and Technical Debt in Machine Learning Systems · Yiming Tang, Raffi Khatchadourian, Mehdi Bagherzadeh, Rhia Singh, Ajani Stewart, Anita Raja
  14. An Empirical Study on Deployment Faults of Deep Learning Based Mobile Applications · Zhenpeng Chen, Huihan Yao, Yiling Lou, Yanbin Cao, Yuanqiang Liu, Haoyu Wang + 1 more
  15. An Evolutionary Study of Configuration Design and Implementation in Cloud Systems · Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, Tianyin Xu
  16. App's Auto-Login Function Security Testing via Android OS-Level Virtualization · Wenna Song, Jiang Ming, Lin Jiang, Han Yan, Yi Xiang, Yuan Chen + 2 more
  17. Are Machine Learning Cloud APIs Used Correctly? · Chengcheng Wan, Shicheng Liu, Henry Hoffmann, Michael Maire, Shan Lu
  18. AutoCCAG: An Automated Approach to Constrained Covering Array Generation · Chuan Luo, Jinkun Lin, Shaowei Cai, Xin Chen, Bing He, Bo Qiao + 6 more
  19. Automated Query Reformulation for Efficient Search based on Query Logs From Stack Overflow · Kaibo Cao, Chunyang Chen, Sebastian Baltes, Christoph Treude, Xiang Chen
  20. Automatic Extraction of Opinion-based Q&A from Online Developer Chats · Preetha Chatterjee, Kostadin Damevski, Lori L. Pollock
  21. Automatic Solution Summarization for Crash Bugs · Haoye Wang, Xin Xia, David Lo, John C. Grundy, Xinyu Wang
  22. Automatic Unit Test Generation for Machine Learning Libraries: How Far Are We? · Song Wang, Nishtha Shrestha, Abarna Kucheri Subburaman, Junjie Wang, Moshi Wei, Nachiappan Nagappan
  23. Automatic Web Testing Using Curiosity-Driven Reinforcement Learning · Yan Zheng, Yi Liu, Xiaofei Xie, Yepang Liu, Lei Ma, Jianye Hao + 1 more
  24. Automatically Matching Bug Reports With Related App Reviews · Marlo Haering, Christoph Stanik, Walid Maalej
  25. Bounded Exhaustive Search of Alloy Specification Repairs · Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre + 1 more
  26. CHAMP: Characterizing Undesired App Behaviors from User Comments based on Market Policies · Yangyu Hu, Haoyu Wang, Tiantong Ji, Xusheng Xiao, Xiapu Luo, Peng Gao + 1 more
  27. CURE: Code-Aware Neural Machine Translation for Automatic Program Repair · Nan Jiang, Thibaud Lutellier, Lin Tan
  28. Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis · Rangeet Pan, Vu Le, Nachiappan Nagappan, Sumit Gulwani, Shuvendu K. Lahiri, Mike Kaufman
  29. Centris: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse · Seunghoon Woo, Sunghan Park, Seulbae Kim, Heejo Lee, Hakjoo Oh
  30. Code Prediction by Feeding Trees to Transformers · Seohyun Kim, Jinman Zhao, Yuchi Tian, Satish Chandra
  31. CodeShovel: Constructing Method-Level Source Code Histories · Felix Grund, Shaiful Alam Chowdhury, Nick C. Bradley, Braxton Hall, Reid Holmes
  32. Containing Malicious Package Updates in npm with a Lightweight Permission System · Gabriel Ferreira, Limin Jia, Joshua Sunshine, Christian Kästner
  33. Data-Driven Synthesis of Provably Sound Side Channel Analyses · Jingbo Wang, Chungha Sung, Mukund Raghothaman, Chao Wang
  34. Data-Oriented Differential Testing of Object-Relational Mapping Systems · Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis, Dimitris Mitropoulos, Diomidis Spinellis
  35. DeepLV: Suggesting Log Levels Using Ordinal Based Neural Networks · Zhenhao Li, Heng Li, Tse-Hsun Peter Chen, Weiyi Shang
  36. DeepLocalize: Fault Localization for Deep Neural Networks · Mohammad Wardat, Wei Le, Hridesh Rajan
  37. DeepPayload: Black-box Backdoor Attack on Deep Learning Models through Neural Payload Injection · Yuanchun Li, Jiayi Hua, Haoyu Wang, Chunyang Chen, Yunxin Liu
  38. DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures · Zhouyang Jia, Shanshan Li, Tingting Yu, Chen Zeng, Erci Xu, Xiaodong Liu + 2 more
  39. Distribution-Aware Testing of Neural Networks Using Generative Models · Swaroopa Dola, Matthew B. Dwyer, Mary Lou Soffa
  40. Do you really code? Designing and Evaluating Screening Questions for Online Surveys with Programmers · Anastasia Danilova, Alena Naiakshina, Stefan Horstmann, Matthew Smith
  41. Does mutation testing improve testing practices? · Goran Petrovic, Marko Ivankovic, Gordon Fraser, René Just
  42. Domain-Specific Fixes for Flaky Tests with Wrong Assumptions on Underdetermined Specifications · Peilun Zhang, Yanjie Jiang, Anjiang Wei, Victoria Stodden, Darko Marinov, August Shi
  43. Don't Do That! Hunting Down Visual Design Smells in Complex UIs against Design Guidelines · Bo Yang, Zhenchang Xing, Xin Xia, Chunyang Chen, Deheng Ye, Shanping Li
  44. Early Life Cycle Software Defect Prediction. Why? How? · N. C. Shrikanth, Suvodeep Majumder, Tim Menzies
  45. Efficient Compiler Autotuning via Bayesian Optimization · Junjie Chen, Ningxin Xu, Peiqi Chen, Hongyu Zhang
  46. Enabling Software Resilience in GPGPU Applications via Partial Thread Protection · Lishan Yang, Bin Nie, Adwait Jog, Evgenia Smirni
  47. Enhancing Genetic Improvement of Software with Regression Test Selection · Giovani Guizzo, Justyna Petke, Federica Sarro, Mark Harman
  48. Evaluating SZZ Implementations Through a Developer-informed Oracle · Giovanni Rosa, Luca Pascarella, Simone Scalabrino, Rosalia Tufano, Gabriele Bavota, Michele Lanza + 1 more
  49. Evaluating Unit Testing Practices in R Packages · Melina C. Vidoni
  50. EvoSpex: An Evolutionary Algorithm for Learning Postconditions · Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
  51. Extracting Concise Bug-Fixing Patches from Human-Written Patches in Version Control Systems · Yanjie Jiang, Hui Liu, Nan Niu, Lu Zhang, Yamin Hu
  52. Extracting Rationale for Open Source Software Development Decisions - A Study of Python Email Archives · Pankajeshwara Nand Sharma, Bastin Tony Roy Savarimuthu, Nigel Stanger
  53. FLACK: Counterexample-Guided Fault Localization for Alloy Models · Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre + 1 more
  54. Fast Outage Analysis of Large-scale Production Clouds with Service Correlation Mining · Yaohui Wang, Guozheng Li, Zijian Wang, Yu Kang, Yangfan Zhou, Hongyu Zhang + 10 more
  55. Fast Parametric Model Checking through Model Fragmentation · Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem
  56. Fast and Precise On-the-fly Patch Validation for All · Lingchao Chen, Yicheng Ouyang, Lingming Zhang
  57. Fault Localization with Code Coverage Representation Learning · Yi Li, Shaohua Wang, Tien N. Nguyen
  58. Fine with "1234"? An Analysis of SMS One-Time Password Randomness in Android Apps · Siqi Ma, Juanru Li, Hyoungshick Kim, Elisa Bertino, Surya Nepal, Diethelm Ostry + 1 more
  59. FlakeFlagger: Predicting Flakiness Without Rerunning Tests · Abdulrahman Alshammari, Christopher Morris, Michael Hilton, Jonathan Bell
  60. Fuzzing Symbolic Expressions · Luca Borzacchiello, Emilio Coppa, Camil Demetrescu
  61. GUIGAN: Learning to Generate GUI Designs Using Generative Adversarial Networks · Tianming Zhao, Chunyang Chen, Yuanning Liu, Xiaodong Zhu
  62. GenTree: Using Decision Trees to Learn Interactions for Configurable Software · KimHao Nguyen, ThanhVu Nguyen
  63. Graph-based Fuzz Testing for Deep Learning Inference Engines · Weisi Luo, Dong Chai, Xiaoyue Run, Jiang Wang, Chunrong Fang, Zhenyu Chen
  64. Growing A Test Corpus with Bonsai Fuzzing · Vasudev Vikram, Rohan Padhye, Koushik Sen
  65. HERO: On the Chaos When PATH Meets Modules · Ying Wang, Liang Qiao, Chang Xu, Yepang Liu, Shing-Chi Cheung, Na Meng + 2 more
  66. How Developers Optimize Virtual Reality Applications: A Study of Optimization Commits in Open Source Unity Projects · Fariha Nusrat, Foyzul Hassan, Hao Zhong, Xiaoyin Wang
  67. How Gamification Affects Software Developers: Cautionary Evidence from a Natural Experiment on GitHub · Lukas Moldon, Markus Strohmaier, Johannes Wachs
  68. How to Identify Boundary Conditions with Contrasty Metric? · Weilin Luo, Hai Wan, Xiaotong Song, Binhao Yang, Hongzhen Zhong, Yin Chen
  69. IMGDroid: Detecting Image Loading Defects in Android Applications · Wei Song, Mengqi Han, Jeff Huang
  70. IdBench: Evaluating Semantic Representations of Identifier Names in Source Code · Yaza Wainakh, Moiz Rauf, Michael Pradel
  71. Identifying Key Features from App User Reviews · Huayao Wu, Wenjun Deng, Xintao Niu, Changhai Nie
  72. If It's Not Secure, It Should Not Compile: Preventing DOM-Based XSS in Large-Scale Web Development with API Hardening · Pei Wang, Julian Bangert, Christoph Kern
  73. Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques · Yigit Küçük, Tim A. D. Henderson, Andy Podgurski
  74. InferCode: Self-Supervised Learning of Code Representations by Predicting Subtrees · Nghi D. Q. Bui, Yijun Yu, Lingxiao Jiang
  75. Input Algebras · Rahul Gopinath, Hamed Nemati, Andreas Zeller
  76. Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine · Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet
  77. Interpretation-enabled Software Reuse Detection Based on a Multi-Level Birthmark Model · Xi Xu, Qinghua Zheng, Zheng Yan, Ming Fan, Ang Jia, Ting Liu
  78. IoT Bugs and Development Challenges · Amir Makhshari, Ali Mesbah
  79. It Takes Two to TANGO: Combining Visual and Textual Information for Detecting Duplicate Video-Based Bug Reports · Nathan Cooper, Carlos Bernal-Cárdenas, Oscar Chaparro, Kevin Moran, Denys Poshyvanyk
  80. JEST: N+1 -version Differential Testing of Both JavaScript Engines and Specification · Jihyeok Park, Seungmin An, Dongjun Youn, Gyeongwon Kim, Sukyoung Ryu
  81. JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs · Sungjae Hwang, Sungho Lee, Jihoon Kim, Sukyoung Ryu
  82. Layout and Image Recognition Driving Cross-Platform Automated Mobile Testing · Shengcheng Yu, Chunrong Fang, Yexiao Yun, Yang Feng
  83. Leaving My Fingerprints: Motivations and Challenges of Contributing to OSS for Social Good · Yu Huang, Denae Ford, Thomas Zimmermann
  84. Measuring Discrimination to Boost Comparative Testing for Multiple Deep Learning Models · Linghan Meng, Yanhui Li, Lin Chen, Zhi Wang, Di Wu, Yuming Zhou + 1 more
  85. MuDelta: Delta-Oriented Mutation Testing at Commit Time · Wei Ma, Thierry Titcheu Chekam, Mike Papadakis, Mark Harman
  86. On Indirectly Dependent Documentation in the Context of Code Evolution: A Study · Devika Sondhi, Avyakt Gupta, Salil Purandare, Ankit Rana, Deepanshu Kaushal, Rahul Purandare
  87. On the Naming of Methods: A Survey of Professional Developers · Reem S. Alsuhaibani, Christian D. Newman, Michael John Decker, Michael L. Collard, Jonathan I. Maletic
  88. Onboarding vs. Diversity, Productivity, and Quality - Empirical Study of the OpenStack Ecosystem · Armstrong Foundjem, Ellis E. Eghan, Bram Adams
  89. Operation is the hardest teacher: estimating DNN accuracy looking for mispredictions · Antonio Guerriero, Roberto Pietrantuono, Stefano Russo
  90. Playing Planning Poker in Crowds: Human Computation of Software Effort Estimates · Mohammed Alhamed, Tim Storer
  91. Prioritize Crowdsourced Test Reports via Deep Screenshot Understanding · Shengcheng Yu, Chunrong Fang, Zhenfei Cao, Xu Wang, Tongyu Li, Zhenyu Chen
  92. Prioritizing Test Inputs for Deep Neural Networks via Mutation Analysis · Zan Wang, Hanmo You, Junjie Chen, Yingyi Zhang, Xuyuan Dong, Wenbin Zhang
  93. Program Comprehension and Code Complexity Metrics: An fMRI Study · Norman Peitek, Sven Apel, Chris Parnin, André Brechmann, Janet Siegmund
  94. PyART: Python API Recommendation in Real-Time · Xincheng He, Lei Xu, Xiangyu Zhang, Rui Hao, Yang Feng, Baowen Xu
  95. PyCG: Practical Call Graph Generation in Python · Vitalis Salis, Thodoris Sotiropoulos, Panos Louridas, Diomidis Spinellis, Dimitris Mitropoulos
  96. RAICC: Revealing Atypical Inter-Component Communication in Android Apps · Jordan Samhi, Alexandre Bartel, Tegawendé F. Bissyandé, Jacques Klein
  97. Reducing DNN Properties to Enable Falsification with Adversarial Attacks · David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
  98. Relating Reading, Visualization, and Coding for New Programmers: A Neuroimaging Study · Madeline Endres, Zachary Karas, Xiaosu Hu, Ioulia Kovelman, Westley Weimer
  99. Representation of Developer Expertise in Open Source Software · Tapajit Dey, Andrey Karnauch, Audris Mockus
  100. Resource-Guided Configuration Space Reduction for Deep Learning Models · Yanjie Gao, Yonghao Zhu, Hongyu Zhang, Haoxiang Lin, Mao Yang
  101. Restoring Execution Environments of Jupyter Notebooks · Jiawei Wang, Li Li, Andreas Zeller
  102. RobOT: Robustness-Oriented Testing for Deep Learning Systems · Jingyi Wang, Jialuo Chen, Youcheng Sun, Xingjun Ma, Dongxia Wang, Jun Sun + 1 more
  103. SOAR: A Synthesis Approach for Data Science API Refactoring · Ansong Ni, Daniel Ramos, Aidan Z. H. Yang, Inês Lynce, Vasco Manquinho, Ruben Martins + 1 more
  104. Same File, Different Changes: The Potential of Meta-Maintenance on GitHub · Hideaki Hata, Raula Gaikovina Kula, Takashi Ishio, Christoph Treude
  105. Scalable Quantitative Verification For Deep Neural Networks · Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
  106. Seamless Variability Management With the Virtual Platform · Wardah Mahmood, Daniel Strüber, Thorsten Berger, Ralf Lämmel, Mukelabai Mukelabai
  107. Self-Checking Deep Neural Networks in Deployment · Yan Xiao, Ivan Beschastnikh, David S. Rosenblum, Changsheng Sun, Sebastian G. Elbaum, Yun Lin + 1 more
  108. Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries · Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Møller
  109. Semantic Web Accessibility Testing via Hierarchical Visual Analysis · Mohammad Bajammal, Ali Mesbah
  110. Semi-supervised Log-based Anomaly Detection via Probabilistic Label Estimation · Lin Yang, Junjie Chen, Zan Wang, Weijing Wang, Jiajun Jiang, Xuyuan Dong + 1 more
  111. Shipwright: A Human-in-the-Loop System for Dockerfile Repair · Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps
  112. Siri, Write the Next Method · Fengcai Wen, Emad Aghajani, Csaba Nagy, Michele Lanza, Gabriele Bavota
  113. Smart Contract Security: a Practitioners' Perspective · Zhiyuan Wan, Xin Xia, David Lo, Jiachi Chen, Xiapu Luo, Xiaohu Yang
  114. Studying Test Annotation Maintenance in the Wild · Dong Jae Kim, Nikolaos Tsantalis, Tse-Hsun Peter Chen, Jinqiu Yang
  115. Studying the Usage of Text-To-Text Transfer Transformer to Support Code-Related Tasks · Antonio Mastropaolo, Simone Scalabrino, Nathan Cooper, David Nader-Palacio, Denys Poshyvanyk, Rocco Oliveto + 1 more
  116. Supporting Quality Assurance with Automated Process-Centric Quality Constraints Checking · Christoph Mayr-Dorn, Michael Vierhauser, Stefan Bichler, Felix Keplinger, Jane Cleland-Huang, Alexander Egyed + 1 more
  117. Sustainable Solving: Reducing The Memory Footprint of IFDS-Based Data Flow Analyses Using Intelligent Garbage Collection · Steven Arzt
  118. Synthesizing Object State Transformers for Dynamic Software Updates · Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, Xiaoxing Ma
  119. TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair · Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu + 2 more
  120. Technical Leverage in a Software Ecosystem: Development Opportunities and Security Risks · Fabio Massacci, Ivan Pashchenko
  121. Testing Machine Translation via Referential Transparency · Pinjia He, Clara Meister, Zhendong Su
  122. The Mind Is a Powerful Place: How Showing Code Comprehensibility Metrics Influences Code Understanding · Marvin Wyrich, Andreas Preikschat, Daniel Graziotin, Stefan Wagner
  123. The Shifting Sands of Motivation: Revisiting What Drives Contributors in Open Source · Marco Aurélio Gerosa, Igor Wiese, Bianca Trinkenreich, Georg Link, Gregorio Robles, Christoph Treude + 2 more
  124. Too Quiet in the Library: An Empirical Study of Security Updates in Android Apps' Native Code · Sumaya Almanee, Arda Ünal, Mathias Payer, Joshua Garcia
  125. Towards Automating Code Review Activities · Rosalia Tufano, Luca Pascarella, Michele Tufano, Denys Poshyvanyk, Gabriele Bavota
  126. Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap · Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand
  127. Traceability Transformed: Generating more Accurate Links with Pre-Trained BERT Models · Jinfeng Lin, Yalin Liu, Qingkai Zeng, Meng Jiang, Jane Cleland-Huang
  128. Understanding Bounding Functions in Safety-Critical UAV Software · Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu
  129. Unrealizable Cores for Reactive Systems Specifications · Shahar Maoz, Rafi Shalom
  130. Using Domain-specific Corpora for Improved Handling of Ambiguity in Requirements · Saad Ezzini, Sallam Abualhaija, Chetan Arora, Mehrdad Sabetzadeh, Lionel C. Briand
  131. Verifying Determinism in Sequential Programs · Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst
  132. We'll Fix It in Post: What Do Bug Fixes in Video Game Update Notes Tell Us? · Andrew Truelove, Eduardo Santana de Almeida, Iftekhar Ahmed
  133. What Makes a Great Maintainer of Open Source Projects? · Edson Dias, Paulo Meirelles, Fernando Castor, Igor Steinmacher, Igor Wiese, Gustavo Pinto
  134. What helped, and what did not? An Evaluation of the Strategies to Improve Continuous Integration · Xianhao Jin, Francisco Servant
  135. White-Box Analysis over Machine Learning: Modeling Performance of Configurable Systems · Miguel Velez, Pooyan Jamshidi, Norbert Siegmund, Sven Apel, Christian Kästner
  136. White-Box Performance-Influence Models: A Profiling and Learning Approach · Max Weber, Sven Apel, Norbert Siegmund
  137. Why Don't Developers Detect Improper Input Validation? '; DROP TABLE Papers; - · Larissa Braz, Enrico Fregnan, Gül Çalikli, Alberto Bacchelli
  138. Why Security Defects Go Unnoticed during Code Reviews? A Case-Control Study of the Chromium OS Project · Rajshakhar Paul, Asif Kamal Turzo, Amiangshu Bosu