Software Engineering Laboratory of Fudan University
Pinned Loading
Repositories
Showing 10 of 90 repositories
- MeClear Public
- Trace2Tower Public
- LogCopilot Public
- ScubaTrace Public
- SQAT-klee-lab Public
🔣 SOFT130080 (Software Quality Assurance and Testing) Lab: Symbolic Exefcution in klee
- LLM4Reg Public
Repository for the paper "Characterizing Regression Bug‑Inducing Changes and Improving LLM‑Based RegressionBug Detection" (ICSE 2026). Keep updating
- api-test-studio Public
- PtrTrans-C2Rust Public
Top languages
Loading…
Most used topics
Loading…