29 citations · 51 across the 9 of their papers we have counts for
10 papers
A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation
Zhuohang Shen, Mohammed Yaseen, Denini Silva +4
Runtime verification (RV) now scales for testing thousands of open-source Java projects, helping find hundreds of bugs. The popular Python ecosystem could use such benefits. But, t…
The Effects of Computational Resources on Flaky Tests
Denini Silva, Martin Gruber, Satyajit Gokhale +6
Flaky tests are tests that nondeterministically pass and fail in unchanged code. These tests can be detrimental to developers' productivity. Particularly when tests run in continuo…
Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Code
Patrick Bareiß, Beatriz Souza, Marcelo d'Amorim +1
Few-shot learning with large-scale, pre-trained language models is a powerful way to answer questions about code, e.g., how to complete a given code example, or even generate code…
Fuzzing Class Specifications
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
Expressing class specifications via executable constraints is important for various software engineering tasks such as test generation, bug finding and automated debugging, but dev…
Software Engineering User Study Recruitment on Prolific: An Experience Report
Brittany Reid, Markus Wagner, Marcelo d'Amorim +1
Online participant recruitment platforms such as Prolific have been gaining popularity in research, as they enable researchers to easily access large pools of participants. However…
Shipwright: A Human-in-the-Loop System for Dockerfile Repair
Jordan Henkel, Denini Silva, Leopoldo Teixeira +2
Docker is a tool for lightweight OS-level virtualization. Docker images are created by performing a build, controlled by a source-level artifact called a Dockerfile. We studied Doc…
Exposing Bugs in JavaScript Engines through Test Transplantation and Differential Testing
Igor Lima, Jefferson Silva, Breno Miranda +2
Context. JavaScript is a popular programming language today with several implementations competing for market dominance. Although a specification document and a conformance test su…
Generating Adversarial Inputs Using A Black-box Differential Technique
João Batista Pereira Matos Juúnior, Lucas Carvalho Cordeiro, Marcelo d'Amorim +1
Neural Networks (NNs) are known to be vulnerable to adversarial attacks. A malicious agent initiates these attacks by perturbing an input into another one such that the two inputs…
Beware of the App! On the Vulnerability Surface of Smart Devices through their Companion Apps
Davino Mauro Junior, Luis Melo, Harvey Lu +2
Internet of Things (IoT) devices are becoming increasingly important. These devices are often resource-limited, hindering rigorous enforcement of security policies. Assessing the v…
Time-Space Efficient Regression Testing for Configurable Systems
Sabrina Souto, Marcelo d'Amorim
Configurable systems are those that can be adapted from a set of options. They are prevalent and testing them is important and challenging. Existing approaches for testing configur…