STAR @ CIn-UFPE

nl2spec Public
LLM-based generation and analysis of runtime verification specifications from natural language

STAR-RG/nl2spec’s past year of commit activity

Python 0 0
0 0
Updated May 7, 2026
cutucao-bot Public Forked from assertlab/cutucao-bot
🐕 cutuCÃO — Bot Discord do Software Testing and Analysis Research (STAR @ CIn-UFPE) para acompanhamento de orientandos. Lembretes de check-in, cobranças automáticas e relatórios semanais.

STAR-RG/cutucao-bot’s past year of commit activity

TypeScript 0 MIT
1 0 0
Updated Apr 27, 2026
STAR-RG.github.io Public
Website for the Software Testing and Analysis Research group at CIn-UFPE

STAR-RG/STAR-RG.github.io’s past year of commit activity

HTML 0 MIT 0
0 0
Updated Sep 12, 2024
STAR-RG/conference-deadlines’s past year of commit activity

TypeScript 0 MIT
4 0 0
Updated Jul 6, 2023
STAR-RG/shaker-artifacts-journal’s past year of commit activity

0 0
0 0
Updated Jun 8, 2023
STAR-RG/al-folio’s past year of commit activity

HTML 0 MIT
13,122 0 0
Updated Apr 27, 2023
STAR-RG/shaker’s past year of commit activity

Python
12 4 2 0
Updated Mar 31, 2023
STAR-RG/syrius’s past year of commit activity

TeX
3
0
0 0
Updated Oct 16, 2022
STAR-RG/shaker-artifacts-tosem’s past year of commit activity

0 0
0 0
Updated Feb 2, 2022
paste Public
Soundy Automated Parallelization of Test Execution.

STAR-RG/paste’s past year of commit activity

Shell
1
MIT
3 0 0
Updated Sep 15, 2021