Explanipedia

LlamaRestTest: Effective REST API Testing with Small Language Models Open

Myeongsoo Kim, Saurabh Sinha, Alessandro Orso · 2025

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 many black-box testing tools that generate tests based on Open…

LlamaRestTest: Effective REST API Testing with Small Language Models Open

Myeongsoo Kim, Saurabh Sinha, Alessandro Orso · 2025

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 many black-box testing tools that generate tests based on Open…

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

Tyler Stennett, Myeongsoo Kim, Saurabh Sinha, Alessandro Orso · 2025

As REST APIs have become widespread in modern web services, comprehensive testing of these APIs has become increasingly crucial. Due to the vast search space consisting of operations, parameters, and parameter values along with their compl…

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

Myeongsoo Kim, Tyler Stennett, Saurabh Sinha, Alessandro Orso · 2024

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 Specification, has led to the emergence of many black-box RE…

Improving Program Debloating with 1-DU Chain Minimality Open

Myeongsoo Kim, Santosh Pande, Alessandro Orso · 2024

Modern software often struggles with bloat, leading to increased memory consumption and security vulnerabilities from unused code. In response, various program debloating techniques have been developed, typically utilizing test cases that …

Leveraging Large Language Models to Improve REST API Testing Open

Myeongsoo Kim, Tyler Stennett, Dhruv Shah, Saurabh Sinha, Alessandro Orso · 2024

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 structured data in REST API specifications but often neglect valuabl…

A Framework For Inferring Properties of User-Defined Functions Open

Xinyu Liu, Joy Arulraj, Alessandro Orso · 2024

User-defined functions (UDFs) are widely used to enhance the capabilities of DBMSs. However, using UDFs comes with a significant performance penalty because DBMSs treat UDFs as black boxes, which hinders their ability to optimize queries t…

Generating REST API Specifications through Static Analysis Open

Ruikai Huang, Manish Motwani, Idel Martinez, Alessandro Orso · 2024

Web Application Programming Interfaces (APIs) allow services to be accessed over the network. RESTful (or REST) APIs, which use the REpresentation State Transfer (REST) protocol, are a popular type of web API. To use or test REST APIs, dev…

Improving Program Debloating with 1-DU Chain Minimality Open

Myeong‐Soo Kim, Santosh Pande, Alessandro Orso · 2024

Modern software often struggles with bloat, leading to increased memory consumption and security vulnerabilities from unused code. In response, various program debloating techniques have been developed, typically utilizing test cases that …

Leveraging Large Language Models to Improve REST API Testing Open

Myeong‐Soo Kim, Tyler Stennett, Dhruv Shah, Saurabh Sinha, Alessandro Orso · 2023

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 structured data in REST API specifications but often neglect valuabl…

Learning Defect Prediction from Unrealistic Data Open

Kamel Alrashedy, Vincent J. Hellendoorn, Alessandro Orso · 2023

Pretrained models of code, such as CodeBERT and CodeT5, have become popular choices for code understanding and generation tasks. Such models tend to be large and require commensurate volumes of training data, which are rarely available for…

Adaptive REST API Testing with Reinforcement Learning Open

Myeong‐Soo Kim, Saurabh Sinha, Alessandro Orso · 2023

Modern web services increasingly rely on REST APIs. Effectively testing these APIs is challenging due to the vast search space to be explored, which involves selecting API operations for sequence creation, choosing parameters for each oper…

Toward Automatic Test Synthesis for Performance Portable Programs. Open

Keita Teranishi, Keita Teranishi, Shyamali Mukherjee, Richard Rutledge, Richard Rutledge , et al. · 2022

Automated test generation for REST APIs: no time to rest yet Open

Myeong‐Soo Kim, Xin Qi, Saurabh Sinha, Alessandro Orso · 2022

Modern web services routinely provide REST APIs for clients to access their functionality. These APIs present unique challenges and opportunities for automated testing, driving the recent development of many techniques and tools that gener…

Enhancing Mobile App Bug Reporting via Real-time Understanding of Reproduction Steps Open

Mattia Fazzini, Kevin Moran, Carlos Bernal Cardenas, Tyler Wendland, Alessandro Orso , et al. · 2022

One of the primary mechanisms by which developers receive feedback about in-field failures of software from users is through bug reports. Unfortunately, the quality of manually written bug reports can vary widely due to the effort required…

Automated Test Generation for Performance Portable Programs Using Clang/LLVM and Formal Methods . Open

