ftsrg-edu / swsv-labs
Lab materials for the Software and Systems Verification (VIMIMA01) course
☆30Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for swsv-labs
- The Train Benchmark framework for evaluating incremental model validation performance☆12Updated 2 years ago
- EvoMaster Benchmark (EMB): a set of web/enterprise applications for experimentation in automated system testing☆29Updated 2 weeks ago
- An efficient graph solver for generating well-formed models☆26Updated 2 years ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆161Updated last week
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆90Updated this week
- JDolly is a Java program generator☆9Updated 7 years ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆93Updated last week
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆114Updated 3 months ago
- Eclipse Theia trace viewer extension using the Trace Server Protocol (TSP), through the tsp-typescript-client. Also the home for reusable…☆49Updated last week
- With Getaviz you can solve software engineering problems visually by exploring software artifacts them in 2D, 3D, and virtual reality.☆50Updated last year
- Software testing optimization tool☆27Updated 9 months ago
- This projects mines maven central and creates a global dependency graph☆31Updated 2 years ago
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆32Updated last year
- The DaCapo benchmark suite☆160Updated last week
- A tool for mining graph-based change patterns in Python code☆19Updated 6 months ago
- Adding declarative, reactive and incremental rules to MPS☆21Updated 2 weeks ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆29Updated this week
- 🗺 software for analyzing and visualizing the topology of a microservice system☆24Updated 2 weeks ago
- ☆10Updated 5 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆49Updated this week
- Modbat is a model-based API tester for stateful systems.☆20Updated last year
- A Feedback-driven development plugin for the Eclipse IDE☆15Updated 5 years ago
- A multi-language tokenizer for extracting identifiers from source code.☆24Updated 2 years ago
- Java Mutation Testing Framework Written in Python☆18Updated last month
- Examples on how to use the Spoon Java source code transformation library☆85Updated 2 years ago
- Open paper reading club @ JetBrains☆36Updated last month
- JDeodorant☆139Updated 8 months ago
- Automated unit test generation and precise code analysis for Java☆136Updated 5 months ago
- a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming☆18Updated 2 years ago
- A graph-based refactoring-aware three-way merging tool for Java programs.☆21Updated 3 years ago