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.
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.
awesome open list of pointers about open science for software and computational science
Chaos engineering systems invented at KTH Royal Institute of Technology. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-320638
Augmenting Diffs With Runtime Information, TSE 2023 https://arxiv.org/pdf/2212.11077
DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370
InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!
Automatic Repair Framework with LLMs ❤️ https://arxiv.org/pdf/2409.18952
Research code artifacts for Code World Model (CWM) including inference tools, reproducibility, and documentation.
InvCon+ : Automated Invariant Generation for Solidity Smart Contracts
Replication package of SVM'26 "Evaluating Cryptographic API Misuse Detectors for Go"
Loading…
Loading…