This folder container replication materials for the paper accepted
☆12Sep 27, 2021Updated 4 years ago
Alternatives and similar repositories for Mono2Micro-FSE-2021
Users that are interested in Mono2Micro-FSE-2021 are comparing it to the libraries listed below
Sorting:
- The repo works as a archive for the SVL simulator without Git LFS initialized.☆12Jan 25, 2022Updated 4 years ago
- Detecting Semantic Code Clones by Building AST-based Markov Chains Model☆10Sep 27, 2024Updated last year
- Recovery of Modular Software Architectures with Exact and Heuristic Clustering Methods☆10Jan 29, 2026Updated last month
- Getting started with Decisions-Disruptions☆11Jan 28, 2020Updated 6 years ago
- A simple tab completion library written in rust☆11Mar 3, 2025Updated last year
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- ☆12Oct 29, 2022Updated 3 years ago
- No description yet☆11May 26, 2023Updated 2 years ago
- ☆12Nov 14, 2021Updated 4 years ago
- Event Platform☆14Oct 11, 2015Updated 10 years ago
- Clever @ Ubisoft MTL is looking for new interns and permanent members. Take the test now.☆10Oct 3, 2020Updated 5 years ago
- pytest-inline is a pytest plugin for writing inline tests.☆19Dec 11, 2025Updated 2 months ago
- Tests that check correctness of a single statement☆14Nov 25, 2024Updated last year
- Multilingual Code Co-Evolution Using Large Language Models☆13Dec 8, 2024Updated last year
- Neural Machine Translation using LSTMs and Attention mechanism. Two approaches were implemented, models, one without out attention using …☆12Jun 21, 2022Updated 3 years ago
- java-callgraph-spoon，使用静态分析工具spoon构造方法调用图callgraph ，源代码方法级别☆15Oct 31, 2023Updated 2 years ago
- ☆15Nov 28, 2023Updated 2 years ago
- Replication package for ESEC/FSE-2019 submission titled Diversity Web Test Generation☆14Feb 13, 2025Updated last year
- Java Random sequence crackers materials☆13May 25, 2014Updated 11 years ago
- Meta-repository for SnipPy☆17Nov 29, 2021Updated 4 years ago
- Tutorials and demos related to move2kube☆13Mar 6, 2025Updated last year
- ☆17Oct 9, 2023Updated 2 years ago
- Convert Java source code to graphviz diagrams☆15Nov 24, 2023Updated 2 years ago
- Mutation Test Tool for Solidity☆16Jun 17, 2022Updated 3 years ago
- ☆15Sep 2, 2022Updated 3 years ago
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- Electronic Medical Records system for Uganda☆18Jul 13, 2021Updated 4 years ago
- ☆14May 27, 2022Updated 3 years ago
- A static analysis tool for Java programs, based on the theory of code property graphs.☆19Mar 27, 2023Updated 2 years ago
- A pytorch implementation of Abstract Syntax Networks☆13Jun 27, 2025Updated 8 months ago
- KLEE with floating point support (unmaintained)☆20Feb 15, 2022Updated 4 years ago
- ☆22Sep 28, 2022Updated 3 years ago
- ☆18Nov 28, 2023Updated 2 years ago
- Research material about software engineering at KTH☆18Aug 5, 2024Updated last year
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- Auto-generate an entire paper from a prompt or abstract using NLP☆19Oct 28, 2022Updated 3 years ago
- ☆16Aug 20, 2020Updated 5 years ago
- Graph Neural Networks including GAT\GCN\GGNN，GGNN-LSTM,using scene graph to generate captions☆20Jul 19, 2019Updated 6 years ago
- A simple and fast Java method extractor can quickly extract the Java method information in the project, including method, parameter, retu…☆18Jan 30, 2021Updated 5 years ago