ASSERT
assertEquals("Research group at KTH Royal Institute of Technology, Stockholm, Sweden", description);
Sweden
Pinned Repositories
ci-hackathon
Art for continuous integration.
CodRep
58069 Java source code diffs. http://arxiv.org/pdf/1807.03200
depclean
DepClean automatically detects and removes unused dependencies in Maven projects (https://dx.doi.org/10.1007/s10664-020-09914-8)
flacoco
FLACOCO: Fault Localization for Java based on Industry-grade Coverage
royal-chaos
Chaos engineering systems invented at KTH Royal Institute of Technology.
sequencer
Sequence-to-Sequence Learning for End-to-End Program Repair (IEEE TSE 2019). Open-science repo. http://arxiv.org/pdf/1901.01808
slumps
Cool code analysis research for WebAssembly
sorald
Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
spork
AST-based structured merge tool for Java, fully Git compatible https://doi.org/10.1109/TSE.2022.3143766
VRepair
open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308
ASSERT's Repositories
ASSERT-KTH/depclean
DepClean automatically detects and removes unused dependencies in Maven projects (https://dx.doi.org/10.1007/s10664-020-09914-8)
ASSERT-KTH/sorald
Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
ASSERT-KTH/spork
AST-based structured merge tool for Java, fully Git compatible https://doi.org/10.1109/TSE.2022.3143766
ASSERT-KTH/repairllama
RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair
ASSERT-KTH/megadiff
A Dataset of 600k Java Source Code Changes Categorized by Diff Size http://arxiv.org/pdf/2108.04631
ASSERT-KTH/assert-gold-mine
This is an informal repo for ASSERT teammates to share awesome stuff.
ASSERT-KTH/deptrim
DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370
ASSERT-KTH/cigar
Efficient APR with LLMs http://arxiv.org/pdf/2402.06598
ASSERT-KTH/Duets
Duets is a dataset of 395 open-source Maven-based libraries and 2,874 clients https://ieeexplore.ieee.org/abstract/document/9463096
ASSERT-KTH/collector-sahab
Augmenting Diffs With Runtime Information, TSE 2023 http://arxiv.org/pdf/2212.11077
ASSERT-KTH/toady
research project about the importance of humor in science
ASSERT-KTH/rickrolling
Exhaustive Survey of Rickrolling in Academic Literature, SIGBOVIK 2022 http://arxiv.org/pdf/2204.06826
ASSERT-KTH/ITER
ITER: Iterative Neural Repair for Multi-Location Patches, ICSE 2024, http://arxiv.org/pdf/2304.12015
ASSERT-KTH/Supersonic
Neural optimization of C/C++ code http://arxiv.org/pdf/2309.14846
ASSERT-KTH/DepPrune
DepPrune is a tool to debloat npm dependencies through dynamic analysis.
ASSERT-KTH/Mokav
Generating difference exposing tests in Python
ASSERT-KTH/Vecogen
generating formally verified C code with LLMs (thesis Merlijn Sevenhuijsen)
ASSERT-KTH/assert-kth.github.io
double u double u double u
ASSERT-KTH/Elysium
A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).
ASSERT-KTH/flacoco_experiment
ASSERT-KTH/InvConPlus-Tool
Fork of InvConPlus
ASSERT-KTH/proze
proze is short for PROduction + parameteriZE
ASSERT-KTH/proze-experiments
Data and scripts for experiments with proze
ASSERT-KTH/sGuard
SGUARD: Towards Fixing Vulnerable Smart Contracts Automatically
ASSERT-KTH/sGuardPlus
An automated smart contract vulnerability repair tool
ASSERT-KTH/Smart-Contract-Dataset-Resource3
Githubification of https://drive.google.com/file/d/1iU2J-BIstCa3ooVhXu-GljOBzWi9gVrG/view
ASSERT-KTH/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.
ASSERT-KTH/SmartFix-Artifact
SmartFix is a tool for automatically fixing vulnerable smart contracts written in Solidity.
ASSERT-KTH/stubbifier
A fork of the Stuffifier tool, adapted for the research work in the KTH ASSERT group.
ASSERT-KTH/TIPS
TIPS: automatically repair the smart contracts with vulnerabilities