publications

publications by categories in reversed chronological order.

2026

  1. FSE
    PyMOP: A Runtime Verification Tool for Python
    Zhuohang Shen, Mohammed Yaseen, Kevin Guan, and 3 more authors
    In ACM International Conference on the Foundations of Software Engineering - Tool Demonstrations, Montreal, Canada, Jul 2026
  2. MSR
    An Empirical Analysis of Cross-OS Portability Issues in Python Projects
    Denini Silva, MohamadAli Farahat, and Marcelo d’Amorim
    In International Conference on Mining Software Repositories, Rio de Janeiro, Brazil, Apr 2026
    PDF

2024

  1. TSE
    The Effects of Computational Resources on Flaky Tests
    Denini Silva, Martin Gruber, Satyajit Gokhale, and 6 more authors
    IEEE Transactions on Software Engineering, Apr 2024
    DOI PDF

2021

  1. ASE
    Shaker: a Tool for Detecting More Flaky Tests Faster
    Marcello Cordeiro, Denini Silva, Leopoldo Teixeira, and 2 more authors
    In IEEE/ACM International Conference on Automated Software Engineering (Tool Demonstrations), Melbourne City, Australia [Virtual, due to COVID-19], Nov 2021
    DOI PDF Video Code
  2. ICSME
    Soundy Automated Parallelization of Test Execution
    Shouvick Mondal, Denini Silva, and Marcelo d’Amorim
    In 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME), Nov 2021
    DOI PDF Code
  3. ICSE
    Shipwright: A Human-in-the-Loop System for Dockerfile Repair
    Jordan Henkel, Denini Silva, Leopoldo Teixeira, and 2 more authors
    In IEEE/ACM International Conference on Software Engineering, Madrid, Spain [Virtual, due to COVID-19], May 2021
    arXiv PDF Code

2020

  1. ICSME
    Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker
    Denini Silva, Leopoldo Teixeira, and Marcelo d’Amorim
    In IEEE International Conference on Software Maintenance and Evolution, Adelaide, Australia [Virtual, due to COVID-19], Sep 2020
    DOI PDF Video