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:
- ☆11Dec 1, 2025Updated 3 months ago
- Detecting Semantic Code Clones by Building AST-based Markov Chains Model☆10Sep 27, 2024Updated last year
- The repo works as a archive for the SVL simulator without Git LFS initialized.☆12Jan 25, 2022Updated 4 years ago
- Recovery of Modular Software Architectures with Exact and Heuristic Clustering Methods☆10Jan 29, 2026Updated last month
- Code and data for "Impact of Evaluation Methodologies on Code Summarization" in ACL 2022.☆10Sep 6, 2022Updated 3 years ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- Getting started with Decisions-Disruptions☆11Jan 28, 2020Updated 6 years ago
- Clever @ Ubisoft MTL is looking for new interns and permanent members. Take the test now.☆10Oct 3, 2020Updated 5 years ago
- Event Platform☆14Oct 11, 2015Updated 10 years ago
- ☆12Nov 14, 2021Updated 4 years ago
- A simple tab completion library written in rust☆11Mar 3, 2025Updated last year
- java-callgraph-spoon，使用静态分析工具spoon构造方法调用图callgraph ，源代码方法级别☆15Oct 31, 2023Updated 2 years ago
- pytest-inline is a pytest plugin for writing inline tests.☆19Dec 11, 2025Updated 2 months ago
- ☆11Apr 23, 2018Updated 7 years ago
- Multilingual Code Co-Evolution Using Large Language Models☆13Dec 8, 2024Updated last year
- the implementation of Embedding API Dependency Graph for Neural Code Generation☆12Jun 6, 2021Updated 4 years ago
- Coins for Android☆30Apr 20, 2017Updated 8 years ago
- Meta-repository for SnipPy☆17Nov 29, 2021Updated 4 years ago
- Java Random sequence crackers materials☆13May 25, 2014Updated 11 years ago
- Convert Java source code to graphviz diagrams☆15Nov 24, 2023Updated 2 years ago
- ☆17Oct 9, 2023Updated 2 years ago
- ☆12May 31, 2016Updated 9 years ago
- ☆66Feb 9, 2023Updated 3 years ago
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- KSI Java SDK☆19Aug 16, 2024Updated last year
- A static analysis tool for Java programs, based on the theory of code property graphs.☆19Mar 27, 2023Updated 2 years ago
- Mutation Test Tool for Solidity☆16Jun 17, 2022Updated 3 years ago
- A pytorch implementation of Abstract Syntax Networks☆13Jun 27, 2025Updated 8 months ago
- A Python implementation of a language-agnostic Code Property Graph☆19Jun 10, 2024Updated last year
- ☆18Nov 28, 2023Updated 2 years ago
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- KLEE with floating point support (unmaintained)☆20Feb 15, 2022Updated 4 years ago
- Research material about software engineering at KTH☆18Aug 5, 2024Updated last year
- ☆22Sep 28, 2022Updated 3 years ago
- A ROS/ROS2 Multi-robot Simulator for Autonomous Vehicles☆18Feb 21, 2022Updated 4 years ago
- Transformer: PyTorch Implementation of "Attention Is All You Need"☆15Dec 13, 2023Updated 2 years ago
- ☆16Aug 20, 2020Updated 5 years ago
- ☆21Jan 10, 2019Updated 7 years ago
- Call graph generator for JVM bytecode☆18Feb 21, 2017Updated 9 years ago