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 171 repositories
- collector-sahab Public
Augmenting Diffs With Runtime Information, TSE 2023 https://arxiv.org/pdf/2212.11077
ASSERT-KTH/collector-sahab’s past year of commit activity - swebench-xl Public
ASSERT-KTH/swebench-xl’s past year of commit activity - deptrim Public
DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370
ASSERT-KTH/deptrim’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 - 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-public Public
Results of PoCo: Agentic Proof-of-Concept Exploit Generation for Smart Contracts (https://arxiv.org/abs/2511.02780)
ASSERT-KTH/PoCo-public’s past year of commit activity - cosmic-turtle Public
Verifiable compilation proof-of-concept using ChibiCC and RISC ZERO https://arxiv.org/pdf2602.11887
ASSERT-KTH/cosmic-turtle’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…