Table of Contents

• Understanding Inconsistency in Azure Cosmos DB with TLA+A. Finn Hackett, Joshua Rowe, Markus Alexander Kuppe. 1-12 [doi]
• Scaling Web API IntegrationsGuido Chari, Brandon Sheffer, S. R. K. Branavan, Nicolás D'Ippolito. 13-23 [doi]
• DAppHunter: Identifying Inconsistent Behaviors of Blockchain-based Decentralized ApplicationsJianfei Zhou, Tianxing Jiang, Haijun Wang, Meng Wu, Ting Chen 0002. 24-35 [doi]
• Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus AlgorithmMartijn van Meerten, Burcu Kulahcioglu Ozkan, Annibale Panichella. 36-47 [doi]
• A Model for Understanding and Reducing Developer BurnoutBianca Trinkenreich, Klaas-Jan Stol, Igor Steinmacher, Marco Aurélio Gerosa, Anita Sarma, Marcelo Lara, Michael Feathers, Nicholas Ross, Kevin Bishop. 48-60 [doi]
• A Model-based, Quality Attribute-guided Architecture Re-Design Process at GoogleQin Jia, Yuanfang Cai, Onur C. Çakmak. 61-73 [doi]
• An Empirical Comparison on the Results of Different Clone Detection Setups for C-based ProjectsYan Zhou, Jinfu Chen, Yong Shi 0010, Boyuan Chen 0002, Zhen Ming Jack Jiang. 74-86 [doi]
• Daisy: Effective Fuzz Driver Synthesis with Object Usage Sequence AnalysisMingrui Zhang, Chijin Zhou, Jianzhong Liu, Mingzhe Wang, Jie Liang, Juan Zhu, Yu Jiang 0001. 87-98 [doi]
• Challenges in Adopting Artificial Intelligence Based User Input Verification Framework in Reporting Software SystemsDong Jae Kim, Steven Locke, Tse-Hsun Peter Chen, Andrei Toma, Steve Sporea, Laura Weinkam, Sarah Sajedi. 99-109 [doi]
• Scalable Compositional Static Taint Analysis for Sensitive Data Tracing on Industrial Micro-ServicesZexin Zhong, Jiangchao Liu, Diyu Wu, Peng Di, Yulei Sui, Alex X. Liu, John C. S. Lui. 110-121 [doi]
• Simulation-Driven Automated End-to-End Test and Oracle InferenceShreshth Tuli, Kinga Bojarczuk, Natalija Gucevska, Mark Harman, Xiao-yu Wang, Graham Wright. 122-133 [doi]
• StreamAI: Dealing with Challenges of Continual Learning Systems for Serving AI in ProductionMariam Barry, Albert Bifet, Jean-Luc Billy. 134-137 [doi]
• CONAN: Diagnosing Batch Failures for Cloud SystemsLiqun Li, Xu Zhang, Shilin He, Yu Kang, Hongyu Zhang 0002, Minghua Ma, Yingnong Dang, Zhangwei Xu, Saravan Rajmohan, Qingwei Lin, Dongmei Zhang 0001. 138-149 [doi]
• Please fix this mutant: How do developers resolve mutants surfaced during code review?Goran Petrovic, Marko Ivankovic, Gordon Fraser 0001, René Just. 150-161 [doi]
• Using Large-scale Heterogeneous Graph Representation Learning for Code Review Recommendations at MicrosoftJiyang Zhang, Chandra Shekhar Maddila, Ram Bairi, Christian Bird, Ujjwal Raizada, Apoorva Agrawal, Yamini Jhawar, Kim Herzig, Arie van Deursen. 162-172 [doi]
• Widget Detection-based Testing for Industrial Mobile GamesXiongfei Wu, Jiaming Ye, Ke Chen, Xiaofei Xie, Yujing Hu, Ruochen Huang, Lei Ma 0003, Jianjun Zhao 0001. 173-184 [doi]
• Towards More Effective AI-Assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode's User ExperiencePriyan Vaithilingam, Elena L. Glassman, Peter Groenwegen, Sumit Gulwani, Austin Z. Henley, Rohan Malpani, David Pugh, Arjun Radhakrishna, Gustavo Soares, Joey Wang, Aaron Yim. 185-195 [doi]
• Code Librarian: A Software Package Recommendation SystemLili Tao, Alexandru-Petre Cazan, Senad Ibraimoski, Sean J. Moran. 196-198 [doi]
• DocToModel: Automated Authoring of Models from Diverse Requirements Specification DocumentsAsha Rajbhoj, Padmalata Nistala, Vinay Kulkarni, Shivani Soni, Ajim Pathan. 199-210 [doi]
• Investigating a NASA Cyclomatic Complexity Policy on Maintenance Risk of a Critical SystemDan Port, William Taber, LiQuo Huang. 211-221 [doi]
• Aegis: Attribution of Control Plane Change Impact across Layers and Components for Cloud SystemsXiaohan Yan, Ken Hsieh, Yasitha Liyanage, Minghua Ma, Murali Chintalapati, Qingwei Lin, Yingnong Dang, Dongmei Zhang 0001. 222-233 [doi]
• An Empirical Study on Change-induced Incidents of Online Service SystemsYifan Wu, Bingxu Chai, Ying Li, Bingchang Liu, Jianguo Li, Yong Yang, Wei Jiang. 234-245 [doi]
• Fulfilling Industrial Needs for Consistency Among Engineering ArtifactsLuciano Marchezan, Wesley K. G. Assunção, Edvin Herac, Felix Keplinger, Alexander Egyed, Christophe Lauwerys. 246-257 [doi]
• TraceArk: Towards Actionable Performance Anomaly Alerting for Online Service SystemsZhengran Zeng, Yuqun Zhang, Yong Xu, Minghua Ma, Bo Qiao 0001, Wentao Zou, Qingjun Chen, Meng Zhang, Xu Zhang, Hongyu Zhang 0002, Xuedong Gao, Hao Fan, Saravan Rajmohan, Qingwei Lin, Dongmei Zhang 0001. 258-269 [doi]
• You Don't Know Search: Helping Users Find Code by Automatically Evaluating Alternative QueriesRijnard van Tonder. 270-280 [doi]
• CFG2VEC: Hierarchical Graph Neural Network for Cross-Architectural Software Reverse EngineeringShih-Yuan Yu, Yonatan Gizachew Achamyeleh, Chonghan Wang, Anton Kocheturov, Patrick Eisen, Mohammad Abdullah Al Faruque. 281-291 [doi]
• Do Software Security Practices Yield Fewer Vulnerabilities?Nusrat Zahan, Shohanuzzaman Shohan, Dan Harris, Laurie A. Williams. 292-303 [doi]
• A/B Integrations: 7 Lessons Learned from Enabling A/B testing as a Product FeatureAleksander Fabijan, Pavel A. Dmitriev, Benjamin Arai, Andy Drake, Sebastian Kohlmeier, April Kwong. 304-314 [doi]
• Long-term Static Analysis Rule Quality Monitoring Using True NegativesLinghui Luo, Rajdeep Mukherjee, Omer Tripp, Martin Schäf, Qiang Zhou, Daniel Sanchez. 315-326 [doi]
• A Language-agnostic Framework for Mining Static Analysis Rules from Code ChangesSedick Baker Effendi, Berk Çirisci, Rajdeep Mukherjee, Hoan Anh Nguyen, Omer Tripp. 327-339 [doi]
• The Challenges of Shift Left Static AnalysisQuoc-Sang Phan, KimHao Nguyen, ThanhVu Nguyen. 340-342 [doi]
• Achieving Last-Mile Functional Coverage in Testing Chip Design Software ImplementationsMing Yan, Junjie Chen 0003, Hangyu Mao, Jiajun Jiang, Jianye Hao, Xingjian Li, Zhao Tian, Zhichao Chen, Dong Li 0030, Zhangkong Xian, Yanwei Guo, Wulong Liu, Bin Wang, Yuefeng Sun, Yongshun Cui. 343-354 [doi]
• Auto-tuning elastic applications in productionAdalberto R. Sampaio, Ivan Beschastnikh, Daryl Maier, Don Bourne, Vijay Sundaresen. 355-367 [doi]
• Runtime Performance Prediction for Deep Learning Models with Graph Neural NetworkYanjie Gao, Xianyu Gu, Hongyu Zhang 0002, Haoxiang Lin, Mao Yang. 368-380 [doi]
• Who Ate My Memory? Towards Attribution in Memory ManagementGunnar Kudrjavets, Ayushi Rastogi, Jeff Thomas, Nachiappan Nagappan. 381-383 [doi]
• Hybrid Cloudification of Legacy Software for Efficient Simulation of Gas Turbine DesignsFozail Ahmad, Maruthi Rangappa, Neeraj Katiyar, Martin Staniszewski, Dániel Varró. 384-395 [doi]
• Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching AlgorithmsPablo Valle, Aitor Arrieta, Maite Arratibel. 396-408 [doi]
• Make Your Tools Sparkle with Trust: The PICSE Framework for Trust in Software ToolsBrittany Johnson, Christian Bird, Denae Ford, Nicole Forsgren, Thomas Zimmermann 0001. 409-419 [doi]
• Identifying Defect Injection Risks from Analysis and Design Diagrams: An Industrial Case Study at SonyYoji Imanishi, Kazuhiro Kumon, Shuji Morisaki. 420-431 [doi]
• Understanding Why and Predicting When Developers Adhere to Code-Quality StandardsManish Motwani, Yuriy Brun. 432-444 [doi]
• Code Compliance Assessment as a Learning ProblemNeela Sawant, Srinivasan H. Sengamedu. 445-454 [doi]
• An Empirical Study on Quality Issues of Deep Learning PlatformYanjie Gao, Xiaoxiang Shi, Haoxiang Lin, Hongyu Zhang 0002, Hao Wu, Rui Li, Mao Yang. 455-466 [doi]
• Automated Metamorphic Testing using Transitive Relations for Specializing Stance Detection ModelsAlisa Arno, Futoshi Iwama, Mikio Takeuchi. 467-470 [doi]
• Incremental Call Graph Construction in Industrial PracticeZelin Zhao, Xizao Wang, Zhaogui Xu, Zhenhao Tang, Yongchao Li, Peng Di. 471-482 [doi]
• Automated Test Case Generation for Safety-Critical Software in ScadeElson Kurian, Pietro Braione, Daniela Briola, Dario D'Avino, Matteo Modonato, Giovanni Denaro. 483-494 [doi]
• An Empirical Study of License Conflict in Free and Open Source SoftwareXing Cui, JingZheng Wu, Yanjun Wu, Xu Wang, Tianyue Luo, Sheng Qu, Xiang Ling, Mutian Yang. 495-505 [doi]