6 papers
An Empirical Analysis of Cross-OS Portability Issues in Python Projects
Denini Silva, MohamadAli Farahat, Marcelo d'Amorim
While Python is designed as a cross-platform language, real-world applications encounter portability failures when deployed across different operating systems. We present the first…
The Vocabulary of Flaky Tests in Swift
João Medeiros, Denini Silva, Breno Miranda
Flaky tests produce non-deterministic outcomes without code change, eroding CI confidence and delaying deliveries. While vocabulary-based machine learning prediction has proven eff…
Evaluating Shaker for Flaky Test Detection in Python Projects
Gabriela Leal, Denini Silva, Leopoldo Teixeira
Flaky tests pass or fail non-deterministically on unchanged code, eroding trust in test suites and inflating the cost of every failure. Shaker detects them by injecting resource co…
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…
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…