9 citations · 13 across the 5 of their papers we have counts for
6 papers
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…
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…