55 citations · 113 across the 11 of their papers we have counts for
11 papers · 1 filter
Commenting with Copilot: A Taxonomy and Multi-Year Analysis of Student Code-Generation Specifications
Nasser Giacaman, Valerio Terragni, Paul Denny +1
As AI code tools become integrated into programming environments, students increasingly describe intended behavior in natural language and rely on these tools to generate code, shi…
An Evaluation of Role-Based Multi-Agent Code Generation on Repository-Scale Problems
Benedetta Donato, Noah Hagar-Dent, Aaron Worsnop +2
Role-based multiagent code generation aims to make LLMs more effective on repository-scale problems, moving beyond small programming tasks. We evaluate this approach on 12 Java rep…
Adoption and Evolution of Code Style and Best Programming Practices in Open-Source Projects
Alvari Kupari, Nasser Giacaman, Valerio Terragni
Following code style conventions in software projects is essential for maintaining overall code quality. Adhering to these conventions improves maintainability, understandability,…
LSPFuzz: Hunting Bugs in Language Servers
Hengcheng Zhu, Songqiang Chen, Valerio Terragni +4
The Language Server Protocol (LSP) has revolutionized the integration of code intelligence in modern software development. There are approximately 300 LSP server implementations fo…
Understanding and Characterizing Mock Assertions in Unit Tests
Hengcheng Zhu, Valerio Terragni, Lili Wei +3
Mock assertions provide developers with a powerful means to validate program behaviors that are unobservable to test assertions. Despite their significance, they are rarely conside…
Automated Trustworthiness Oracle Generation for Machine Learning Text Classifiers
Lam Nguyen Tung, Steven Cho, Xiaoning Du +4
Machine learning (ML) for text classification has been widely used in various domains. These applications can significantly impact ethics, economics, and human behavior, raising se…
MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing
Congying Xu, Songqiang Chen, Jiarong Wu +4
While a recent study reveals that many developer-written test cases can encode a reusable Metamorphic Relation (MR), over 70% of them directly hard-code the source input and follow…
The Future of AI-Driven Software Engineering
Valerio Terragni, Annie Vella, Partha Roop +1
A paradigm shift is underway in Software Engineering, with AI systems such as LLMs playing an increasingly important role in boosting software development productivity. This trend…
GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming
Jon Ayerdi, Valerio Terragni, Gunel Jahangirova +2
Metamorphic testing is a popular approach that aims to alleviate the oracle problem in software testing. At the core of this approach are Metamorphic Relations (MRs), specifying pr…
StubCoder: Automated Generation and Repair of Stub Code for Mock Objects
Hengcheng Zhu, Lili Wei, Valerio Terragni +6
Mocking is an essential unit testing technique for isolating the class under test (CUT) from its dependencies. Developers often leverage mocking frameworks to develop stub code tha…
MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases
Congying Xu, Valerio Terragni, Hengcheng Zhu +2
Metamorphic Testing (MT) alleviates the oracle problem by defining oracles based on metamorphic relations (MRs), that govern multiple related inputs and their outputs. However, des…