Denini Silva

According to our database, Denini Silva authored at least 7 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation.

Zhuohang Shen, Mohammed Yaseen, Denini Silva, Kevin Guan, Junho Lee, Marcelo d'Amorim, Owolabi Legunsen

CoRR, September, 2025

2024

The Effects of Computational Resources on Flaky Tests.

Denini Silva, Martin Gruber, Satyajit Gokhale, Ellen Arteca, Alexi Turcotte, Marcelo d'Amorim, Wing Lam, Stefan Winter, Jonathan Bell

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024

2021

ICSE'21 Artifact for the paper Shipwright: A Human-in-the-Loop System for Dockerfile Repair.

Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps

Dataset, February, 2021

Shaker: a Tool for Detecting More Flaky Tests Faster.

Marcello Cordeiro, Denini Silva, Leopoldo Teixeira, Breno Miranda, Marcelo d'Amorim

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Soundy Automated Parallelization of Test Execution.

Shouvick Mondal, Denini Silva, Marcelo d'Amorim

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

Shipwright: A Human-in-the-Loop System for Dockerfile Repair.

Jordan Henkel, Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim, Thomas W. Reps

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

2020

Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker.

Denini Silva, Leopoldo Teixeira, Marcelo d'Amorim

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020