Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID45th ICSE (SEIP) 2023: Melbourne, Australia
- 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, SEIP@ICSE 2023, Melbourne, Australia, May 14-20, 2023. IEEE 2023, ISBN 979-8-3503-0037-6
- A. Finn Hackett, Joshua Rowe, Markus Alexander Kuppe:
Understanding Inconsistency in Azure Cosmos DB with TLA+. 1-12 - Guido Chari, Brandon Sheffer, S. R. K. Branavan, Nicolás D'Ippolito:
Scaling Web API Integrations. 13-23 - Jianfei Zhou, Tianxing Jiang, Haijun Wang, Meng Wu, Ting Chen:
DAppHunter: Identifying Inconsistent Behaviors of Blockchain-based Decentralized Applications. 24-35 - Martijn van Meerten, Burcu Kulahcioglu Ozkan
, Annibale Panichella:
Evolutionary Approach for Concurrency Testing of Ripple Blockchain Consensus Algorithm. 36-47 - Bianca Trinkenreich, Klaas-Jan Stol, Igor Steinmacher, Marco Aurélio Gerosa, Anita Sarma, Marcelo Lara, Michael Feathers, Nicholas Ross, Kevin Bishop:
A Model for Understanding and Reducing Developer Burnout. 48-60 - Qin Jia, Yuanfang Cai, Onur C. Çakmak:
A Model-based, Quality Attribute-guided Architecture Re-Design Process at Google. 61-73 - Yan Zhou, Jinfu Chen, Yong Shi, Boyuan Chen, Zhen Ming Jack Jiang:
An Empirical Comparison on the Results of Different Clone Detection Setups for C-based Projects. 74-86 - Mingrui Zhang, Chijin Zhou, Jianzhong Liu, Mingzhe Wang, Jie Liang, Juan Zhu, Yu Jiang:
Daisy: Effective Fuzz Driver Synthesis with Object Usage Sequence Analysis. 87-98 - Dong Jae Kim, Steven Locke, Tse-Hsun Peter Chen, Andrei Toma, Steve Sporea, Laura Weinkam, Sarah Sajedi:
Challenges in Adopting Artificial Intelligence Based User Input Verification Framework in Reporting Software Systems. 99-109 - Zexin Zhong, Jiangchao Liu, Diyu Wu, Peng Di, Yulei Sui, Alex X. Liu, John C. S. Lui:
Scalable Compositional Static Taint Analysis for Sensitive Data Tracing on Industrial Micro-Services. 110-121 - Shreshth Tuli, Kinga Bojarczuk, Natalija Gucevska, Mark Harman, Xiao-Yu Wang, Graham Wright:
Simulation-Driven Automated End-to-End Test and Oracle Inference. 122-133 - Mariam Barry, Albert Bifet, Jean-Luc Billy:
StreamAI: Dealing with Challenges of Continual Learning Systems for Serving AI in Production. 134-137 - Liqun Li, Xu Zhang, Shilin He, Yu Kang, Hongyu Zhang, Minghua Ma, Yingnong Dang, Zhangwei Xu, Saravan Rajmohan, Qingwei Lin, Dongmei Zhang:
CONAN: Diagnosing Batch Failures for Cloud Systems. 138-149 - Goran Petrovic, Marko Ivankovic, Gordon Fraser, René Just:
Please fix this mutant: How do developers resolve mutants surfaced during code review? 150-161 - Jiyang Zhang, Chandra Shekhar Maddila, Ram Bairi, Christian Bird, Ujjwal Raizada, Apoorva Agrawal, Yamini Jhawar, Kim Herzig, Arie van Deursen:
Using Large-scale Heterogeneous Graph Representation Learning for Code Review Recommendations at Microsoft. 162-172 - Xiongfei Wu, Jiaming Ye, Ke Chen, Xiaofei Xie, Yujing Hu, Ruochen Huang, Lei Ma, Jianjun Zhao:
Widget Detection-based Testing for Industrial Mobile Games. 173-184 - Priyan Vaithilingam, Elena L. Glassman, Peter Groenwegen, Sumit Gulwani, Austin Z. Henley, Rohan Malpani, David Pugh, Arjun Radhakrishna, Gustavo Soares, Joey Wang, Aaron Yim:
Towards More Effective AI-Assisted Programming: A Systematic Design Exploration to Improve Visual Studio IntelliCode's User Experience. 185-195 - Lili Tao, Alexandru-Petre Cazan, Senad Ibraimoski, Sean J. Moran:
Code Librarian: A Software Package Recommendation System. 196-198 - Asha Rajbhoj, Padmalata Nistala, Vinay Kulkarni, Shivani Soni, Ajim Pathan:
DocToModel: Automated Authoring of Models from Diverse Requirements Specification Documents. 199-210 - Dan Port, William Taber, LiGuo Huang:
Investigating a NASA Cyclomatic Complexity Policy on Maintenance Risk of a Critical System. 211-221 - Xiaohan Yan, Ken Hsieh, Yasitha Liyanage, Minghua Ma, Murali Chintalapati, Qingwei Lin, Yingnong Dang, Dongmei Zhang:
Aegis: Attribution of Control Plane Change Impact across Layers and Components for Cloud Systems. 222-233 - Yifan Wu, Bingxu Chai, Ying Li, Bingchang Liu, Jianguo Li, Yong Yang, Wei Jiang:
An Empirical Study on Change-induced Incidents of Online Service Systems. 234-245 - Luciano Marchezan, Wesley K. G. Assunção, Edvin Herac, Felix Keplinger, Alexander Egyed, Christophe Lauwerys:
Fulfilling Industrial Needs for Consistency Among Engineering Artifacts. 246-257 - Zhengran Zeng, Yuqun Zhang, Yong Xu, Minghua Ma, Bo Qiao, Wentao Zou, Qingjun Chen, Meng Zhang, Xu Zhang, Hongyu Zhang, Xuedong Gao, Hao Fan, Saravan Rajmohan, Qingwei Lin, Dongmei Zhang:
TraceArk: Towards Actionable Performance Anomaly Alerting for Online Service Systems. 258-269 - Rijnard van Tonder:
You Don't Know Search: Helping Users Find Code by Automatically Evaluating Alternative Queries. 270-280 - Shih-Yuan Yu, Yonatan Gizachew Achamyeleh, Chonghan Wang, Anton Kocheturov, Patrick Eisen, Mohammad Abdullah Al Faruque:
CFG2VEC: Hierarchical Graph Neural Network for Cross-Architectural Software Reverse Engineering. 281-291 - Nusrat Zahan, Shohanuzzaman Shohan, Dan Harris, Laurie A. Williams:
Do Software Security Practices Yield Fewer Vulnerabilities? 292-303 - Aleksander Fabijan, Pavel A. Dmitriev, Benjamin Arai, Andy Drake, Sebastian Kohlmeier, April Kwong:
A/B Integrations: 7 Lessons Learned from Enabling A/B testing as a Product Feature. 304-314 - Linghui Luo, Rajdeep Mukherjee, Omer Tripp, Martin Schäf, Qiang Zhou, Daniel Sanchez:
Long-term Static Analysis Rule Quality Monitoring Using True Negatives. 315-326 - Sedick Baker Effendi, Berk Çirisci, Rajdeep Mukherjee, Hoan Anh Nguyen, Omer Tripp:
A Language-agnostic Framework for Mining Static Analysis Rules from Code Changes. 327-339 - Quoc-Sang Phan, KimHao Nguyen, ThanhVu Nguyen:
The Challenges of Shift Left Static Analysis. 340-342 - Ming Yan, Junjie Chen, Hangyu Mao, Jiajun Jiang, Jianye Hao, Xingjian Li, Zhao Tian, Zhichao Chen, Dong Li, Zhangkong Xian, Yanwei Guo, Wulong Liu, Bin Wang, Yuefeng Sun, Yongshun Cui:
Achieving Last-Mile Functional Coverage in Testing Chip Design Software Implementations. 343-354 - Adalberto R. Sampaio, Ivan Beschastnikh, Daryl Maier, Don Bourne, Vijay Sundaresan:
Auto-tuning elastic applications in production. 355-367 - Yanjie Gao, Xianyu Gu, Hongyu Zhang, Haoxiang Lin, Mao Yang:
Runtime Performance Prediction for Deep Learning Models with Graph Neural Network. 368-380 - Gunnar Kudrjavets, Ayushi Rastogi, Jeff Thomas, Nachiappan Nagappan:
Who Ate My Memory? Towards Attribution in Memory Management. 381-383 - Fozail Ahmad, Maruthi Rangappa, Neeraj Katiyar, Martin Staniszewski, Dániel Varró:
Hybrid Cloudification of Legacy Software for Efficient Simulation of Gas Turbine Designs. 384-395 - Pablo Valle, Aitor Arrieta, Maite Arratibel:
Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms. 396-408 - Brittany Johnson, Christian Bird, Denae Ford, Nicole Forsgren, Thomas Zimmermann:
Make Your Tools Sparkle with Trust: The PICSE Framework for Trust in Software Tools. 409-419 - Yoji Imanishi, Kazuhiro Kumon, Shuji Morisaki:
Identifying Defect Injection Risks from Analysis and Design Diagrams: An Industrial Case Study at Sony. 420-431 - Manish Motwani, Yuriy Brun:
Understanding Why and Predicting When Developers Adhere to Code-Quality Standards. 432-444 - Neela Sawant, Srinivasan H. Sengamedu:
Code Compliance Assessment as a Learning Problem. 445-454 - Yanjie Gao, Xiaoxiang Shi, Haoxiang Lin, Hongyu Zhang, Hao Wu, Rui Li, Mao Yang:
An Empirical Study on Quality Issues of Deep Learning Platform. 455-466 - Alisa Arno, Futoshi Iwama, Mikio Takeuchi:
Automated Metamorphic Testing using Transitive Relations for Specializing Stance Detection Models. 467-470 - Zelin Zhao, Xizao Wang, Zhaogui Xu, Zhenhao Tang, Yongchao Li, Peng Di:
Incremental Call Graph Construction in Industrial Practice. 471-482 - Elson Kurian, Pietro Braione, Daniela Briola, Dario D'Avino, Matteo Modonato, Giovanni Denaro:
Automated Test Case Generation for Safety-Critical Software in Scade. 483-494 - Xing Cui, Jingzheng Wu, Yanjun Wu, Xu Wang, Tianyue Luo, Sheng Qu, Xiang Ling, Mutian Yang:
An Empirical Study of License Conflict in Free and Open Source Software. 495-505
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-26 18:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
