default search action
45th 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
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
Rexstepper: a Reference Debugger for JavaScript Regular Expressions. 41-45 - Joshua Behler, Praxis Weston, Drew T. Guarnera, Bonita Sharif
iTrace-Toolkit: A Pipeline for Analyzing Eye-Tracking Data of Software Engineering Studies. 46-50 - Yanqi Su, Zheming Han
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
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
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
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
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
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
pytest-inline: An Inline Testing Tool for Python. 161-164 - Enrico Viganò, Oscar Cornejo, Fabrizio Pastore
DaMAT: A Data-driven Mutation Analysis Tool. 165-169 - Yang Song, Junayed Mahmud, Nadeeshan De Silva, Ying Zhou, Oscar Chaparro
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
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
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
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
Prioritizing Industrial Security Findings in Agile Software Development Projects. 375-379 - Dmitry Ivanov, Alexey Babushkin, Saveliy Grigoryev, Pavel Iatchenii, Vladislav Kalugin
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
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-12-17 20:47 CET 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: