ASSERT
assertEquals("Research group at KTH Royal Institute of Technology, Stockholm, Sweden", description);
Popular repositories
-
royal-chaos
royal-chaos PublicChaos engineering systems invented at KTH Royal Institute of Technology.
Repositories
Showing 10 of 112 repositories
- repairllama Public
RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair
- stubbifier Public Forked from emarteca/stubbifier
A fork of the Stuffifier tool, adapted for the research work in the KTH ASSERT group.
- smartbugs-curated Public Forked from smartbugs/smartbugs-curated
SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate the accuracy of automated analysis tools.
- sGuardPlus Public Forked from gcf3711/sGuardPlus
An automated smart contract vulnerability repair tool
- sGuard Public Forked from duytai/sGuard
SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically
- Elysium Public Forked from christoftorres/Elysium
A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).