Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID45th ICSE 2023: Melbourne, Australia - Companion Proceedings
- 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, Melbourne, Australia, May 14-20, 2023. IEEE 2023, ISBN 979-8-3503-2263-7
- Qing Huang, Jiahui Zhu, Zhilong Li, Zhenchang Xing, Changjing Wang, Xiwei Xu:
PCR-Chain: Partial Code Reuse Assisted by Hierarchical Chaining of Prompts on Frozen Copilot. 1-5 - Zhiqiang Zang, Fu-Yao Yu, Nathan Wiatrek, Milos Gligoric, August Shi:
JATTACK: Java JIT Testing using Template Programs. 6-10 - Hao-Nan Zhu, Kevin Z. Guan, Robert M. Furth, Cindy Rubio-González:
Actionsremaker: Reproducing GITHUB Actions. 11-15 - Shumao Zhai, Xiaozhou Li, Ning Ge:
HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols. 16-20 - Dirk Beyer, Sudeep Kanav, Henrik Wachowitz:
CoVeriTeam Service: Verification as a Service. 21-25 - Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun:
PRoofster: Automated Formal Verification. 26-30 - Jiashuo Zhang, Yue Li, Jianbo Gao, Zhi Guan, Zhong Chen:
Siguard: Detecting Signature-Related Vulnerabilities in Smart Contracts. 31-35 - Zhen Tian, Yilong Yang, Sheng Cheng:
RM2DM: A Tool for Automatic Generation of OO Design Models from Requirements Models. 36-40 - Luís Almeida, Miguel Gonzaga, José Fragoso Santos, Rui Abreu:
Rexstepper: a Reference Debugger for JavaScript Regular Expressions. 41-45 - Joshua Behler, Praxis Weston, Drew T. Guarnera, Bonita Sharif, Jonathan I. Maletic:
iTrace-Toolkit: A Pipeline for Analyzing Eye-Tracking Data of Software Engineering Studies. 46-50 - Yanqi Su, Zheming Han
, Zhenchang Xing, Xiwei Xu, Liming Zhu, Qinghua Lu:
SoapOperaTG: A Tool for System Knowledge Graph Based Soap Opera Test Generation. 51-54 - Marco Mobilio, Diego Clerissi, Giovanni Denaro, Leonardo Mariani:
GUI Testing to the Power of Parallel Q-Learning. 55-59 - Jiamou Sun, Zhenchang Xing, Qinghua Lu, Xiwei Xu, Liming Zhu:
A Multi-faceted Vulnerability Searching Website Powered by Aspect-level Vulnerability Knowledge Graph. 60-63 - Jialuo Chen, Youcheng Sun, Jingyi Wang, Peng Cheng, Xingjun Ma:
DEEPJUDGE: A Testing Framework for Copyright Protection of Deep Learning Models. 64-67 - Nargiz Humbatova, Gunel Jahangirova, Paolo Tonella:
DeepCrime: from Real Faults to Mutation Testing Tool for Deep Learning. 68-72 - Ridwan Shariffdeen, Martin Mirchev, Yannic Noller, Abhik Roychoudhury:
Cerberus: a Program Repair Framework. 73-77 - Shanto Rahman, Chengpeng Li, August Shi:
TSVD4J: Thread-Safety Violation Detection for Java. 78-82 - Saghar Talebipour, Hyojae Park, Kesina Baral, Leon Yee, Safwat Ali Khan, Kevin Moran, Yuriy Brun, Nenad Medvidovic, Yixue Zhao:
Avgust: A Tool for Generating Usage-Based Tests from Videos of App Executions. 83-87 - Yang Zhang, Xiaosong Chang, Lining Fang, Yifan Lu:
DeepLog: Deep-Learning-Based Log Recommendation. 88-92 - Zhongqi Chen, Neng Zhang, Pengyue Si, Qinde Chen, Chao Liu, Zibin Zheng:
ShellFusion: An Answer Generator for Shell Programming Tasks via Knowledge Fusion. 93-97 - Xidan Song, Youcheng Sun, Mustafa A. Mustafa, Lucas C. Cordeiro:
AIREPAIR: A Repair Platform for Neural Networks. 98-101 - Zejun Zhang, Zhenchang Xing, Xiwei Xu, Liming Zhu:
RIdiom: Automatically Refactoring Non-Idiomatic Python Code with Pythonic Idioms. 102-106 - Austin Hoag, James E. Kostas, Bruno Castro da Silva, Philip S. Thomas, Yuriy Brun:
Seldonian Toolkit: Building Software with Safe and Fair Machine Learning. 107-111 - Wei Teo, Ze Teoh, Dayang Abang Arabi, Morad Aboushadi, Khairenn Lai, Zhe Ng, Aastha Pant, Rashina Hoda, Chakkrit Tantithamthavorn, Burak Turhan:
What Would You do? An Ethical AI Quiz. 112-116 - Yuxin Zhang, Sen Chen, Lingling Fan:
A Web-Based Tool for Using Storyboard of Android Apps. 117-121 - Shuanglong Chang, Juntao Gao, Yilong Yang:
InputGen: A Tool for Automatic Generation of Prototype Inputs to Support Rapid Requirements Validation. 122-126 - Martin Gruber, Gordon Fraser:
FlaPy: Mining Flaky Python Tests at Scale. 127-131 - Chengran Yang, Bowen Xu, Jiakun Liu, David Lo:
TECHSUMBOT: A Stack Overflow Answer Summarization Tool for Technical Query. 132-135 - Rui Yang, Yingying Zheng, Lei Tang, Wensheng Dou, Wei Wang, Jun Wei:
Randomized Differential Testing of RDF Stores. 136-140 - Joel Kuepper, David Wu, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom:
CryptOpt: Automatic Optimization of Straightline Code. 141-145 - Zhongzheng Lai, Dong Yuan, Huaming Chen, Yu Zhang, Wei Bao:
WirelessDT: A Digital Twin Platform for Real- Time Evaluation of Wireless Software Applications. 146-150 - Gustavo Rezende Silva, Nadia Hammoudeh Garcia, Darko Bozhinoski, Harshavardhan Deshpande, Mario Garzon Oviedo, Andrzej Wasowski, Mariano Ramírez Montero, Carlos Hernández Corbato:
MROS: A framework for robot self-adaptation. 151-155 - Yifeng Wang, Yuhang Lin, Zhiyuan Wan, Xiaohu Yang:
Task Context: A Tool for Predicting Code Context Models for Software Development Tasks. 156-160 - Yu Liu, Zachary Thurston, Alan Han, Pengyu Nie, Milos Gligoric, Owolabi Legunsen:
pytest-inline: An Inline Testing Tool for Python. 161-164 - Enrico Viganò, Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand:
DaMAT: A Data-driven Mutation Analysis Tool. 165-169 - Yang Song, Junayed Mahmud, Nadeeshan De Silva, Ying Zhou, Oscar Chaparro, Kevin Moran, Andrian Marcus, Denys Poshyvanyk:
Burt: A Chatbot for Interactive Bug Reporting. 170-174 - Kedi Shen, Yun Zhang, Lingfeng Bao, Zhiyuan Wan, Zhuorong Li, Minghui Wu:
Patchmatch: A Tool for Locating Patches of Open Source Project Vulnerabilities. 175-179 - Weiwei Xu, Xin Wu, Runzhi He, Minghui Zhou:
LicenseRec: Knowledge based Open Source License Recommendation for OSS Projects. 180-183 - Rrezarta Krasniqi:
Detecting Scattered and Tangled Quality Concerns in Source Code to Aid Maintenance and Evolution Tasks. 184-188 - Wachiraphan Charoenwet:
Complementing Secure Code Review with Automated Program Analysis. 189-191 - Rosalia Tufano:
Automating Code Review. 192-196 - Mugdha Khedkar:
Static Analysis for Android GDPR Compliance Assurance. 197-199 - Eileen Kapel:
Incident Prevention Through Reliable Changes Deployment. 200-202 - Lizhi Liao:
Addressing Performance Regressions in DevOps: Can We Escape from System Performance Testing? 203-207 - Michael Fu:
Toward More Effective Deep Learning-based Automated Software Vulnerability Prediction, Classification, and Repair. 208-212 - Raz Yerushalmi:
Enhancing Deep Reinforcement Learning with Executable Specifications. 213-217 - Haoxin Tu:
Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation. 218-220 - Qiaomu Xue:
Automating Code Generation for MDE using Machine Learning. 221-223 - Imam Nur Bani Yusuf:
Towards Automated Embedded Systems Programming. 224-226 - Fabian Stolp:
Assessing Cognitive Load in Software Development with Wearable Sensors. 227-229 - Richárd Szalay:
Towards strengthening software library interfaces with granular and interactive type migrations. 230-234 - Glaucia Melo:
Designing Adaptive Developer-Chatbot Interactions: Context Integration, Experimental Studies, and Levels of Automation. 235-239 - Anamaria Mojica-Hanke:
Towards machine learning guided by best practices. 240-244 - Tural Mammadov:
Learning Program Models from Generated Inputs. 245-247 - Leon Bettscheider:
Learning Test Input Constraints from Branch Conditions. 248-250 - Nusrat Zahan:
Software Supply Chain Risk Assessment Framework. 251-255 - Alessandra Maciel Paz Milani:
A Framework to Communicate Software Engineering Data Effectively with Dashboards. 256-258 - Umamaheswara Sharma Bhutamapuram:
Some Investigations of Machine Learning Models for Software Defects. 259-263 - Chengjie Lu:
Evolutionary Computation and Reinforcement Learning for Cyber-physical System Design. 264-266 - Fengmin Zhu:
Grammar-Based String Refinement Types. 267-269 - Bimpe Ayoola:
Evaluation of Stakeholder Mapping and Personas for Sustainable Software Development. 270-272 - Jaemin Hong:
Improving Automatic C-to-Rust Translation with Static Analysis. 273-277 - Krishna Ronanki:
Towards an AI-centric Requirements Engineering Framework for Trustworthy AI. 278-280 - Abdul Ali Bangash:
Cost-effective Strategies for Building Energy Efficient Mobile Applications. 281-285 - Zishuo Ding:
Towards Utilizing Natural Language Processing Techniques to Assist in Software Engineering Tasks. 286-290 - Fozail Ahmad:
Graph Solver as a Service. 291-293 - S M Hasan Mansur, Kevin Moran:
Toward Automated Tools to Support Ethical GUI Design. 294-298 - Sameela Suharshani Wijesundara:
Domain Specific Languages for Optimisation Modelling. 299-301 - Marius Smytzek:
From Input to Failure: Explaining Program Behavior via Cause-Effect Chains. 302-304 - Zihe H. Zhao:
The Distribution and Disengagement of Women Contributors in Open-Source: 2008-2021. 305-307 - Eli Pregerson:
Path Complexity of Recursive Functions. 308-310 - Fabio Santos:
Skill Recommendation for New Contributors in Open-Source Software. 311-313 - Wenjing Deng:
AIGROW: A Feedback-Driven Test Generation Framework for Hardware Model Checkers. 314-316 - Chengjie Lu:
Test Scenario Generation for Autonomous Driving Systems with Reinforcement Learning. 317-319 - Sungmin Kang, Shin Yoo:
GLAD: Neural Predicate Synthesis to Repair Omission Faults. 320-321 - Sai Sathiesh Rajan, Ezekiel O. Soremekun, Sudipta Chattopadhyay, Yves Le Traon:
Poster: Distribution-aware Fairness Test Generation. 322-323 - Zhensu Sun, Xiaoning Du, Fu Song, Shangwen Wang, Mingze Ni, Li Li:
Don't Complete It! Preventing Unhelpful Code Completion for Productive and Sustainable Neural Code Completion Systems. 324-325 - Alvin Jian Jia Tan, Chun Yong Chong, Aldeida Aleti:
Closing the Loop for Software Remodularisation - REARRANGE: An Effort Estimation Approach for Software Clustering-based Remodularisation. 326-327 - Tingwei Zhu, Zhong Li, Minxue Pan, Chaoxuan Shi, Tian Zhang, Yu Pei, Xuandong Li:
Revisiting Information Retrieval and Deep Learning Approaches for Code Summarization. 328-329 - Chandan Dhal, Xiaoqin Fu, Haipeng Cai:
A Control-Theoretic Approach to Auto-Tuning Dynamic Analysis for Distributed Services. 330-331 - Shaukat Ali, Tao Yue:
Quantum Software Testing: A Brief Introduction. 332-333 - Marc Zeller:
DevCertOps: Strategies to Realize Continuous Delivery of Safe Software in Regulated Domain. 334-335 - Joshua Garcia, Mehdi Mirakhorli, Lu Xiao, Sam Malek, Rick Kazman, Yuanfang Cai, Nenad Medvidovic:
SAIN: A Community-Wide Software Architecture INfrastructure. 336-337 - Miqing Li, Tao Chen:
Methodology and Guidelines for Evaluating Multi-Objective Search-Based Software Engineering. 338-339 - Bonita Sharif, Andrew Begel, Jonathan I. Maletic:
Conducting Eye Tracking Studies in Software Engineering - Methodology and Pipeline. 340-341 - Sridhar Chimalakonda, Debeshee Das, Alex Mathai, Srikanth Tamilselvam, Atul Kumar:
The Landscape of Source Code Representation Learning in AI-Driven Software Engineering Tasks. 342-343 - Rashina Hoda:
Technical Briefing on Socio-Technical Grounded Theory for Qualitative Data Analysis. 344-345 - Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le:
Personalized action suggestions in low-code automation platforms. 346-350 - Ming Ye, Yuanfan Chen, Xin Zhang, Jinning He, Jicheng Cao, Dong Liu, Jing Gao, Hailiang Dai, Shengyu Cheng:
Automated Feature Document Review via Interpretable Deep Learning. 351-354 - Christoph Laaber, Tao Yue, Shaukat Ali, Thomas Schwitalla, Jan F. Nygård:
Challenges of Testing an Evolving Cancer Registration Support System in Practice. 355-359 - Satoshi Munakata, Susumu Tokumoto, Koji Yamamoto, Kazuki Munakata:
Towards Formal Repair and Verification of Industry-scale Deep Neural Networks. 360-364 - Szymon Stradowski, Lech Madeyski:
Can we Knapsack Software Defect Prediction? Nokia 5G Case. 365-369 - Shuai Wang, Nikita Karandikar, Knut Erik Knutsen, Xiao Gang Tony Tong, Tom Edseth, Zealo Xu Zile:
Enhancing Maritime Data Standardization and Integrity using Docker and Blockchain. 370-374 - Markus Voggenreiter, Ulrich Schöpp:
Prioritizing Industrial Security Findings in Agile Software Development Projects. 375-379 - Dmitry Ivanov, Alexey Babushkin, Saveliy Grigoryev, Pavel Iatchenii, Vladislav Kalugin, Egor Kichin, Egor Kulikov, Aleksandr Misonizhnik, Dmitry Mordvinov, Sergey Morozov, Olga Naumenko, Alexey Pleshakov, Pavel Ponomarev, Svetlana Shmidt, Alexey Utkin, Vadim Volodin, Arseniy Volynets:
UnitTestBot: Automated Unit Test Generation for C Code in Integrated Development Environments. 380-384 - Bowie Owens, Geoffrey Lee, Zili Zhu, Thomas Lo:
Challenges of Evolving Legacy Software in a Small Team. 385-387
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:
