Research material about software engineering at KTH
☆18Mar 27, 2026Updated last month
Alternatives and similar repositories for software-engineering-research
Users that are interested in software-engineering-research are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- WASP Research Arena for Software☆12Jun 10, 2022Updated 3 years ago
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15May 12, 2026Updated last week
- Home of course "Programmable Society" at KTH Royal Institute of Technology☆21Dec 12, 2025Updated 5 months ago
- Automated Tool for Prioritizing JUnit Test Suites☆12Oct 5, 2022Updated 3 years ago
- STARTS - A tool for STAtic Regression Test Selection☆33Mar 27, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆36Apr 27, 2026Updated 3 weeks ago
- AST-based structured merge tool for Java, fully Git compatible https://doi.org/10.1109/TSE.2022.3143766☆68Feb 25, 2025Updated last year
- software art polyglot studio☆21May 1, 2026Updated 2 weeks ago
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Nov 1, 2024Updated last year
- test driver to run JUnit tests isolated in a new JVM☆16Dec 12, 2024Updated last year
- ☆11Jul 20, 2021Updated 4 years ago
- A code refactoring tool for java created with jgit and spoon for small diffs.☆18May 13, 2026Updated last week
- ☆14May 31, 2021Updated 4 years ago
- Download an anonymized repository from https://anonymous.4open.science/☆14Aug 14, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆20Jun 23, 2021Updated 4 years ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Sep 6, 2022Updated 3 years ago
- pytest-inline is a pytest plugin for writing inline tests.☆19Dec 11, 2025Updated 5 months ago
- This repository contains a list of papers about software supply chain☆29May 22, 2024Updated last year
- Coverage-based test case prioritization based on fault-proneness estimations☆12Feb 15, 2023Updated 3 years ago
- ☆17Oct 9, 2023Updated 2 years ago
- re|thread is an open collective of computer scientists, artists, and designers, in Stockholm (Sweden)☆34Apr 28, 2026Updated 3 weeks ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆102Nov 13, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆178Apr 24, 2026Updated 3 weeks ago
- Art for continuous integration.☆31Jul 19, 2020Updated 5 years ago
- Replication package for ESEC/FSE-2019 submission titled Diversity Web Test Generation☆15Feb 13, 2025Updated last year
- Multilingual Code Co-Evolution Using Large Language Models☆14Dec 8, 2024Updated last year
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆100Updated this week
- Chaos engineering systems invented at KTH Royal Institute of Technology. http://urn.kb.se/resolve?urn=urnsediva-320638☆144Oct 3, 2024Updated last year
- The source for the atdown utility☆17Oct 15, 2015Updated 10 years ago
- Defects4J Dissection presents data to help researchers and practitioners to better understand the Defects4J bug dataset☆69Sep 18, 2023Updated 2 years ago
- A package for performing time series classification in Weka.☆10Aug 16, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Call graph generator for JVM bytecode☆18Feb 21, 2017Updated 9 years ago
- Software testing optimization tool for Java☆38Mar 27, 2026Updated last month
- This folder container replication materials for the paper accepted☆12Sep 27, 2021Updated 4 years ago
- Source code and data about our large scale study about Java annotaion in practice☆12Apr 14, 2023Updated 3 years ago
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- Mutation analysis tool for Coq verification projects☆30Oct 13, 2020Updated 5 years ago
- ☆14Aug 21, 2020Updated 5 years ago