activity
20172024
most citedSequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair

397 citations · 1.8k across the 51 of their papers we have counts for

collaborators
Showing 2023Show all

9 papers · 1 filter

cs.SE2023★ 59 cited

BOMs Away! Inside the Minds of Stakeholders: A Comprehensive Study of Bills of Materials for Software Systems

Trevor Stalnaker, Nathan Wintersgill, Oscar Chaparro +3

Software Bills of Materials (SBOMs) have emerged as tools to facilitate the management of software dependencies, vulnerabilities, licenses, and the supply chain. While significant…

cs.SE2023★ 1 cited

Benchmarking Causal Study to Interpret Large Language Models for Source Code

Daniel Rodriguez-Cardenas, David N. Palacio, Dipin Khati +2

One of the most common solutions adopted by software researchers to address code generation is by training Large Language Models (LLMs) on massive amounts of source code. Although…

cs.CR2023★ 2 cited

Helion: Enabling Natural Testing of Smart Homes

Prianka Mandal, Sunil Manandhar, Kaushal Kafle +3

Prior work has developed numerous systems that test the security and safety of smart homes. For these systems to be applicable in practice, it is necessary to test them with realis…

cs.SE2023★ 2 cited

Evaluating and Explaining Large Language Models for Code Using Syntactic Structures

David N Palacio, Alejandro Velasco, Daniel Rodriguez-Cardenas +2

Large Language Models (LLMs) for code are a family of high-parameter, transformer-based neural networks pre-trained on massive datasets of both natural and programming languages. T…

cs.CR2023★ 32 cited

"False negative -- that one is going to kill you": Understanding Industry Perspectives of Static Analysis based Security Testing

Amit Seal Ami, Kevin Moran, Denys Poshyvanyk +1

The demand for automated security analysis techniques, such as static analysis based security testing (SAST) tools continues to increase. To develop SASTs that are effectively leve…

cs.SE2023

BURT: A Chatbot for Interactive Bug Reporting

Yang Song, Junayed Mahmud, Nadeeshan De Silva +5

This paper introduces BURT, a web-based chatbot for interactive reporting of Android app bugs. BURT is designed to assist Android app end-users in reporting high-quality defect inf…

cs.SE2023★ 13 cited

Toward a Theory of Causation for Interpreting Neural Code Models

David N. Palacio, Alejandro Velasco, Nathan Cooper +3

Neural Language Models of Code, or Neural Code Models (NCMs), are rapidly progressing from research prototypes to commercial developer tools. As such, understanding the capabilitie…

cs.SE2023★ 12 cited

An Empirical Investigation into the Use of Image Captioning for Automated Software Documentation

Kevin Moran, Ali Yachnes, George Purnell +5

Existing automated techniques for software documentation typically attempt to reason between two main sources of information: code and natural language. However, this reasoning pro…

cs.SE2023

Translating Video Recordings of Complex Mobile App UI Gestures into Replayable Scenarios

Carlos Bernal-Cárdenas, Nathan Cooper, Madeleine Havranek +4

Screen recordings of mobile applications are easy to obtain and capture a wealth of information pertinent to software developers (e.g., bugs or feature requests), making them a pop…