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 Jan 9, 2026
STAR-RG/rust-macro-analyzer’s past year of commit activity

Rust 0 0
0 0
Updated Apr 8, 2025
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
12,897 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