activity
20232026
most citedAlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation

17 citations · 23 across the 14 of their papers we have counts for

collaborators
Showing 2024Show all

6 papers · 1 filter

cs.SE2024★ 1 cited

TDD-Bench Verified: Can LLMs Generate Tests for Issues Before They Get Resolved?

Toufique Ahmed, Martin Hirzel, Rangeet Pan +2

Test-driven development (TDD) is the practice of writing tests first and coding later, and the proponents of TDD expound its numerous benefits. For instance, given an issue on a so…

cs.SE2024★ 1 cited

A Multi-Agent Approach for REST API Testing with Semantic Graphs and LLM-Driven Inputs

Myeongsoo Kim, Tyler Stennett, Saurabh Sinha +1

As modern web services increasingly rely on REST APIs, their thorough testing has become crucial. Furthermore, the advent of REST API documentation languages, such as the OpenAPI S…

cs.SE2024

Codellm-Devkit: A Framework for Contextualizing Code LLMs with Program Analysis Insights

Rahul Krishna, Rangeet Pan, Raju Pavuluri +3

Large Language Models for Code (or code LLMs) are increasingly gaining popularity and capabilities, offering a wide array of functionalities such as code completion, code generatio…

cs.SE2024★ 17 cited

AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation

Ali Reza Ibrahimzada, Kaiyao Ke, Mrigank Pawagi +4

Code translation transforms programs from one programming language (PL) to another. Several rule-based transpilers have been designed to automate code translation between different…

cs.SE2024★ 2 cited

ASTER: Natural and Multi-language Unit Test Generation with LLMs

Rangeet Pan, Myeongsoo Kim, Rahul Krishna +2

Implementing automated unit tests is an important but time-consuming activity in software development. To assist developers in this task, many techniques for automating unit test g…

cs.SE2024

Leveraging Large Language Models to Improve REST API Testing

Myeongsoo Kim, Tyler Stennett, Dhruv Shah +2

The widespread adoption of REST APIs, coupled with their growing complexity and size, has led to the need for automated REST API testing tools. Current tools focus on the structure…