Publications (20)
Improving Efficiency and Scalability of Formula-based Debugging
Wei Jin, Alessandro Orso
Formula-based debugging techniques are becoming increasingly popular, as they provide a principled way to identify potentially faulty statements together with information that can…
Robustness of Neural Networks: A Probabilistic and Practical Approach
Ravi Mangal, Aditya V. Nori, Alessandro Orso
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 netw…
Adaptive REST API Testing with Reinforcement Learning
Myeongsoo Kim, Saurabh Sinha, Alessandro Orso
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 operatio…
MintHint: Automated Synthesis of Repair Hints
Shalini Kaleeswaran, Varun Tulsian, Aditya Kanade +1
Being able to automatically repair programs is an extremely challenging task. In this paper, we present MintHint, a novel technique for program repair that is a departure from most…
From Manual Android Tests to Automated and Platform Independent Test Scripts
Mattia Fazzini, Eduardo Noronha de A. Freitas, Shauvik Roy Choudhary +1
Because Mobile apps are extremely popular and often mission critical nowadays, companies invest a great deal of resources in testing the apps they provide to their customers. Testi…
Sakura: An Approach for Generating Complex Tests from Natural Language Test Descriptions
Tyler Stennett, Rangeet Pan, Bridget McGinn +2
Research on automating software testing has spanned several decades. Most existing approaches generate unit tests for individual methods, validate isolated API endpoints, or target…