Skip to content
Change the repository type filter

All

    Repositories list

    • 🐕 cutuCÃO — Bot Discord do Software Testing and Analysis Research (STAR @ CIn-UFPE) para acompanhamento de orientandos. Lembretes de check-in, cobranças automát…
      TypeScript
      MIT License
      1000Updated Apr 27, 2026Apr 27, 2026
    • nl2spec

      Public
      LLM-based generation and analysis of runtime verification specifications from natural language
      Python
      0000Updated Apr 24, 2026Apr 24, 2026
    • Rust
      0000Updated Apr 24, 2026Apr 24, 2026
    • Website for the Software Testing and Analysis Research group at CIn-UFPE
      HTML
      MIT License
      0000Updated Sep 12, 2024Sep 12, 2024
    • SE+PL Conference deadlines to watch
      TypeScript
      MIT License
      4000Updated Jul 6, 2023Jul 6, 2023
    • 0000Updated Jun 8, 2023Jun 8, 2023
    • al-folio

      Public
      A beautiful, simple, clean, and responsive Jekyll theme for academics
      HTML
      MIT License
      13k000Updated Apr 27, 2023Apr 27, 2023
    • shaker

      Public
      Python
      41220Updated Mar 31, 2023Mar 31, 2023
    • syrius

      Public
      TeX
      0300Updated Oct 16, 2022Oct 16, 2022
    • 0000Updated Feb 2, 2022Feb 2, 2022
    • paste

      Public
      Soundy Automated Parallelization of Test Execution.
      Shell
      MIT License
      3100Updated Sep 15, 2021Sep 15, 2021
    • siesta

      Public
      Repository with code and replication package for SIESTA, the Simple ImperativE SpecificaTion lAnguage, accepted for publication at ICST'2021
      0000Updated Sep 9, 2021Sep 9, 2021
    • Android app to tests shaker with GitHub Actions
      Kotlin
      0000Updated Aug 17, 2021Aug 17, 2021
    • A GitHub Action for installing, configuring and running hardware-accelerated Android Emulators on macOS virtual machines.
      JavaScript
      Apache License 2.0
      244000Updated Aug 17, 2021Aug 17, 2021
    • Java
      6001Updated Jun 10, 2021Jun 10, 2021
    • ICSME 2020 Artifact for: Shake It! Detecting Flaky Tests Caused by Concurrency with Shaker.
      TeX
      2400Updated May 28, 2021May 28, 2021
    • ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.
      Dockerfile
      MIT License
      32300Updated May 11, 2021May 11, 2021
    • Jupyter Notebook
      131644Updated Apr 21, 2021Apr 21, 2021
    • MIT License
      272007Updated Jan 26, 2021Jan 26, 2021
    • Python
      1000Updated Nov 10, 2020Nov 10, 2020
    • entente

      Public
      JavaScript
      Other
      9970Updated Oct 21, 2020Oct 21, 2020
    • randevoo

      Public
      Java
      1000Updated Jul 9, 2019Jul 9, 2019
    • tenax

      Public
      Visualization front-end to access productivity of brazilian researchers at selective venues.
      Python
      MIT License
      2050Updated Feb 12, 2019Feb 12, 2019
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.