ftsrg-edu / swsv-labsLinks
Lab materials for the Software and Systems Verification (VIMIMA01) course
☆30Updated 2 years ago
Alternatives and similar repositories for swsv-labs
Users that are interested in swsv-labs are comparing it to the libraries listed below
Sorting:
- A Combinatorial Testing + Model-based Testing framework on top of Java+JUnit. Model your application as code and let JCUnit do the rest.☆83Updated 4 months ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆169Updated this week
- Model Based Testing Tool☆34Updated 3 years ago
- A model-based test case generator☆234Updated last week
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆99Updated 10 months ago
- RESTest: Automated Black-Box Testing of RESTful Web APIs☆224Updated 3 months ago
- Automatically detect and generate missing assertions for Junit test cases (also known as test amplification)☆118Updated last year
- JUnit Foundation is a lightweight collection of JUnit watchers, interfaces, and static utility classes that supplement and augment the fu…☆24Updated last month
- The Next Generation Logic Library☆148Updated last month
- Java implementation of Combinatorial Test Case Generation☆47Updated 2 years ago
- This is the repo for the Model-based testing tool GraphWalker.☆354Updated 11 months ago
- Gamification of Mutation Testing☆44Updated this week
- Automatic test generation for Java☆575Updated this week
- Software testing optimization tool☆31Updated last year
- NodeJS/Express API to assert performance results during functional testing☆45Updated 8 months ago
- Dynamic API, S3 & Mail mocking for web, mobile & microservice development.☆89Updated 7 months ago
- Descartes supports developers to improve their test suites by reporting weak spots in covered code☆126Updated last week
- Jmeter as code is the easy way to write jmeter test as code.☆39Updated this week
- ☆36Updated 3 years ago
- ☆62Updated last year
- MontiCore is a language workbench for an efficient development of domain-specific languages.☆89Updated last week
- ☆75Updated 7 years ago
- Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033☆97Updated 3 weeks ago
- [A flexible tool for the analysis of code smells] Code smells are a popular mechanism to identify structural design problems in software …☆16Updated 4 years ago
- With Getaviz you can solve software engineering problems visually by exploring software artifacts them in 2D, 3D, and virtual reality.☆51Updated 2 years ago
- An IntelliJ IDEA plugin that detects refactorings in Git commits☆108Updated last year
- A tool to detect test smells in Java projects that utilize JUnit as the testing framework☆78Updated 2 years ago
- The Kevoree Modeling Framework☆42Updated 9 years ago
- Incremental view maintenance for openCypher graph queries.☆48Updated 6 years ago
- Kieker is an observability framework, that consists of an monitoring and tracing agent, and compatible analysis tools☆107Updated this week