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 2025Show all

6 papers · 1 filter

cs.SE2025

MockingBird: Context-aware Repository-level Code Translation with Isolated Validation

Kaiyao Ke, Ali Reza Ibrahimzada, Rangeet Pan +2

Despite advances in repository-level code translation, automated type resolution across differing type systems and translation validation (functional-equivalence checking) remain c…

cs.SE2025

SAINT: Service-level Integration Test Generation with Program Analysis and LLM-based Agents

Rangeet Pan, Raju Pavuluri, Ruikai Huang +4

Enterprise applications are typically tested at multiple levels, with service-level testing playing an important role in validating application functionality. Existing service-leve…

cs.SE2025

Hamster: A Large-Scale Study and Characterization of Developer-Written Tests

Rangeet Pan, Tyler Stennett, Raju Pavuluri +3

Automated test generation (ATG), which aims to reduce the cost of manual test suite development, has been investigated for decades and has produced countless techniques based on a…

cs.SE2025★ 1 cited

AutoRestTest: A Tool for Automated REST API Testing Using LLMs and MARL

Tyler Stennett, Myeongsoo Kim, Saurabh Sinha +1

As REST APIs have become widespread in modern web services, comprehensive testing of these APIs is increasingly crucial. Because of the vast search space of operations, parameters,…

cs.SE2025

Otter: Generating Tests from Issues to Validate SWE Patches

Toufique Ahmed, Jatin Ganhotra, Rangeet Pan +3

While there has been plenty of work on generating tests from existing code, there has been limited work on generating tests from issues. A correct test must validate the code patch…

cs.SE2025★ 1 cited

LlamaRestTest: Effective REST API Testing with Small Language Models

Myeongsoo Kim, Saurabh Sinha, Alessandro Orso

Modern web services rely heavily on REST APIs, typically documented using the OpenAPI specification. The widespread adoption of this standard has resulted in the development of man…