Keita Teranishi, Shyamali Mukherjee, Samuel Pollard, Noah Evans, Alessandro Orso , et al. · 2022

Automated Performance Bug Detection in Database Systems. Open

Xinyu Liu, Qi Zhou, Joy Arulraj, Alessandro Orso · 2021

Because database systems are the critical component of modern data-intensive applications, it is important to ensure that they operate correctly. To this end, developers extensively test these systems to eliminate bugs that negatively affe…

Testing DBMS Performance with Mutations Open

Xinyu Liu, Qi Zhou, Joy Arulraj, Alessandro Orso · 2021

Because database systems are the critical component of modern data-intensive applications, it is important to ensure that they operate correctly. To this end, developers extensively test these systems to eliminate bugs that negatively affe…

A framework for automated test mocking of mobile apps Open

Mattia Fazzini, Alessandra Gorla, Alessandro Orso · 2020

Mobile apps interact with their environment extensively, and these interactions can complicate testing activities because test cases may need a complete environment to be executed. Interactions with the environment can also introduce test …

Seven reasons why Open

Farnaz Behrang, Alessandro Orso · 2020

Experience paper: Testing of mobile apps is time-consuming and requires a great deal of manual effort. For this reason, industry and academic researchers have proposed a number of test input generation techniques for automating app testing…

AppTestMigrator Open

Farnaz Behrang, Alessandro Orso · 2020

The use of mobile apps is increasingly widespread, and much effort is put into testing these apps to make sure they behave as intended. In this demo, we present AppTestMigrator, a technique and tool for migrating test cases between apps wi…

Program debloating via stochastic optimization Open

Xin Qi, Myeongsoo Kim, Qirun Zhang, Alessandro Orso · 2020

Programs typically provide a broad range of features. Because different typologies of users tend to use only a subset of these features, and unnecessary features can harm performance and security, program debloating techniques, which can r…

PG-KLEE Open

Richard Rutledge, Alessandro Orso · 2020

Comprehensive test inputs are an essential ingredient for dynamic software analysis techniques, yet are typically impossible to obtain and maintain. Automated input generation techniques can supplant manual effort in many contexts, but the…

Automated API-usage update for Android apps Open

Mattia Fazzini, Xin Qi, Alessandro Orso · 2019

Mobile apps rely heavily on the application programming interface (API) provided by their underlying operating system (OS). Because OS and API can change frequently, developers must quickly update their apps to ensure that the apps behave …

Robustness of Neural Networks: A Probabilistic and Practical Approach Open

Ravi Mangal, Aditya V. Nori, Alessandro Orso · 2019

Neural networks are becoming increasingly prevalent in software, and it is therefore important to be able to verify their behavior. Because verifying the correctness of neural networks is extremely challenging, it is common to focus on the…

Creating an Interprocedural Analyst-Oriented Data Flow Representation for Binary Analysts (CIAO) Open

Michelle Leger, Karin M. Butler, Denis Bueno, Matthew Crepeau, Christopher Cuellar , et al. · 2018

National security missions require understanding third-party software binaries, a key element of which is reasoning about how data flows through a program. However, vulnerability analysts protecting software lack adequate tools for underst…

Test migration for efficient large-scale assessment of mobile app coding assignments Open

Farnaz Behrang, Alessandro Orso · 2018

In recent years, there has been a growing interest in making education widely accessible using Internet technologies. Whether it is Massive Open Online Courses (MOOCs) or simply college courses offered to a large student population using a…

Automated test migration for mobile apps Open

Farnaz Behrang, Alessandro Orso · 2018

The use of mobile apps is increasingly widespread, and much effort is put into testing these apps to make sure they behave as intended. To reduce this effort, and thus the cost of mobile app testing, we propose AppTestMigrator, a technique…

Enlightened debugging Open

Xiangyu Li, Shaowei Zhu, Marcelo d’Amorim, Alessandro Orso · 2018

Numerous automated techniques have been proposed to reduce the cost of software debugging, a notoriously time-consuming and human-intensive activity. Among these techniques, Statistical Fault Localization (SFL) is particularly popular. One…

RAIN Open

Ji Yang, Sangho Lee, Evan Downing, Weiren Wang, Mattia Fazzini , et al. · 2017

As modern attacks become more stealthy and persistent, detecting or preventing them at their early stages becomes virtually impossible. Instead, an attack investigation or provenance system aims to continuously monitor and log interesting …

Alessandro Orso YOU? Author Swipe