If you like this research, contact us to do a hard and cool bachelor or master thesis in the group, see list of potential topics.
Follow our work on: Google Scholar, RSS, LinkedIn.
ASSERT
assertEquals("Software Engineering Research Team at KTH Royal Institute of Technology", description);
Popular repositories Loading
-
royal-chaos
royal-chaos PublicChaos engineering systems invented at KTH Royal Institute of Technology. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-320638
Repositories
Showing 10 of 161 repositories
- collector-sahab Public
Augmenting Diffs With Runtime Information, TSE 2023 http://arxiv.org/pdf/2212.11077
ASSERT-KTH/collector-sahab’s past year of commit activity - R2E-Gym Public Forked from R2E-Gym/R2E-Gym
[COLM 2025] Official repository for R2E-Gym: Procedural Environment Generation and Hybrid Verifiers for Scaling Open-Weights SWE Agents
ASSERT-KTH/R2E-Gym’s past year of commit activity - repairbench-framework Public
Automatic Repair Framework with LLMs ❤️ https://arxiv.org/pdf/2409.18952
ASSERT-KTH/repairbench-framework’s past year of commit activity - PoCo-results Public
Results of PoCo: Agentic Proof-of-Concept Exploit Generation for Smart Contracts (https://arxiv.org/abs/2511.02780)
ASSERT-KTH/PoCo-results’s past year of commit activity - flacoco Public
FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
ASSERT-KTH/flacoco’s past year of commit activity - depclean Public
DepClean automatically detects and removes unused dependencies in Maven projects 🔗 https://dx.doi.org/10.1007/s10664-020-09914-8)
ASSERT-KTH/depclean’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…