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
-
awesome-open-science-software
awesome-open-science-software Publicawesome open list of pointers about open science for software and computational science
-
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 193 repositories
- InvCon-Tool Public Forked from Franklinliu/InvCon-Tool
InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!
ASSERT-KTH/InvCon-Tool’s past year of commit activity - awesome-open-science-software Public
awesome open list of pointers about open science for software and computational science
ASSERT-KTH/awesome-open-science-software’s past year of commit activity - sorald Public
Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
ASSERT-KTH/sorald’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 - crypto-api-misuse-detectors-go Public
Replication package of SVM'26 "Evaluating Cryptographic API Misuse Detectors for Go"
ASSERT-KTH/crypto-api-misuse-detectors-go’s past year of commit activity - check-hallucinations Public
Tool support for NOT pushing hallucinated content and references to Arxiv
ASSERT-KTH/check-hallucinations’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…