output
20022026
most citedDeep Isolation Forest for Anomaly Detection

541 citations

Showing 2024 · cs.SEShow all

22 papers · 2 filters

cs.SE2024★ 3 cited

Bot-Driven Development: From Simple Automation to Autonomous Software Development Bots

Christoph Treude, Christopher M. Poskitt

As software development increasingly adopts automation, bot-driven development (BotDD) represents a transformative shift where bots assume proactive roles in coding, testing, and p…

cs.SE2024★ 2 cited

How do Machine Learning Models Change?

Joel Castaño, Rafael Cabañas, Antonio Salmerón +2

The proliferation of Machine Learning (ML) models and their open-source implementations has transformed Artificial Intelligence research and applications. Platforms like Hugging Fa…

cs.SE2024★ 3 cited

Interaction2Code: Benchmarking MLLM-based Interactive Webpage Code Generation from Interactive Prototyping

Jingyu Xiao, Yuxuan Wan, Yintong Huo +6

Multimodal Large Language Models (MLLMs) have demonstrated remarkable performance on the design-to-code task, i.e., generating UI code from UI mock-ups. However, existing benchmark…

cs.SE2024★ 3 cited

B4: Towards Optimal Assessment of Plausible Code Solutions with Plausible Tests

Mouxiang Chen, Zhongxin Liu, He Tao +4

Selecting the best code solution from multiple generated ones is an essential task in code generation, which can be achieved by using some reliable validators (e.g., developer-writ…

cs.SE2024★ 9 cited

Nigerian Software Engineer or American Data Scientist? GitHub Profile Recruitment Bias in Large Language Models

Takashi Nakano, Kazumasa Shimari, Raula Gaikovina Kula +3

Large Language Models (LLMs) have taken the world by storm, demonstrating their ability not only to automate tedious tasks, but also to show some degree of proficiency in completin…

cs.SE2024★ 5 cited

GUI Test Migration via Abstraction and Concretization

Yakun Zhang, Chen Liu, Xiaofei Xie +4

GUI test migration aims to produce test cases with events and assertions to test specific functionalities of a target app. Existing migration approaches typically focus on the widg…

cs.SE2024★ 7 cited

An Empirical Study of API Misuses of Data-Centric Libraries

Akalanka Galappaththi, Sarah Nadi, Christoph Treude

Developers rely on third-party library Application Programming Interfaces (APIs) when developing software. However, libraries typically come with assumptions and API usage constrai…

cs.SE2024★ 6 cited

LogUpdater: Automated Detection and Repair of Specific Defects in Logging Statements

Renyi Zhong, Yichen Li, Jinxi Kuang +3

Developers use logging statements to track software runtime behaviors and system status. Yet, unclear or misleading logs can hide true execution patterns and hinder software mainte…

cs.SE2024★ 29 cited

Formalizing UML State Machines for Automated Verification -- A Survey

Étienne André, Shuang Liu, Yang Liu +3

The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML behavioral state machines are used for modeling the dynamic behavior of object-oriented designs.…

cs.SE2024★ 16 cited

Automatically Generating UI Code from Screenshot: A Divide-and-Conquer-Based Approach

Yuxuan Wan, Chaozheng Wang, Yi Dong +4

Websites are critical in today's digital world, with over 1.11 billion currently active and approximately 252,000 new sites launched daily. Converting website layout design into fu…

cs.SE2024★ 3 cited

Prioritising GitHub Priority Labels

James Caddy, Christoph Treude

Communities on GitHub often use issue labels as a way of triaging issues by assigning them priority ratings based on how urgently they should be addressed. The labels used are dete…

cs.SE2024★ 55 cited

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation

Ye Liu, Yue Xue, Daoyuan Wu +4

With recent advances in large language models (LLMs), this paper explores the potential of leveraging state-of-the-art LLMs,such as GPT-4, to transfer existing human-written proper…

cs.SE2024★ 15 cited

FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion

Qi Guo, Xiaohong Li, Xiaofei Xie +6

The rise of code pre-trained models has significantly enhanced various coding tasks, such as code completion, and tools like GitHub Copilot. However, the substantial size of these…

cs.SE2024★ 1 cited

Creative and Correct: Requesting Diverse Code Solutions from AI Foundation Models

Scott Blyth, Markus Wagner, Christoph Treude

AI foundation models have the capability to produce a wide array of responses to a single prompt, a feature that is highly beneficial in software engineering to generate diverse co…

cs.SE2024★ 22 cited

ContrastRepair: Enhancing Conversation-Based Automated Program Repair via Contrastive Test Case Pairs

Jiaolong Kong, Mingfei Cheng, Xiaofei Xie +3

Automated Program Repair (APR) aims to automatically generate patches for rectifying software bugs. Recent strides in Large Language Models (LLM), such as ChatGPT, have yielded enc…

cs.SE2024★ 25 cited

Generative AI for Pull Request Descriptions: Adoption, Impact, and Developer Interventions

Tao Xiao, Hideaki Hata, Christoph Treude +1

GitHub's Copilot for Pull Requests (PRs) is a promising service aiming to automate various developer tasks related to PRs, such as generating summaries of changes or providing comp…

cs.SE2024★ 11 cited

Improving Automated Code Reviews: Learning from Experience

Hong Yi Lin, Patanamon Thongtanunam, Christoph Treude +1

Modern code review is a critical quality assurance process that is widely adopted in both industry and open source software environments. This process can help newcomers learn from…

cs.SE2024★ 3 cited

Encoding Version History Context for Better Code Representation

Huy Nguyen, Christoph Treude, Patanamon Thongtanunam

With the exponential growth of AI tools that generate source code, understanding software has become crucial. When developers comprehend a program, they may refer to additional con…

cs.SE2024★ 135 cited

BugsInPy: A Database of Existing Bugs in Python Programs to Enable Controlled Testing and Debugging Studies

Ratnadira Widyasari, Sheng Qin Sim, Camellia Lok +13

The 2019 edition of Stack Overflow developer survey highlights that, for the first time, Python outperformed Java in terms of popularity. The gap between Python and Java further wi…

cs.SE2024★ 13 cited

ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings

Huijia Sun, Christopher M. Poskitt, Yang Sun +2

The rapid progress of autonomous vehicles~(AVs) has brought the prospect of a driverless future closer than ever. Recent fatalities, however, have emphasized the importance of safe…

cs.SE2024★ 7 cited

REDriver: Runtime Enforcement for Autonomous Vehicles

Yang Sun, Christopher M. Poskitt, Xiaodong Zhang +1

Autonomous driving systems (ADSs) integrate sensing, perception, drive control, and several other critical tasks in autonomous vehicles, motivating research into techniques for ass…

cs.SE2024★ 8 cited

Fixing Your Own Smells: Adding a Mistake-Based Familiarisation Step When Teaching Code Refactoring

Ivan Tan, Christopher M. Poskitt

Programming problems can be solved in a multitude of functionally correct ways, but the quality of these solutions (e.g. readability, maintainability) can vary immensely. When code…